Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012816697> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2012816697 endingPage "230" @default.
- W2012816697 startingPage "212" @default.
- W2012816697 abstract "There is a long tradition in computer science of modelling finite data types such as stacks and natural numbers by algebras. More recently coalgebras, which are dual to algebras, have been used to model infinite data types and in operational semantics. In this report we consider categories of coalgebras from the perspective of topos theory. A mild generalisation of a well known theorem about toposes of coalgebras of a comonad is given. This result is used to prove that if B is a pullback preserving functor on a topos ∊, and if the forgetful functor UB : ∊B → ∊ has a right adjoint then ∊B, the category of B-coalgebras, is itself a topos. We also show that, if B is a bounded functor on Set preserving weak pullbacks, then the category SetB of B-coalgebras has a subobject classifier and is a reflective full subcategory of a Grothendieck topos. We mention an elementary construction of this topos, pointed out to us by [12], as the reflection of SetB in the category of effective regular categories. We are particularly interested in hidden algebra, a formalism in the algebraic specification tradition with close links to coalgebra, capturing notions of state and behavioural equivalence. For a hidden destructor signature Σ we exhibit the topos structure of the category of hidden Σ-algebras." @default.
- W2012816697 created "2016-06-24" @default.
- W2012816697 creator A5068165188 @default.
- W2012816697 date "1998-01-01" @default.
- W2012816697 modified "2023-09-27" @default.
- W2012816697 title "Toposes of Coalgebras and Hidden Algebras" @default.
- W2012816697 cites W1480882475 @default.
- W2012816697 cites W1498751601 @default.
- W2012816697 cites W1538632343 @default.
- W2012816697 cites W1543688617 @default.
- W2012816697 cites W1544933093 @default.
- W2012816697 cites W1557362830 @default.
- W2012816697 cites W1561011284 @default.
- W2012816697 cites W1583030898 @default.
- W2012816697 cites W1586382855 @default.
- W2012816697 cites W1971489501 @default.
- W2012816697 cites W2081620669 @default.
- W2012816697 cites W2106530373 @default.
- W2012816697 cites W2118219143 @default.
- W2012816697 cites W2120713972 @default.
- W2012816697 cites W2493333586 @default.
- W2012816697 cites W2613512071 @default.
- W2012816697 cites W36355091 @default.
- W2012816697 doi "https://doi.org/10.1016/s1571-0661(04)00060-x" @default.
- W2012816697 hasPublicationYear "1998" @default.
- W2012816697 type Work @default.
- W2012816697 sameAs 2012816697 @default.
- W2012816697 citedByCount "15" @default.
- W2012816697 countsByYear W20128166972014 @default.
- W2012816697 crossrefType "journal-article" @default.
- W2012816697 hasAuthorship W2012816697A5068165188 @default.
- W2012816697 hasBestOaLocation W20128166971 @default.
- W2012816697 hasConcept C118615104 @default.
- W2012816697 hasConcept C124952713 @default.
- W2012816697 hasConcept C136119220 @default.
- W2012816697 hasConcept C137212723 @default.
- W2012816697 hasConcept C142362112 @default.
- W2012816697 hasConcept C155996607 @default.
- W2012816697 hasConcept C156772000 @default.
- W2012816697 hasConcept C182141236 @default.
- W2012816697 hasConcept C18364862 @default.
- W2012816697 hasConcept C202444582 @default.
- W2012816697 hasConcept C2778249326 @default.
- W2012816697 hasConcept C2780617661 @default.
- W2012816697 hasConcept C33923547 @default.
- W2012816697 hasConcept C48808802 @default.
- W2012816697 hasConcept C54884031 @default.
- W2012816697 hasConcept C72727785 @default.
- W2012816697 hasConcept C99633028 @default.
- W2012816697 hasConceptScore W2012816697C118615104 @default.
- W2012816697 hasConceptScore W2012816697C124952713 @default.
- W2012816697 hasConceptScore W2012816697C136119220 @default.
- W2012816697 hasConceptScore W2012816697C137212723 @default.
- W2012816697 hasConceptScore W2012816697C142362112 @default.
- W2012816697 hasConceptScore W2012816697C155996607 @default.
- W2012816697 hasConceptScore W2012816697C156772000 @default.
- W2012816697 hasConceptScore W2012816697C182141236 @default.
- W2012816697 hasConceptScore W2012816697C18364862 @default.
- W2012816697 hasConceptScore W2012816697C202444582 @default.
- W2012816697 hasConceptScore W2012816697C2778249326 @default.
- W2012816697 hasConceptScore W2012816697C2780617661 @default.
- W2012816697 hasConceptScore W2012816697C33923547 @default.
- W2012816697 hasConceptScore W2012816697C48808802 @default.
- W2012816697 hasConceptScore W2012816697C54884031 @default.
- W2012816697 hasConceptScore W2012816697C72727785 @default.
- W2012816697 hasConceptScore W2012816697C99633028 @default.
- W2012816697 hasLocation W20128166971 @default.
- W2012816697 hasOpenAccess W2012816697 @default.
- W2012816697 hasPrimaryLocation W20128166971 @default.
- W2012816697 hasRelatedWork W2012816697 @default.
- W2012816697 hasRelatedWork W202696773 @default.
- W2012816697 hasRelatedWork W2074909326 @default.
- W2012816697 hasRelatedWork W2083682852 @default.
- W2012816697 hasRelatedWork W2141560090 @default.
- W2012816697 hasRelatedWork W2480507693 @default.
- W2012816697 hasRelatedWork W2903354553 @default.
- W2012816697 hasRelatedWork W3139194082 @default.
- W2012816697 hasRelatedWork W4287554864 @default.
- W2012816697 hasRelatedWork W4294090869 @default.
- W2012816697 hasVolume "11" @default.
- W2012816697 isParatext "false" @default.
- W2012816697 isRetracted "false" @default.
- W2012816697 magId "2012816697" @default.
- W2012816697 workType "article" @default.