data-category-0.4: Restricted categories

Portability	non-portable
Stability	experimental
Maintainer	sjoerd@w3future.com

Data.Category.Yoneda

Description

Synopsis

Documentation

yonedaEmbedding :: Category ~> => Postcompose (Hom ~>) ~> :.: CatTuple ~> (Op ~>)Source

The Yoneda embedding functor.

data Yoneda f Source

Constructors

Instances

Functor f => Functor (Yoneda f)

fromYoneda :: (Functor f, Cod f ~ (->)) => f -> Yoneda f :~> fSource

toYoneda :: (Functor f, Cod f ~ (->)) => f -> f :~> Yoneda fSource