Subequalizers
From MaRDI portal
Publication:5598374
DOI10.4153/CMB-1970-065-6zbMath0201.02302OpenAlexW4237445768MaRDI QIDQ5598374
Publication date: 1970
Published in: Canadian Mathematical Bulletin (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4153/cmb-1970-065-6
Related Items
Conditional rewriting logic: Deduction, models and concurrency, On coalgebra of real numbers, Terminal coalgebras in well-founded set theory, Recursively defined metric spaces without contraction, Bicategories in univalent foundations, Least fixpoints of endofunctors of cartesian closed categories, Non-well-founded trees in categories, Conditional rewriting logic as a unified model of concurrency, Quasi-Kan extensions for 2-categories, On the structure of categories of coalgebras, Final Dialgebras: From Categories to Allegories, Approximating and computing behavioural distances in probabilistic transition systems, Categories, Comparing Meseguer's Rewriting Logic with the Logic CRWL, Final coalgebras and the Hennessy-Milner property, Localization and Codensity Triples, The continuum as a final coalgebra
