Lax naturality through enrichment

DOI10.1016/0022-4049(95)00136-0zbMath0856.18003OpenAlexW2088655847MaRDI QIDQ1923539

Yoshiki Kinoshita, A. John Power

Publication date: 17 February 1997

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(95)00136-0

zbMATH Keywords

monadsdata refinementenriched categoryEilenberg-Moore algebraslocally finitely presentabletripleCartesian monoidal category

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (6)

Lawvere theories enriched over a general base ⋮ Logic programming: laxness and saturation ⋮ Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness ⋮ Category Theoretic Models of Data Refinement ⋮ Algebraic structure for bicategory enriched categories ⋮ Gabriel-Ulmer duality for categories enriched in bicategories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Variations on algebra: Monadicity and generalisations of equational theories
• A presentation of topoi as algebraic relative to categories or graphs
• Algebraic specification and proof of a distributed recovery algorithm
• Hierarchical program specification and verification - a many-sorted logical approach
• Algebraic structure for bicategory enriched categories
• Gabriel-Ulmer duality for categories enriched in bicategories
• Enrichment through variation
• Formal category theory: Adjointness for 2-categories
• Proof of correctness of data representations
• ENRICHED CATEGORIES AND COHOMOLOGY
• A formalism for the specification of essentially-algebraic structures in 2-categories
• Coherence for tricategories
• Program development by stepwise refinement
• An algebraic formulation for data refinement

This page was built for publication: Lax naturality through enrichment