Revision #862 → #1416 · back to history
addedCategory (objects and morphisms)8a5c1d7f6da1
addedSource and target of a morphismc3780db8fb7c
addedComposition of morphismsd2cb8141f939
addedIdentity morphism axiomb0d9a4f1c3fa
addedAssociativity axiom5313ebbd5c6e
addedConcrete category identity and composition01a6298ca2eb
addedLocally small categoryb1be82a11668
addedMonomorphism2c08c8536f11
addedSplit monomorphism / retraction5865efdbdf38
addedLeft inverse implies monomorphismbccf6b99b45b
addedInjective vs monomorphism in concrete categoriesda16006bcafc
addedEpimorphism949f6fd84cfb
addedSplit epimorphism / section927ff17526d9
addedRight inverse implies epimorphism032ee6e7cba0
addedSplit monomorphism induces split epimorphismd37ed2b4a3c6
addedSurjection has section equivalent to axiom of choice728c251f3cdf
addedBimorphismbf3223dbb741
addedVector spaces: mono/epi coincide with inj/surjf44c5818a1dd
addedCommutative rings: non-surjective epimorphismf30e04185b7a
addedIsomorphism0635bacdd34c
addedUniqueness of inverse1f30ec4dd59d
addedBimorphism need not be isomorphism06051b837d2d
addedEpi + split mono is isomorphism6707492ed47c
addedBalanced categoryb53bbbdf9aa5
addedEndomorphisme69be6c8a5f5
addedSplit endomorphismc8fac74a0902
addedAutomorphisma9daa3fd8e86
addedAutomorphism group0b7b2dcea019
addedMorphisms of algebraic structures6fbf4f1fa58c
addedTopological spaces and homeomorphisms81f0576a1b7d
addedSmooth manifolds and diffeomorphisms5a5c081ad656
addedSmall categories and functorsa3ef2bd34214
addedFunctor category and natural transformations7e5bcaa5380b