A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on

DOI10.1017/S0004972700006353zbMath0437.18004OpenAlexW2079655821MaRDI QIDQ3877834

G. M. Kelly

Publication date: 1980

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0004972700006353

zbMATH Keywords

free algebrafree monoidcolimits of algebrasfree monadcomma-categorytransfinite constructionadjoints to algebraic functorsassociated sheavesgeneralized sheaf categories

Mathematics Subject Classification ID

Related Items (only showing first 100 items - show all)

A class of higher inductive types in Zermelo‐Fraenkel set theory ⋮ Smart Choices and the Selection Monad ⋮ Unnamed Item ⋮ Understanding the small object argument ⋮ Reflective subcategories ⋮ On the structure of categories of coalgebras ⋮ A remark on conservative cocompletions of categories ⋮ Unnamed Item ⋮ The Isbell monad ⋮ Decompositions of dynamical systems induced by the Koopman operator ⋮ Modulated bicategories ⋮ Unnamed Item ⋮ Higher dimensional categories: induction on extensivity ⋮ Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Prereflections and reflections ⋮ The orthogonal subcategory problem and the small object argument ⋮ The web monoid and opetopic sets ⋮ Free monoid in monoidal abelian categories ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ Closure operators. I ⋮ Unnamed Item ⋮ Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories ⋮ Finitary monads on the category of posets ⋮ Weak $\infty$-categories via terminal coalgebras ⋮ Discrete Lawvere theories and computational effects ⋮ A synthetic version of Lie's second theorem ⋮ Unnamed Item ⋮ Hochschild homology, lax codescent, and duplicial structure ⋮ Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ Two-dimensional monad theory ⋮ Unnamed Item ⋮ Combining algebraic effects with continuations ⋮ A proof of the existence of Batanin's initial operad ⋮ Martin-Löf complexes ⋮ Elimination of quotients in various localisations of premodels into models ⋮ Algebraic weak factorisation systems. I: Accessible AWFS. ⋮ Monad transformers as monoid transformers ⋮ Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure ⋮ The linear-non-linear substitution 2-monad ⋮ What is a finitely related object, categorically? ⋮ Sheaf representation of monoidal categories ⋮ Unnamed Item ⋮ Canonicity and homotopy canonicity for cubical type theory ⋮ On semiflexible, flexible and pie algebras ⋮ Weak reflections and weak factorization systems ⋮ On the construction of functorial factorizations for model categories ⋮ Unnamed Item ⋮ Closure operators and their middle-interchange law ⋮ Lex colimits ⋮ Unnamed Item ⋮ Understanding the small object argument ⋮ Notions of computation as monoids ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ On coalgebra based on classes ⋮ Decomposing Comonad Morphisms. ⋮ Polynomial functors and polynomial monads ⋮ Graphical combinatorics and a distributive law for modular operads ⋮ Complete Elgot monads and coalgebraic resumptions ⋮ Locally bounded enriched categories ⋮ On Kan-injectivity of locales and spaces ⋮ Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads ⋮ Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads ⋮ Algebras, Coalgebras, Monads and Comonads ⋮ Monads in double categories ⋮ Monads and theories ⋮ Coproducts of Ideal Monads ⋮ Triads. ⋮ Kan injectivity in order-enriched categories ⋮ Category theory for operational semantics ⋮ Note on the construction of free monoids ⋮ Coalgebraic semantics for timed processes ⋮ Unnamed Item ⋮ L-FUNCTORS AND ALMOST SPLIT SEQUENCES ⋮ Homomorphisms of higher categories ⋮ Combining effects: sum and tensor ⋮ Unnamed Item ⋮ PRELOCALIZATIONS AND NATURAL NUMBERS ⋮ Unnamed Item ⋮ Lax orthogonal factorisations in ordered structures ⋮ Unnamed Item ⋮ Schreier split extensions of preordered monoids ⋮ Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming ⋮ Dual closure operators and their applications ⋮ Semantics of higher inductive types ⋮ A cubical model of homotopy type theory ⋮ Bases for parametrized iterativity ⋮ Almost reflective subcategories of \(\mathbf T \mathbf o \mathbf p\) ⋮ Morita equivalence of factorizable semigroups ⋮ Local presentability of certain comma categories ⋮ A new foundation for finitary corecursion and iterative algebras ⋮ Equipping weak equivalences with algebraic structure ⋮ Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories ⋮ Solving Algebraic Equations Using Coalgebra ⋮ On locales of localizations ⋮ A homotopy-theoretic universal property of Leinster's operad for weak ω-categories ⋮ A 2-Categories Companion ⋮ Unnamed Item ⋮ List Objects with Algebraic Structure ⋮ Algebraic structure for bicategory enriched categories ⋮ Gabriel-Ulmer duality for categories enriched in bicategories

Cites Work

• Free monoids
• Constructions of factorization systems in categories
• A left adjoint construction related to free triples
• Categorical constructions of free algebras, colimits, and completions of partial algebras
• Free monads and the orthogonal subcategory problem
• Coequalizers and free triples
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Categories of continuous functors. I

This page was built for publication: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on