The following pages link to Subequalizers (Q5598374):
Displaying 17 items.
- Non-well-founded trees in categories (Q876383) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Categories (Q1255566) (← links)
- The continuum as a final coalgebra (Q1603817) (← links)
- Terminal coalgebras in well-founded set theory (Q2367542) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- Comparing Meseguer's rewriting logic with the logic CRWL (Q2841300) (← links)
- Quasi-Kan extensions for 2-categories (Q4133790) (← links)
- On coalgebra of real numbers (Q4256314) (← links)
- Least fixpoints of endofunctors of cartesian closed categories (Q4279245) (← links)
- Localization and Codensity Triples (Q4767439) (← links)
- Final Dialgebras: From Categories to Allegories (Q4943551) (← links)
- Bicategories in univalent foundations (Q5055496) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
