Composing dinatural transformations: towards a calculus of substitution

DOI10.1016/J.JPAA.2021.106689zbMath1468.18002arXiv2007.07576OpenAlexW3118737441MaRDI QIDQ2031559

Alessio Santamaria, Guy McCusker

Publication date: 9 June 2021

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

coherencecompositionalityPetri netsubstitutiondinatural transformation

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Natural morphisms, dinatural morphisms (18A23) Definitions and generalizations in theory of categories (18A05) Functor categories, comma categories (18A25)

Related Items (1)

Coends of higher arity

Cites Work

• A characterization of the least-fixed-point operator by dinaturality
• Linear logic, coherence and dinaturality
• Functorial polymorphism
• Coherence for compact closed categories
• The geometry of tensor calculus. I
• Dinatural numbers
• G-dinaturality.
• Categorical fixed point semantics
• A generalization of the functorial calculus
• A Survey of Graphical Languages for Monoidal Categories
• A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
• Premonoidal categories and notions of computation
• Traced monoidal categories
• A system of interaction and structure
• Dinatural transformations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Composing dinatural transformations: towards a calculus of substitution