Revision #147 → #1244 · back to history
addedContravariant functord9c1aa8ded11
addedVariance of composite functors596bb81bb6cc
addedCovariant functora3ed45c38274
addedCofunctor693d4e156850
addedOpposite functor16741ebd2e2e
addedBifunctorfd7e0cb370dc
addedMultifunctore7553994bc57
addedConsequences of functor axioms6d576ea6fee8
addedComposition of functors3eb69b56ffc0
addedOne-object category as monoidaed64fc5f592
addedPresheaff6a705b4405b
addedPresheaves on a space82d03791ee72
addedConstant functor52ee4a122f1d
addedEndofunctore32808412af8
addedIdentity functord48df1443cd3
addedDiagonal functor240a978e2c72
addedLimit functor40de8cea42cf
addedPower set functor1a16197fd845
addedDual space functor4b54b2888c1a
addedFundamental group functor98948c6c8163
addedContinuous functions functor6b2ca4354d97
addedTangent bundle functor703b952f0d16
addedGroup as category / G-set2b95542e76e4
addedLie algebra functor7c4e2ddde5b4
addedTensor product functor7428457d99a2
addedForgetful functor14cf5f9910b1
addedFree functoreb2b66df38e1
addedHom functor (abelian groups)c27aff78feb5
addedRepresentable functor0c1319501d0b
addedFunctor category1b339a71347c
addedFunctor in Haskell0bfbff1e87b9