A left adjoint construction related to free triples

DOI10.1016/0022-4049(77)90028-7zbMath0385.18006OpenAlexW2026395464MaRDI QIDQ1249219

Jan Reiterman

Publication date: 1977

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(77)90028-7

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categories of machines, automata (18B20)

Related Items

A categorical framework for congruence of applicative bisimilarity in higher-order languages, Unnamed Item, Unnamed Item, One more categorical model of universal algebra, Unnamed Item, A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on, Categorical constructions of free algebras, colimits, and completions of partial algebras, Free monads and the orthogonal subcategory problem

Cites Work

• Right exact functors
• Coequalizers and free triples
• Machines in a Category: An Expository Introduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item