On Compositionality of Dinatural Transformations

DOI10.4230/LIPICS.CSL.2018.33OpenAlexW2888814966MaRDI QIDQ5079758FDOQ5079758

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

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

zbMATH Keywords

categorical logiccompositionalitydinatural transformation

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• A survey of graphical languages for monoidal categories
• Linear logic
• Introduction to bicategories
• Title not available (Why is that?)
• A generalization of the functorial calculus
• Normalisation Control in Deep Inference via Atomic Flows
• Coherence in closed categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical fixed point semantics
• A characterization of the least-fixed-point operator by dinaturality
• Linear logic, coherence and dinaturality
• Functorial polymorphism
• Dinatural transformations
• Title not available (Why is that?)
• Structuring acyclic Petri nets for reachability analysis and control

Cited In (4)

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

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)