#lax colimit

1 topics

Formal Sciences And Logic

The Grothendieck ConstructionResearch