Revision #60 → #1061 · back to history
addedCategory (informal)d6370d033a53
addedDefinition of a category664e50f24c69
addedCategory axioms (associativity and units)e63eb9a6f819
addedHom-class notationa983bf22674b
addedUniqueness of identity morphism0e3989c9add9
addedObject-free definition of categories99e6171a0a6d
addedSmall and large categories9a4ff582b88b
addedLocally small category928f2a7d7246
addedCategory of sets (Set)c834be4d5ef4
addedCategory Rel540f0886284d
addedDiscrete category6819b686787e
addedPreordered set as a category3b4a7c5b46a0
addedThin category30c301dba027
addedMonoid as a categoryb945b70fcebb
addedGroup as a categoryb5204afef742
addedIsomorphism6471978f880c
addedGroupoid776760246dc2
addedFundamental groupoid6f24402c0dc2
addedFree category generated by a graph5c4de39e2d13
addedCategory Ord5fb0223aed33
addedConcrete category2c78ee16f7d1
addedCategory of groups (Grp)79e43c94dd5a
addedCategory Ab6ddd788ce789
addedCategory of graphsd8ea698ce5ec
addedFiber bundles as a concrete category61e2cf1d1a44
addedCategory Cat59071257e622
addedFunctor category31571a0ef0a3
addedDual (opposite) category4f43b4432de7
addedProduct categoryb835d5a33229
addedQuotient category2d1fc8c794d9
addedOvercategory (slice category)8a850b796904
addedUndercategory and comma category18b3f545ff6b
addedLocalizationec02e8d08947
addedMonomorphism8ec9d1d11fc0
addedEpimorphism2587f7c3c753
addedBimorphismece41f29498d
addedRetractionce7ed5aa15a5
addedIsomorphism (morphism)af650dfec9f1
addedEndomorphismb111b2ab68a4
addedEndomorphisms form a monoided43b6f5baf0
addedAutomorphism987da116f959
addedAutomorphisms form a group59970bcbdfb9
addedRetractions are epimorphisms, sections are monomorphisms7289a178c112
addedEquivalence of mono+retraction, epi+section, isomorphism929791052ba6
addedCommutative diagram50e1f3171771
addedPreadditive category3e40128b63e8
addedAdditive category66ca4b14ad55
addedAbelian category01747e313648
addedAbelian groups as an abelian category3a8b3a28fc4b
addedEnriched category595a77aba339
addedComplete category0bcbd0fa68fc
addedComplete categories examples725055d69e53
addedCartesian closed category6cd55734e001
addedCartesian closed examples820c841e0683