FiniteCategories-0.1.0.0: Finite categories and usual categorical constructions on them.

Index - Y

yonedaEmbeddingYonedaEmbedding.YonedaEmbedding