License | BSD-style (see the file LICENSE) |
---|---|
Maintainer | sjoerd@w3future.com |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
- type YonedaEmbedding k = Postcompose (Hom k) (Op k) :.: (Postcompose (Swap k (Op k)) (Op k) :.: Tuple k (Op k))
- yonedaEmbedding :: Category k => YonedaEmbedding k
- data Yoneda k f = Yoneda
- fromYoneda :: (Category k, Functor f, Dom f ~ Op k, Cod f ~ (->)) => f -> Nat (Op k) (->) (Yoneda k f) f
- toYoneda :: (Category k, Functor f, Dom f ~ Op k, Cod f ~ (->)) => f -> Nat (Op k) (->) f (Yoneda k f)
Documentation
type YonedaEmbedding k = Postcompose (Hom k) (Op k) :.: (Postcompose (Swap k (Op k)) (Op k) :.: Tuple k (Op k)) Source #
yonedaEmbedding :: Category k => YonedaEmbedding k Source #
The Yoneda embedding functor, C -> Set^(C^op)
.
(Category k, Functor f, (~) (* -> * -> *) (Dom f) (Op k), (~) (* -> * -> *) (Cod f) (->)) => Functor (Yoneda k f) Source # |
|
type Dom (Yoneda k f) Source # | |
type Cod (Yoneda k f) Source # | |
type (Yoneda k f) :% a Source # | |