Categorical constructions of free algebras, colimits, and completions of partial algebras

DOI10.1016/0022-4049(79)90007-0zbMath0403.18002OpenAlexW2090205790WikidataQ72421948 ScholiaQ72421948MaRDI QIDQ1256043

Jan Reiterman, Václav Koubek

Publication date: 1979

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(79)90007-0

zbMATH Keywords

MonadCompletionPartial AlgebrasEndofunctorCocompleteness TheoremsColimitsF-AlgebrasFree AlgebrasSpecial Adjoints

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) Partial algebras (08A55)

Related Items (19)

Prereflections and reflections ⋮ The orthogonal subcategory problem and the small object argument ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Katětov functors ⋮ Least fixed point of a functor ⋮ Are colimits of algebras simple to construct? ⋮ Varietors and machines in a category ⋮ On coalgebra based on classes ⋮ Initial algebras and terminal coalgebras in many-sorted sets ⋮ On the greatest fixed point of a set functor ⋮ Finite models of sketches ⋮ Kan injectivity in order-enriched categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on ⋮ Equipping weak equivalences with algebraic structure ⋮ How complete are categories of algebras? ⋮ Full embeddability into categories of generalized algebras

Cites Work

• A left adjoint construction related to free triples
• Coequalizers and free triples
• Colimits of algebras revisited
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categorical constructions of free algebras, colimits, and completions of partial algebras