Coalgebras in a category of classes

DOI10.1016/J.APAL.2006.12.003MaRDI QIDQ876384zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 3334213
• On the structure of categories of coalgebras
• On universal categories of coalgebras
• A categorical approach to algebras and coalgebras
• A categorical approach to algebras and coalgebras
• scientific article; zbMATH DE number 1231631
• On coalgebra based on classes
• On the topologicity of categories of coalgebras
• Cotensor Coalgebras in Monoidal Categories
• Universality of categories of coalgebras

Cites work

• scientific article; zbMATH DE number 2172973 (Why is no real title available?)
• scientific article; zbMATH DE number 813127 (Why is no real title available?)
• scientific article; zbMATH DE number 2247251 (Why is no real title available?)
• Aspects of topoi
• Relating first-order set theories, toposes and categories of classes
• Sheaves in geometry and logic: a first introduction to topos theory
• Type theories, toposes and constructive set theory: Predicative aspects of AST

Cited in

(17)

• Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem
• On the topologicity of categories of coalgebras
• On simple and extensional coalgebras beyond \({\mathcal S}et\)
• Universality of categories of coalgebras
• Some co-Birkhoff type theorems
• Lawvere–Tierney sheaves in Algebraic Set Theory
• Families parametrized by coalgebras
• Coalgebra and abstraction
• scientific article; zbMATH DE number 3334213 (Why is no real title available?)
• Aspects of predicative algebraic set theory. I: Exact completion
• On coalgebra based on classes
• scientific article; zbMATH DE number 1701358 (Why is no real title available?)
• Bases as coalgebras
• The slice classification of categories of coalgebras for comonads
• Cooperads and coalgebras as closed model categories
• Subcoalgebras and cocongruence corelations.
• A Brief Introduction to Algebraic Set Theory

This page was built for publication: Coalgebras in a category of classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q876384)