Index - Y
| Yoneda | |
| 1 (Data Constructor) | Data.Category.NaturalTransformation |
| 2 (Type/Class) | Data.Category.NaturalTransformation |
| YonedaEmbedding | |
| 1 (Data Constructor) | Data.Category.NaturalTransformation |
| 2 (Type/Class) | Data.Category.NaturalTransformation |
data-category-0.3.1.1: Restricted categories