Index - Y
| Y | |
| 1 (Data Constructor) | Data.Category.Simplex |
| 2 (Data Constructor) | Data.Category.Cube |
| 3 (Type/Class) | Data.Category.Enriched |
| 4 (Data Constructor) | Data.Category.Enriched |
| Yoneda | |
| 1 (Type/Class) | Data.Category.Yoneda |
| 2 (Data Constructor) | Data.Category.Yoneda |
| yoneda | Data.Category.Enriched |
| YonedaEmbedding | |
| 1 (Type/Class) | Data.Category.Yoneda |
| 2 (Data Constructor) | Data.Category.Yoneda |
| yonedaInv | Data.Category.Enriched |