Enriched Lawvere Theories for Operational Semantics

zbMath1499.18011arXiv1905.05636MaRDI QIDQ5020957

Christian Williams, John C. Baez

Publication date: 7 January 2022

Full work available at URL: https://arxiv.org/abs/1905.05636

zbMATH Keywords

enriched categoryLawvere theorymonadicitycategory of modelschange of basefunctorial semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (2)

Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Fuzzy logic and enriched categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Survey article: an elementary illustrated introduction to simplicial sets
• Left Kan extensions preserving finite products
• Discrete Lawvere theories and computational effects
• New structures for physics
• Two-dimensional monad theory
• Monoidal bicategories and Hopf algebroids
• The enriched Grothendieck construction
• Sketches
• A structural approach to operational semantics
• Lawvere theories enriched over a general base
• Kan extensions in enriched category theory
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• Categories for Types
• Proceedings of the Conference on Categorical Algebra
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Enriched Lawvere Theories for Operational Semantics