21 Nov
2001
21 Nov
'01
4:27 p.m.
Hello I would need please a bibliographical reference for the following theorem : "consider a complete cocomplete cartesian closed category C. Then the category of internal 1-categories of C is complete cocomplete and ccartesian closed". I need it for the redaction of a proof. Thanks in advance. pg.