Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
- type YonedaEmbedding (~>) = Postcompose (Hom ~>) (Op ~>) :.: ToTuple2 ~> (Op ~>)
- yonedaEmbedding :: Category ~> => YonedaEmbedding ~>
- data Yoneda (~>) f = Yoneda
- fromYoneda :: (Category ~>, Functor f, Dom f ~ Op ~>, Cod f ~ (->)) => f -> Yoneda ~> f :~> f
- toYoneda :: (Category ~>, Functor f, Dom f ~ Op ~>, Cod f ~ (->)) => f -> f :~> Yoneda ~> f
Documentation
type YonedaEmbedding (~>) = Postcompose (Hom ~>) (Op ~>) :.: ToTuple2 ~> (Op ~>)Source
yonedaEmbedding :: Category ~> => YonedaEmbedding ~>Source
The Yoneda embedding functor, C -> Set^(C^op)
.