Revision #731 → #1062 · back to history
addedCategory4fb09687b73b
addedCategory of sets4d92095eb1a1
addedMonomorphism, epimorphism, and related morphism propertiesa826e65f22a3
addedEquivalent characterizations of isomorphismsf7dfa25da2cb
addedCovariant functor0cf9d7a11fa9
addedContravariant functor0e974e8c8f53
addedNatural transformationef15d35864fd
addedNaturally isomorphic functors115481027da9
addedFunctor category45735a0cfcb9
addedStrict 2-categoryca366b82e6a4