Matches in SemOpenAlex for { <https://semopenalex.org/work/W2774269848> ?p ?o ?g. }
- W2774269848 endingPage "81" @default.
- W2774269848 startingPage "41" @default.
- W2774269848 abstract "This is a survey on fixed points of endofunctors, including initial algebras and terminal coalgebras. We also consider the rational fixed point, a canonical domain of behavior for finitely presentable systems. In addition to the basic existence theorems for fixed points, several new results are presented. For example, the Smyth–Plotkin theorem that locally continuous endofunctors of DCPO have terminal coalgebras is derived from a new result stating that every locally monotone endofunctor with a fixed point has a terminal coalgebra. We introduce bounded endofunctors on abstract categories and prove that they have terminal coalgebras. We study well-founded coalgebras and prove that for set functors, the largest well-founded coalgebra of every fixed point is the initial algebra. Another new result concerns mixed fixed points: initial algebras and terminal coalgebras of a parametrized accessible functor always form accessible functors." @default.
- W2774269848 created "2017-12-22" @default.
- W2774269848 creator A5015904690 @default.
- W2774269848 creator A5028261970 @default.
- W2774269848 creator A5038462111 @default.
- W2774269848 date "2018-02-01" @default.
- W2774269848 modified "2023-09-29" @default.
- W2774269848 title "Fixed points of functors" @default.
- W2774269848 cites W134292228 @default.
- W2774269848 cites W1968710902 @default.
- W2774269848 cites W1984467134 @default.
- W2774269848 cites W1985557227 @default.
- W2774269848 cites W1995902462 @default.
- W2774269848 cites W1997917280 @default.
- W2774269848 cites W1998546360 @default.
- W2774269848 cites W2024873396 @default.
- W2774269848 cites W2034224051 @default.
- W2774269848 cites W2040620485 @default.
- W2774269848 cites W2042266169 @default.
- W2774269848 cites W2043123725 @default.
- W2774269848 cites W2053682188 @default.
- W2774269848 cites W2057028131 @default.
- W2774269848 cites W2057895129 @default.
- W2774269848 cites W2071463650 @default.
- W2774269848 cites W2077884383 @default.
- W2774269848 cites W2079655821 @default.
- W2774269848 cites W2081620669 @default.
- W2774269848 cites W2082232201 @default.
- W2774269848 cites W2085858043 @default.
- W2774269848 cites W2088189323 @default.
- W2774269848 cites W2090223152 @default.
- W2774269848 cites W2104505625 @default.
- W2774269848 cites W2104603764 @default.
- W2774269848 cites W2108489993 @default.
- W2774269848 cites W2126684544 @default.
- W2774269848 cites W2137773821 @default.
- W2774269848 cites W2140920629 @default.
- W2774269848 cites W2143507585 @default.
- W2774269848 cites W2153593057 @default.
- W2774269848 cites W2163256338 @default.
- W2774269848 cites W2511252833 @default.
- W2774269848 cites W4210249530 @default.
- W2774269848 cites W4210428601 @default.
- W2774269848 cites W4212983671 @default.
- W2774269848 cites W4248330833 @default.
- W2774269848 cites W47566850 @default.
- W2774269848 cites W2058067778 @default.
- W2774269848 doi "https://doi.org/10.1016/j.jlamp.2017.11.003" @default.
- W2774269848 hasPublicationYear "2018" @default.
- W2774269848 type Work @default.
- W2774269848 sameAs 2774269848 @default.
- W2774269848 citedByCount "16" @default.
- W2774269848 countsByYear W27742698482018 @default.
- W2774269848 countsByYear W27742698482019 @default.
- W2774269848 countsByYear W27742698482020 @default.
- W2774269848 countsByYear W27742698482021 @default.
- W2774269848 countsByYear W27742698482023 @default.
- W2774269848 crossrefType "journal-article" @default.
- W2774269848 hasAuthorship W2774269848A5015904690 @default.
- W2774269848 hasAuthorship W2774269848A5028261970 @default.
- W2774269848 hasAuthorship W2774269848A5038462111 @default.
- W2774269848 hasConcept C118615104 @default.
- W2774269848 hasConcept C134306372 @default.
- W2774269848 hasConcept C136119220 @default.
- W2774269848 hasConcept C153778094 @default.
- W2774269848 hasConcept C156772000 @default.
- W2774269848 hasConcept C202444582 @default.
- W2774269848 hasConcept C2524010 @default.
- W2774269848 hasConcept C2778249326 @default.
- W2774269848 hasConcept C2779664074 @default.
- W2774269848 hasConcept C2834757 @default.
- W2774269848 hasConcept C33923547 @default.
- W2774269848 hasConcept C41008148 @default.
- W2774269848 hasConcept C61445026 @default.
- W2774269848 hasConcept C76155785 @default.
- W2774269848 hasConceptScore W2774269848C118615104 @default.
- W2774269848 hasConceptScore W2774269848C134306372 @default.
- W2774269848 hasConceptScore W2774269848C136119220 @default.
- W2774269848 hasConceptScore W2774269848C153778094 @default.
- W2774269848 hasConceptScore W2774269848C156772000 @default.
- W2774269848 hasConceptScore W2774269848C202444582 @default.
- W2774269848 hasConceptScore W2774269848C2524010 @default.
- W2774269848 hasConceptScore W2774269848C2778249326 @default.
- W2774269848 hasConceptScore W2774269848C2779664074 @default.
- W2774269848 hasConceptScore W2774269848C2834757 @default.
- W2774269848 hasConceptScore W2774269848C33923547 @default.
- W2774269848 hasConceptScore W2774269848C41008148 @default.
- W2774269848 hasConceptScore W2774269848C61445026 @default.
- W2774269848 hasConceptScore W2774269848C76155785 @default.
- W2774269848 hasFunder F4320306164 @default.
- W2774269848 hasFunder F4320320879 @default.
- W2774269848 hasLocation W27742698481 @default.
- W2774269848 hasOpenAccess W2774269848 @default.
- W2774269848 hasPrimaryLocation W27742698481 @default.
- W2774269848 hasRelatedWork W1912064545 @default.
- W2774269848 hasRelatedWork W1981976399 @default.
- W2774269848 hasRelatedWork W2003770962 @default.
- W2774269848 hasRelatedWork W2005133733 @default.