Universal algebra in a closed category
From MaRDI portal
Publication:1135922
DOI10.1016/0022-4049(80)90012-2zbMath0426.18004OpenAlexW2017663236MaRDI QIDQ1135922
Publication date: 1980
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(80)90012-2
completenesscocompletenessclosed categoryexistence of left adjoints to algebraic functorsfinitary universal algebraproduct- colimit commutativitiesstructure-semantics adjunction
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Algebraic structures (08Axx)
Related Items (15)
Unnamed Item ⋮ Categorical aspects of data type constructors ⋮ Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ Functional distribution monads in functional-analytic contexts ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Free internal groups ⋮ Notions of Lawvere theory ⋮ Unnamed Item ⋮ On the concrete representation of discrete enriched abstract clones ⋮ Languages for monoidal categories ⋮ Commutants for enriched algebraic theories and monads ⋮ Algebraic theories and commutativity in a sheaf topos ⋮ Free finitary algebras on compactly generated spaces ⋮ Unnamed Item ⋮ Bifold algebras and commutants for enriched algebraic theories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reports of the Midwest category seminar. III
- Category theory, homology theory and their applications III. Proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24 -- July 19, 1968. Volume three
- Reports of the Midwest category seminar. IV
- Kan extensions in enriched category theory
- A notion of limit for enriched categories
- On product-preserving Kan extensions
- A monadicity theorem
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
This page was built for publication: Universal algebra in a closed category