Coalgebras in a category of classes

Abstract 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.

[1]  Ieke Moerdijk,et al.  Algebraic set theory , 1995 .

[2]  Peter Schuster,et al.  From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics , 2005, From sets and types to topology and analysis.

[3]  S. Lane,et al.  Sheaves In Geometry And Logic , 1992 .

[4]  Erik Palmgren,et al.  Type theories, toposes and constructive set theory: predicative aspects of AST , 2002, Ann. Pure Appl. Log..

[5]  M. Warren,et al.  Predicative Categories of Classes , 2004 .

[6]  Steve Awodey,et al.  PREDICATIVE ALGEBRAIC SET THEORY , 2004 .

[7]  Peter Freyd,et al.  Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.

[8]  Benno van den Berg.  Sheaves for predicative toposes , 2005 .

[9]  Nicola Gambino,et al.  Presheaf models for Constructive Set Theories , 2005, From sets and types to topology and analysis.

[10]  P. Johnstone.  Sketches of an Elephant , 2007 .