Post #2510878
2026-05-09 12:58 UTC
@matematiflo@mathstodon.xyz @de_Jong_Tom@mathstodon.xyz @mevenlennonbertrand@lipn.info This looks cool. Do you know how much background will be assumed for Felix Cherubini's synthetic algebraic geometry course? Can I expect to be able to follow, as someone who's familiar with homotopy type theory but not as much as I would like with its semantics, and who knows a few basic facts of algebraic geometry at the level of varieties but doesn't know a thing about schemes?
Replies (1)
-
@matematiflo@mathstodon.xyz 2026-05-09 13:05
@jeanas@mathstodon.xyz Oh, absolutely! You already have a strong background in type theory, so I am not worried at all :) Hope to see you there! @de_Jong_Tom@mathstodon.xyz @mevenlennonbertrand@lipn.info