G-dinaturality.

DOI10.1016/S0168-0072(03)00003-4zbMath1036.18001arXivmath/0012019OpenAlexW4213132393MaRDI QIDQ1400601

Zoran Petrić

Publication date: 13 August 2003

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

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

zbMATH Keywords

polymorphic lambda calculuscut eliminationdinatural transformationbi-Cartesian closed categories

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Natural morphisms, dinatural morphisms (18A23)

Related Items

Composing dinatural transformations: towards a calculus of substitution

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On natural transformations of distinguished functors and their superpositions in certain closed categories
• Linear logic, coherence and dinaturality
• Functorial polymorphism
• Cut elimination in categories
• Bicartesian coherence
• Tensor products in categories
• A generalization of the functorial calculus
• Coherence in closed categories
• Topology and logic as a source of algebra
• A Counter-Example to Coherence in Cartesian Closed Categories
• Deductive systems and categories
• Dinatural transformations