Matches in SemOpenAlex for { <https://semopenalex.org/work/W3148870659> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W3148870659 endingPage "16" @default.
- W3148870659 startingPage "1" @default.
- W3148870659 abstract "Abstract A concrete description of terminal coalgebras, T, of all finitary endofunctors of Set is presented: each such a functor is a quotient of the polynomial endofunctor of some finitary signature Σ modulo some “basic” equations. Then T can be described as the algebra of all infinite ∑-labeled trees modulo the congruence obtained by applying the basic equations finitely or infinitely many times (a concept defined below). As a consequence, free iterative theories in the sense of Calvin Elgot are described over all finitary endofunctors of Set: they are the theories of all rational ∑-labeled trees (i.e., trees having only finitely many subtrees) modulo the above congruence." @default.
- W3148870659 created "2021-04-13" @default.
- W3148870659 creator A5038462111 @default.
- W3148870659 date "2003-01-01" @default.
- W3148870659 modified "2023-09-22" @default.
- W3148870659 title "On a Description of Terminal Coalgebras and Iterative Theories." @default.
- W3148870659 hasPublicationYear "2003" @default.
- W3148870659 type Work @default.
- W3148870659 sameAs 3148870659 @default.
- W3148870659 citedByCount "0" @default.
- W3148870659 crossrefType "journal-article" @default.
- W3148870659 hasAuthorship W3148870659A5038462111 @default.
- W3148870659 hasConcept C113174947 @default.
- W3148870659 hasConcept C114614502 @default.
- W3148870659 hasConcept C118615104 @default.
- W3148870659 hasConcept C132074034 @default.
- W3148870659 hasConcept C136119220 @default.
- W3148870659 hasConcept C156772000 @default.
- W3148870659 hasConcept C199422724 @default.
- W3148870659 hasConcept C202444582 @default.
- W3148870659 hasConcept C2524010 @default.
- W3148870659 hasConcept C2778003309 @default.
- W3148870659 hasConcept C33923547 @default.
- W3148870659 hasConcept C54732982 @default.
- W3148870659 hasConceptScore W3148870659C113174947 @default.
- W3148870659 hasConceptScore W3148870659C114614502 @default.
- W3148870659 hasConceptScore W3148870659C118615104 @default.
- W3148870659 hasConceptScore W3148870659C132074034 @default.
- W3148870659 hasConceptScore W3148870659C136119220 @default.
- W3148870659 hasConceptScore W3148870659C156772000 @default.
- W3148870659 hasConceptScore W3148870659C199422724 @default.
- W3148870659 hasConceptScore W3148870659C202444582 @default.
- W3148870659 hasConceptScore W3148870659C2524010 @default.
- W3148870659 hasConceptScore W3148870659C2778003309 @default.
- W3148870659 hasConceptScore W3148870659C33923547 @default.
- W3148870659 hasConceptScore W3148870659C54732982 @default.
- W3148870659 hasLocation W31488706591 @default.
- W3148870659 hasOpenAccess W3148870659 @default.
- W3148870659 hasPrimaryLocation W31488706591 @default.
- W3148870659 hasRelatedWork W1500428325 @default.
- W3148870659 hasRelatedWork W1583392911 @default.
- W3148870659 hasRelatedWork W1608098058 @default.
- W3148870659 hasRelatedWork W2007751883 @default.
- W3148870659 hasRelatedWork W2033066257 @default.
- W3148870659 hasRelatedWork W2044952079 @default.
- W3148870659 hasRelatedWork W2057028131 @default.
- W3148870659 hasRelatedWork W2061056925 @default.
- W3148870659 hasRelatedWork W2080757272 @default.
- W3148870659 hasRelatedWork W2085314983 @default.
- W3148870659 hasRelatedWork W2124662797 @default.
- W3148870659 hasRelatedWork W23395765 @default.
- W3148870659 hasRelatedWork W2483053542 @default.
- W3148870659 hasRelatedWork W2771259890 @default.
- W3148870659 hasRelatedWork W2963841399 @default.
- W3148870659 hasRelatedWork W2970235069 @default.
- W3148870659 hasRelatedWork W3080632739 @default.
- W3148870659 hasRelatedWork W3145287507 @default.
- W3148870659 hasRelatedWork W393204985 @default.
- W3148870659 hasRelatedWork W2188702063 @default.
- W3148870659 hasVolume "82" @default.
- W3148870659 isParatext "false" @default.
- W3148870659 isRetracted "false" @default.
- W3148870659 magId "3148870659" @default.
- W3148870659 workType "article" @default.