G-dinaturality
Z. Petric
Abstract
An extension of the notion of dinatural transformation is introduced in order to give a criterion for preservation of dinaturality under composition. An example of an application is given by proving that all bicartesian closed canonical transformations are dinatural. An alternative sequent system for intuitionistic propositional logic is introduced as a device, and a cut elimination procedure is established for this system.
Create a lesson
Related papers
How to prove equations using diagrams: A categorical and operational semantics for e-graphs
Evan Patterson
A topological Mundici representation theorem
Yifan Meng, Lili Shen, Dexue Zhang
The tensor triangular geometry of valuation domains
Tobias Barthel, Drew Heard, Beren Sanders et al.
Localisations of rings of weak global dimension at most one
Jan Šťovíček, Florian Tecklenburg
Higher zeroes in pointed infinity-categories
Thomas Rush Brown
Higher-order many-sorted categorial algebras via generalized hep-derivors
J. Climent Vidal, E. Cosme Llópez, R. Ruiz Mora et al.