Coalgebras in a category of classes (Q876384): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:28, 5 March 2024
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