Login / Signup

Closing the category of finitely presented functors under images made constructive.

Sebastian Posur
Published in: Compositionality (2020)
Keyphrases