Coalgebras in a category of classes

Annals of Pure and Applied Logic 146 (1):60-71 (2007)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2006.12.003

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Observational ultraproducts of polynomial coalgebras.Robert Goldblatt - 2003 - Annals of Pure and Applied Logic 123 (1-3):235-290.
Non-well-founded trees in categories.Benno van den Berg & Federico De Marchi - 2007 - Annals of Pure and Applied Logic 146 (1):40-59.
Coalgebraic logic for stochastic right coalgebras.Ernst-Erich Doberkat & Christopher Schubert - 2009 - Annals of Pure and Applied Logic 159 (3):268-284.
Coalgebraic logic for stochastic right coalgebras.Ernst-Erich Doberkat & Christoph Schubert - 2009 - Annals of Pure and Applied Logic 159 (3):268-284.
A Study of Categorres of Algebras and Coalgebras.Jesse Hughes, Steve Awodey, Dana Scott, Jeremy Avigad & Lawrence Moss - unknown
Final coalgebras and the Hennessy–Milner property.Robert Goldblatt - 2006 - Annals of Pure and Applied Logic 138 (1):77-93.
Predicative Algebraic Set Theory.Steve Awodey & Michael A. Warren - unknown
Algebraic Models of Sets and Classes in Categories of Ideals.Steve Awodey, Henrik Forssell & Michael A. Warren - unknown
The notion of independence in categories of algebraic structures, part III: equational classes.Gabriel Srour - 1990 - Annals of Pure and Applied Logic 47 (3):269-294.
Expressive Logics for Coalgebras via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.

Analytics

Added to PP
2013-12-30

Downloads
14 (#1,275,508)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.

Add more citations

References found in this work

Add more references