Revision #172 → #1300 · back to history
addedLocally small category7a2fcbc9729e
addedCovariant Hom functor Hom(A,–)b9b10b9685a4
addedContravariant Hom functor Hom(–,B)453dc56c3268
addedFunctor of pointsde852b0548c1
addedNaturality of Hom functor pair1c7b9b5082cb
addedHom(–,–) is a bifunctorc8c1db2ab2d1
addedYoneda's lemma94df1ec3aa4f
addedInternal Hom functord96ac2176dc5
addedClosed categoryb687f5290414
addedCurrying / internal Hom adjunctione1e02452cb78
addedInternal Hom object3d3c627003e5
addedExponential object5cf32df1b07d
addedInternal language of a category4d2f1414425b
addedPresheaf and copresheaf4c2f7180204a
addedRepresentable functorf0b83d766afd
addedHom is the identity profunctor0273cc4362b4
addedInternal Hom preserves limitsf98b0c81ead5
addedReader (environment) monadb0bc8301f1d4
addedHom left-exact, exact iff projective3d51618a6665
addedHom adjoint to tensor product21f9bff1d879