data-category-0.10: Category theory

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
yonedaData.Category.Enriched
YonedaEmbedding 
1 (Type/Class)Data.Category.Yoneda
2 (Data Constructor)Data.Category.Yoneda
yonedaInvData.Category.Enriched