Coalgebras in a category of classes (Q876384)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Coalgebras in a category of classes |
scientific article |
Statements
Coalgebras in a category of classes (English)
0 references
18 April 2007
0 references
The author extends the familiar result that if \(C\) is a topos and \(G\) is a cartesian comonad of \(C,\) then the category of coalgebras \(C_{G} \) is also a topos in the setting of algebraic set theory [\textit{A. Joyal} and \textit{I. Moerdijk}, ``Algebraic set theory'', Lond. Math. Soc. Lect. Note Series 220 (1995; Zbl 0847.03025)]. In particular, it is shown that, under suitable assumptions, several kinds of categories of classes are stable under the formation of coalgebras for cartesian comonad, internal presheaves and comma categories.
0 references
algebraic set theory
0 references
Cartesian comonad
0 references
coalgebra
0 references
internal presheaves
0 references
gluing
0 references