Documentation

type Presheaves (~>) = Nat (Op ~>) (->)Source

type PShExponential (~>) y z = (Presheaves ~> :-*: z) :.: Opposite ((ProductFunctor (Presheaves ~>) :.: Tuple2 (Presheaves ~>) (Presheaves ~>) y) :.: YonedaEmbedding ~>)Source

pshExponential :: Category ~> => Obj (Presheaves ~>) y -> Obj (Presheaves ~>) z -> PShExponential ~> y zSource