Index - R
| represent | Data.Category.NaturalTransformation |
| Representable | Data.Category.NaturalTransformation |
| RepresentingObject | Data.Category.NaturalTransformation |
| rightAdjoint | Data.Category.Adjunction |
| rightAdjunct | Data.Category.Adjunction |
| rightUnitor | Data.Category.Monoidal |
| rightUnitorInv | Data.Category.Monoidal |