# HOMEWORK, LECTURE 5

JASON DUSEK

Problem 1 We wish to show X × Y → Z ∼ X → Z Y . In our Cartesian Closed Category, we = have functors − × Y and −Y ; these are endofunctors in in some category C. They are adjoint: (− × Y ) From adjointness we have: C1 (X × Y, Z) ∼ C1 (X, Z Y ) = To see that − is right adjoint to −×Y , for each Z we need a terminal morphism from −×Y to Z that goes through −Y . For each f : X ×Y → Z, we need morphisms Z and g to satisfy:

Y

(−Y )

X

g

X ×Y

g×1Y f

/Z Z ZY × Y ZY Setting g = λf and Z = eval, our uniqueness properties are readily satisﬁed from the deﬁnitions of the product and exponential. To see that − × Y is left adjoint to −Y , we need to show that for each X we have an initial morphism from X to −Y that goes through − × Y . Without further ado, the diagram: X

ηX

/ (X × Y )Y

g 1Y

X ×Y

g

Z ZY Setting ηX = λ 1X , 1Y and g = λ∗ f , we are assured that g is unique because the currying operation is an isomorphism (though we don’t exhibit λ∗ ). ) Problem 2 In a Cartesian Closed Category, exponentials oﬀer a unique partially appplied morphism λg : X → Z Y for every morphism g : X × Y → Z as well as an evaluation morphism eval : Z Y × Y → Z. We call λ : (X × Y → Z) → (X → Z Y ) by the name curry.

Date: October 29, 2009.

1

f

2

JASON DUSEK

X ZY

λg

X ×Y Z Y × Y eval

λg×1Y g

/Z

**We can substitute eval in to the rightmost diagram to get: ZY × Y
**

λeval×1Y eval

Z Y × Y eval

/Z

It is easy to see that setting λeval = 1Z Y makes the diagram commute and uniqueness of λeval takes care of the rest. Problem 3 The category 2 has two objects, A and B, and a single arrow from one to the other, ab : A → B (in addition to the identity arrows): A ab / B Then for each function f : X → Y in some category C, we have: R

p rA

P

pA pB

rB

v /( B f A Then (P, pA , pB ) is a product with the additional restriction that f ◦ pA = pB . Problem 4 The category of sets contains every set and all morphisms between sets. It is trivially Cartesian Closed: • The terminal object is any singleton set. • The products are the Cartesian products of sets and all products exist. • Every pair of sets leads to a set of morphisms between those sets, providing our exponentials.