G-dinaturality

Details G-dinaturality G-dinaturality

2000-12-04

arxiv.org/abs/math/0012019v1

Mathematics

Category Theory

32 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

G-dinaturality does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with G-dinaturality, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and G-dinaturality will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-70178