Abstraction and Application in Adjunction

Details Abstraction and Application in Adjunction Abstraction and Application in Adjunction

2001-11-06

arxiv.org/abs/math/0111061v1

Mathematics

Category Theory

15 pages

Scientific paper

The postulates of comprehension and extensionality in set theory are based on an inversion principle connecting set-theoretic abstraction and the property of having a member. An exactly analogous inversion principle connects functional abstraction and application to an argument in the postulates of the lambda calculus. Such an inversion principle arises also in two adjoint situations involving a cartesian closed category and its polynomial extension. Composing these two adjunctions, which stem from the deduction theorem of logic, produces the adjunction connecting product and exponentiation, i.e. conjunction and implication.

Affiliated with

Also associated with

No associations

Rating

Abstraction and Application in Adjunction 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 Abstraction and Application in Adjunction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Abstraction and Application in Adjunction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-434175