Universal algebra in a closed category
From MaRDI portal
Publication:1135922
DOI10.1016/0022-4049(80)90012-2zbMath0426.18004MaRDI 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
completeness; cocompleteness; closed category; existence of left adjoints to algebraic functors; finitary universal algebra; product- colimit commutativities; structure-semantics adjunction
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
08Axx: Algebraic structures
Related Items
Presentations and algebraic colimits of enriched monads for a subcategory of arities, Diagrammatic presentations of enriched monads and varieties for a subcategory of arities, Free internal groups, Languages for monoidal categories, Notions of Lawvere theory, On the concrete representation of discrete enriched abstract clones, Commutants for enriched algebraic theories and monads, Categorical aspects of data type constructors, Functional distribution monads in functional-analytic contexts, Bifold algebras and commutants for enriched algebraic theories, Algebraic theories and commutativity in a sheaf topos, Unnamed Item, Unnamed Item, Free finitary algebras on compactly generated spaces, Unnamed Item
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