Coequalizers and free triples

DOI10.1007/BF01111838zbMath0194.01701MaRDI QIDQ2538652

Publication date: 1970

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/171393

zbMATH Keywords

general algebraic structures

Related Items

Rational operational models ⋮ Near distributive laws ⋮ Prereflections and reflections ⋮ A categorical view of varieties of ordered algebras ⋮ Fixed points of set functors: how many iterations are needed? ⋮ Unnamed Item ⋮ Finitary monads on the category of posets ⋮ Recursive Program Schemes and Context-Free Monads ⋮ Structural congruence for bialgebraic semantics ⋮ Finitely Presentable Algebras For Finitary Monads ⋮ Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure ⋮ Equational properties of iterative monads ⋮ On algebras defined by operations and equations in a topos ⋮ Differential graded Koszul duality: An introductory survey ⋮ Machines in a category ⋮ On the algebra of order ⋮ Are colimits of algebras simple to construct? ⋮ Structured handling of scoped effects ⋮ C-system of a module over a \(Jf\)-relative monad ⋮ Monad compositions II: Kleisli strength ⋮ Base modules for parametrized iterativity ⋮ On second-order iterative monads ⋮ Unnamed Item ⋮ Enriched Locally Generated Categories ⋮ Elgot theories: a new perspective on the equational properties of iteration ⋮ Algebras with parametrized iterativity ⋮ Iterative reflections of monads ⋮ From Grammars and Automata to Algebras and Coalgebras ⋮ Monads and theories ⋮ Coproducts of Ideal Monads ⋮ Theories of analytic monads ⋮ Free monoids ⋮ Density presentations of functors ⋮ Substitution in non-wellfounded syntax with variable binding ⋮ Natural state transformations ⋮ Colimits of algebras revisited ⋮ INSTANCES AND RAMIFICATIONS OF THE SEMI-ADJOINT SITUATION I. PRESTABLE REFLECTION AND SYMMETRIC UNADS ⋮ Adjoint machines, state-behavior machines, and duality ⋮ Unnamed Item ⋮ On the fullness of certain functors ⋮ Realization theory for automata in categories ⋮ Unnamed Item ⋮ A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on ⋮ A left adjoint construction related to free triples ⋮ On the relationship between composite and tensor product triples ⋮ A Description of Iterative Reflections of Monads (Extended Abstract) ⋮ On algebras with effectful iteration ⋮ Bases for parametrized iterativity ⋮ Categories ⋮ Categorical constructions of free algebras, colimits, and completions of partial algebras ⋮ A New Foundation for Finitary Corecursion ⋮ Free monads and the orthogonal subcategory problem ⋮ A new foundation for finitary corecursion and iterative algebras ⋮ Generalizing Substitution ⋮ Cost functors and optimal realization ⋮ Families parametrized by coalgebras ⋮ How complete are categories of algebras? ⋮ A 2-Categories Companion ⋮ Obstruction theory in algebraic categories. I ⋮ Categories of continuous functors. I ⋮ Induction, Coinduction, and Adjoints ⋮ Right exact functors ⋮ Unnamed Item ⋮ Simplified Coalgebraic Trace Equivalence ⋮ The orthogonal subcategory problem for pointed endofunctors ⋮ Taut Monads, Dynamic Logic and Determinism ⋮ Monads of regular theories

Cites Work