Topoi (18B25) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Fibered categories (18D30) Foundations, relations to logic and deductive systems (18A15)
Recommendations
Cites work
- scientific article; zbMATH DE number 3825757 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3680757 (Why is no real title available?)
- scientific article; zbMATH DE number 3605078 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- Completeness results for intuitionistic and modal logic in a categorical setting
- Sheaves with values in a category
- Truth with Respect to an Ultrafilter or How to Make Intuition Rigorous
Cited in
(5)
This page was built for publication: Continuous families of coalgebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295571)