Universal algebra in a closed category

DOI10.1016/0022-4049(80)90012-2zbMath0426.18004MaRDI QIDQ1135922

Francis Borceux, Brian J. Day

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

zbMATH Keywords

completeness; cocompleteness; closed category; existence of left adjoints to algebraic functors; finitary universal algebra; product- colimit commutativities; structure-semantics adjunction

Mathematics Subject Classification ID

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