G-dinaturality
classification
🧮 math.CT
math.LO
keywords
dinaturalintroducedsystemalternativeapplicationbicartesiancanonicalclosed
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.