Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
Documentation
yonedaEmbedding :: Category ~> => Postcompose (Hom ~>) ~> :.: CatTuple ~> (Op ~>)Source
The Yoneda embedding functor.
Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
yonedaEmbedding :: Category ~> => Postcompose (Hom ~>) ~> :.: CatTuple ~> (Op ~>)Source
The Yoneda embedding functor.