28 Jan
1999
28 Jan
'99
9:36 a.m.
Question 1 ~~~~~~~~~~
Has the following lemma been seen before?
Lemma: If D is a cartesian closed category having all finite limits then so is its arrow category.
If I've not misunderstood Barry's question 1, this is surely just the gluing or sconing lemma for the particular functor id_D : D -> D, where Glue(id_D) = arrow(D) Gluing along the identity gives a pleasant form for exponentials; the glued exponentials in Glue(G) for some G : C -> D collapse to the diagram in Barry's note.