A formalism for the specification of essentially-algebraic structures in 2-categories

DOI10.1017/S0960129500001110zbMath0754.18006OpenAlexW2075314089MaRDI QIDQ4006237

No author found.

Publication date: 26 September 1992

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500001110

zbMATH Keywords

operational semantics2-categoriesrewrite rulesweighted limitscategory-based methodology for the description of functional programming languageshigher-order constructionshigher-order two-dimensional sketchpath grammar

Mathematics Subject Classification ID

Related Items (2)

Lax naturality through enrichment ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The combinatorics of n-categorical pasting
• A 2-categorical pasting theorem
• A generalization of the concept of sketch
• The algebra of oriented simplexes
• Two-dimensional monad theory
• Limits indexed by category-valued 2-functors
• Flexible limits for 2-categories

This page was built for publication: A formalism for the specification of essentially-algebraic structures in 2-categories