Sublime

Interesting, 'A Functorial Excursion Between Algebraic Geometry and Linear Logic', by @pamellies, https://t.co/hgjK9sct9K: "the guiding idea here is that linear logic should be seen as the logic of generalised vector bundles, in the same way as Martin-Löf type theory ...

@lgrammel Went a bit overboard and did you a personal YouTube video, enjoy https://t.co/PR5ZVb9JZe https://t.co/w4hbhNFIXe