On the structure of categories of coalgebras
type: Item
instance of: scholarly article
title: On the structure of categories of coalgebras
zbMATH Open document ID: 0973.68178
DOI: 10.1016/S0304-3975(00)00124-9
author: Peter Johnstone
author: John Power
author: T. Tsujishita
author: Hiroshi Watanabe
author: James Worrell
published in: Theoretical Computer Science
publication date: 2001-08-20T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1635326
zbMATH Keywords: coalgebra
zbMATH Keywords: topos
zbMATH Keywords: subobject
zbMATH Keywords: classifier
zbMATH Keywords: weak pullback
zbMATH Keywords: cofree comonad
MaRDI profile type: Publication
cites work: Q3992552
cites work: A final coalgebra theorem
cites work: Q5628320
cites work: Terminal coalgebras in well-founded set theory
cites work: Q4936141
cites work: Connected limits, familial representability and Artin glueing
cites work: Q3986541
cites work: Q4740070
cites work: Regular and exact completions
cites work: Bisimulation for probabilistic transition systems: A coalgebraic approach
cites work: Exponentiable morphisms, partial products and pullback complements
cites work: Q3995720
cites work: Q3978973
cites work: Q4145861
cites work: Finiteness and decidability: II
cites work: Q4936143
cites work: Q4173541
cites work: Bisimulation from open maps
cites work: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
cites work: Elementary observations on 2-categorical limits
cites work: Q5664068
cites work: Subequalizers
cites work: Q5570960
cites work: Q5639839
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: Q4003736
cites work: Accessible Categories: The Foundations of Categorical Model Theory
cites work: Q4222954
cites work: An approach to object semantics based on terminal co-algebras
cites work: Pullback preserving functors
cites work: Cartesian closed exact completions
cites work: Universal coalgebra: A theory of systems
cites work: Q4222961
cites work: A criterion for the existence of subobject classifiers
cites work: The subobject classifier of the category of functional bisimulations
cites work: Q4222958
cites work: Artin glueing
cites work: Q3998741
full work available at URL: s0304-3975(00)00124-9
OpenAlex ID: W2092786729
description: scientific article; zbMATH DE number 1635326