Subequalizers

DOI10.4153/CMB-1970-065-6MaRDI QIDQ5598374zbMATH OpenOpenAlexFDO

Authors J. Lambek

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

Cited in

(17)

• Conditional rewriting logic as a unified model of concurrency
• Categories
• The continuum as a final coalgebra
• Terminal coalgebras in well-founded set theory
• Recursively defined metric spaces without contraction
• Approximating and computing behavioural distances in probabilistic transition systems
• Final coalgebras and the Hennessy-Milner property
• Comparing Meseguer's rewriting logic with the logic CRWL
• Quasi-Kan extensions for 2-categories
• On coalgebra of real numbers
• Least fixpoints of endofunctors of cartesian closed categories
• Localization and Codensity Triples
• Final Dialgebras: From Categories to Allegories
• Bicategories in univalent foundations
• Conditional rewriting logic: Deduction, models and concurrency
• On the structure of categories of coalgebras
• Non-well-founded trees in categories

This page was built for publication: Subequalizers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5598374)