The following pages link to Coequalizers and free triples (Q2538652):
Displaying 50 items.
- Rational operational models (Q265819) (← links)
- Fixed points of set functors: how many iterations are needed? (Q328655) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- On the fullness of certain functors (Q584378) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- On second-order iterative monads (Q639639) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- Bases for parametrized iterativity (Q1004388) (← links)
- On algebras defined by operations and equations in a topos (Q1138627) (← links)
- Machines in a category (Q1142850) (← links)
- On the algebra of order (Q1143782) (← links)
- Are colimits of algebras simple to construct? (Q1145762) (← links)
- Free monoids (Q1211109) (← links)
- Natural state transformations (Q1217073) (← links)
- Adjoint machines, state-behavior machines, and duality (Q1224156) (← links)
- Realization theory for automata in categories (Q1243352) (← links)
- A left adjoint construction related to free triples (Q1249219) (← links)
- On the relationship between composite and tensor product triples (Q1252285) (← links)
- Categories (Q1255566) (← links)
- Categorical constructions of free algebras, colimits, and completions of partial algebras (Q1256043) (← links)
- Free monads and the orthogonal subcategory problem (Q1260107) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- Cost functors and optimal realization (Q1819936) (← links)
- Families parametrized by coalgebras (Q1820859) (← links)
- Right exact functors (Q1843630) (← links)
- Monads and theories (Q2001598) (← links)
- Near distributive laws (Q2134823) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Monads of regular theories (Q2350311) (← links)
- Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories (Q2397551) (← links)
- Base modules for parametrized iterativity (Q2435311) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- Obstruction theory in algebraic categories. I (Q2556923) (← links)
- Categories of continuous functors. I (Q2559535) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- Induction, Coinduction, and Adjoints (Q2842818) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
- (Q3315681) (← links)
- A 2-Categories Companion (Q3400012) (← links)
- Monad compositions II: Kleisli strength (Q3520147) (← links)
- Iterative reflections of monads (Q3564343) (← links)
- A Description of Iterative Reflections of Monads (Extended Abstract) (Q3617727) (← links)
- Prereflections and reflections (Q3714247) (← links)
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on (Q3877834) (← links)
- The orthogonal subcategory problem for pointed endofunctors (Q3946313) (← links)
- Density presentations of functors (Q4132705) (← links)
