konn / subcategories

Functors on subcategories induced by class constraints
BSD 3-Clause "New" or "Revised" License
8 stars 1 forks source link