Continuous families of coalgebras

DOI10.1016/S0022-4049(97)00090-XzbMATH Open0932.18003OpenAlexW2131029899MaRDI QIDQ1295571FDOQ1295571

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

Recommendations

• scientific article; zbMATH DE number 3849457
• Ultrafilters, finite coproducts and locally connected classifying toposes
• On the structure of categories of coalgebras
• Coalgebras in a category of classes
• A note on coalgebras and presheaves

zbMATH Keywords

pretopos

Mathematics Subject Classification ID

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Completeness results for intuitionistic and modal logic in a categorical setting
• Title not available (Why is that?)
• Sheaves with values in a category
• Truth with Respect to an Ultrafilter or How to Make Intuition Rigorous
• Title not available (Why is that?)

Cited In (5)

• Continuous functions on final coalgebras
• Families parametrized by coalgebras
• No-iteration mixed distributive laws
• Title not available (Why is that?)
• Continuous family groupoids

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)