Bio
Papers
Talks
News
Experience

Tags

Category theory 1 Fibrations 1 Grothendieck construction 1 Linear logic 1 Polycategories 1

© 2024 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.