data-category-0.5.1: Category theory

Index - :

:%Data.Category.Functor
:***: 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
:**: 
1 (Type/Class)Data.Category.Product
2 (Data Constructor)Data.Category.Product
:*-:Data.Category.Functor
:*: 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
:+++: 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
:++:Data.Category.Coproduct
:+: 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
:-*:Data.Category.Functor
:.: 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
:/\:Data.Category.Comma
:>>:Data.Category.Coproduct
:~>Data.Category.NaturalTransformation