<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2006-08-21 04:53:22Mathematics Functor Natural transformation Representable functor Hom functor Full and faithful functors Equivalence of categories Yoneda lemma Morphism Category theory Abstract algebra Functors |
| Chu realizes all small concrete categories Vaughan Pratt January 9, 2005 Abstract The category Chu is concretely universal for much of concrete mathematics; in particular it concretely represents or realizes all categoriDocID: MOsv - View Document |
| Derivatives of Containers Michael Abbott1 , Thorsten Altenkirch2, Neil Ghani1 , and Conor McBride3 1DocID: 4zH8 - View Document |
| PDF DocumentDocID: 1rjP - View Document |