Continuous families of coalgebras

DOI10.1016/S0022-4049(97)00090-XzbMath0932.18003OpenAlexW2131029899MaRDI QIDQ1295571

Francisco Marmolejo

Publication date: 13 March 2000

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

Full work available at URL: https://doi.org/10.1016/s0022-4049(97)00090-x

zbMATH Keywords

pretopos

Mathematics Subject Classification ID

Topoi (18B25) Fibered categories (18D30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) 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) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

No-iteration mixed distributive laws

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Continuous families of coalgebras