Coalgebras in a category of classes

DOI10.1016/j.apal.2006.12.003zbMath1112.18002OpenAlexW1977076690MaRDI QIDQ876384

Michael A. Warren

Publication date: 18 April 2007

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2006.12.003

zbMATH Keywords

coalgebragluingalgebraic set theoryCartesian comonadinternal presheaves

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70)

Related Items

Aspects of predicative algebraic set theory. I: Exact completion ⋮ A Brief Introduction to Algebraic Set Theory ⋮ Lawvere–Tierney sheaves in Algebraic Set Theory

Cites Work

• Relating first-order set theories, toposes and categories of classes
• Sheaves in geometry and logic: a first introduction to topos theory
• Aspects of topoi
• Type theories, toposes and constructive set theory: Predicative aspects of AST
• Unnamed Item
• Unnamed Item
• Unnamed Item