Coalgebras in a category of classes

  title={Coalgebras in a category of classes},
  author={Michael A. Warren},
  journal={Ann. Pure Appl. Logic},
In this paper the familiar construction of the category of coalgebras for a cartesian comonad is extended to the setting of “algebraic set theory”. In particular, it is shown that, under suitable assumptions, several kinds of categories of classes are stable under the formation of coalgebras for a cartesian comonad, internal presheaves and comma categories. c © 2007 Elsevier B.V. All rights reserved. 

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 10 references

Sketches of an Elephant

P. T. Johnstone
vol. 1, Oxford University Press, Oxford • 2003
View 4 Excerpts
Highly Influenced

Algebraic Set Theory

A. Joyal, I. Moerdijk
Cambridge University Press, Cambridge • 1995
View 5 Excerpts
Highly Influenced

Relating set theories, toposes and categories of classes (in preparation). A preliminary version from June 2003 is available on the AST website:

S. Awodey, C. Butz, A. Simpson, T. Streicher
View 4 Excerpts
Highly Influenced

Presheaf models of constructive set theories

N. Gambino
in: L. Crosilla, P. Schuster (Eds.), From Sets and Types to Topology and Analysis, Oxford University Press, Oxford • 2005
View 2 Excerpts

Type theories

I. Moerdijk, E. Palmgren
toposes and constructive set theory: Predicative aspects of AST, Ann. Pure Appl. Logic 114 • 2002
View 2 Excerpts

Sheaves in Geometry and Logic

S. Mac Lane, I. Moerdijk
Springer-Verlag, Berlin • 1992
View 2 Excerpts

Aspects of topoi

P. Freyd
Bull. Austral. Math. Soc. 7 • 1972

Similar Papers

Loading similar papers…