On Compositionality of Dinatural Transformations

DOI10.4230/LIPICS.CSL.2018.33MaRDI QIDQ5079758zbMATH OpenOpenAlexFDO

Authors Guy McCusker, Alessio Santamaria

Publication date 28 May 2022

Full work available at URL https://dblp.uni-trier.de/db/conf/csl/csl2018.html#McCuskerS18

zbMATH Keywords

categorical logiccompositionalitydinatural transformation

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Composing dinatural transformations: towards a calculus of substitution
• G-dinaturality.
• Dinatural numbers
• scientific article; zbMATH DE number 65746
• On natural transformations of distinguished functors and their superpositions in certain closed categories

Cites work

• A characterization of the least-fixed-point operator by dinaturality
• A generalization of the functorial calculus
• A survey of graphical languages for monoidal categories
• Categorical fixed point semantics
• Coherence in closed categories
• Dinatural transformations
• Functorial polymorphism
• scientific article; zbMATH DE number 431763 (Why is no real title available?)
• scientific article; zbMATH DE number 65746 (Why is no real title available?)
• scientific article; zbMATH DE number 3384257 (Why is no real title available?)
• scientific article; zbMATH DE number 3384258 (Why is no real title available?)
• Introduction to bicategories
• Linear logic
• Linear logic, coherence and dinaturality
• Normalisation Control in Deep Inference via Atomic Flows
• Structuring acyclic Petri nets for reachability analysis and control

Cited in

(5)

• Composing dinatural transformations: towards a calculus of substitution
• Composition under distributive natural transformations: or, when predicate abstraction is impossible
• A Representation Theorem for Change through Composition of Activities
• Dinatural transformations
• The Yoneda reduction of polymorphic types

This page was built for publication: On Compositionality of Dinatural Transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079758)