Journal article icon

Journal article

On the structure of categories of coalgebras

Abstract:

Consideration of categories of transition systems and related constructions leads to the study of categories of F-coalgebras, where F is an endofunctor of the category of sets, or of some more general 'set-like' category. It is fairly well known that if E is a topos and F:E → E preserves pullbacks and generates a cofree comonad, then the category of F-coalgebras is a topos. Unfortunately, in most of the examples of interest in computer science, the endofunctor F does not preserve pullbacks, t...

Expand abstract
Publication status:
Published

Actions


Access Document


Authors


Johnstone, P More by this author
Tsujishita, T More by this author
Watanabe, H More by this author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Journal:
THEORETICAL COMPUTER SCIENCE
Volume:
260
Issue:
1-2
Pages:
87-117
Publication date:
2001-06-06
DOI:
ISSN:
0304-3975
URN:
uuid:7031bafc-17ec-435e-955b-7ef4e73e8e84
Source identifiers:
275392
Local pid:
pubs:275392

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP