Title of article
Coalgebras in a category of classes
Author/Authors
Warren، نويسنده , , Michael A.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
12
From page
60
To page
71
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.
Keywords
Cartesian comonad , Algebraic set theory , Coalgebra , gluing , Internal presheaves
Journal title
Annals of Pure and Applied Logic
Serial Year
2007
Journal title
Annals of Pure and Applied Logic
Record number
1444222
Link To Document