#hom-set bijection

1 topics

Formal Sciences And Logic

Adjoint FunctorsResearch