data-category-0.7.1: Category theory

Index - R

Replicate 
1 (Type/Class)Data.Category.Simplex
2 (Data Constructor)Data.Category.Simplex
representData.Category.RepresentableFunctor
Representable 
1 (Type/Class)Data.Category.RepresentableFunctor
2 (Data Constructor)Data.Category.RepresentableFunctor
representedFunctorData.Category.RepresentableFunctor
representingObjectData.Category.RepresentableFunctor
rightAdjointData.Category.Adjunction
rightAdjointPreservesLimitsData.Category.Limit
rightAdjointPreservesLimitsInvData.Category.Limit
rightAdjunctData.Category.Adjunction
rightAdjunctNData.Category.Adjunction
rightUnitorData.Category.Monoidal
rightUnitorInvData.Category.Monoidal