Coalgebras in a category of classes

DOI10.1016/J.APAL.2006.12.003zbMATH Open1112.18002OpenAlexW1977076690MaRDI QIDQ876384FDOQ876384

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

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

zbMATH Keywords

coalgebragluingalgebraic set theoryCartesian comonadinternal presheaves

Mathematics Subject Classification ID

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

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Relating first-order set theories, toposes and categories of classes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Aspects of topoi
• Type theories, toposes and constructive set theory: Predicative aspects of AST
• Title not available (Why is that?)

Cited In (15)

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

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)