Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
CatFunct/ | 2005-07-05 08:14 | - | ||
Category_dup2/ | 2005-07-05 08:14 | - | ||
HomFunctor_NT/ | 2005-07-05 08:14 | - | ||
INDEX | 2005-07-05 08:13 | 108 | ||
InterChangeLaw/ | 2005-07-05 08:14 | - | ||
NatIso/ | 2005-07-05 08:14 | - | ||
Ntransformation/ | 2005-07-05 08:14 | - | ||
Setoid_dup2/ | 2005-07-05 08:14 | - | ||
YONEDA_LEMMA/ | 2005-07-05 08:14 | - | ||