I’m reading the Youtube description and it scares me a little that I actually understand what he’s saying here: I’d puzzled my way through “hey what’s the SMALLEST ‘thingie’ in mathematics” and when came onto bundles then fibers and then I couldn’t go any more because they were busy ‘ANNEALING and doing this trick where they WELD TOGETHER in a structure that seems functionally similar to that trick used to make y-combinators in lamdba calculus but is _really_ a kind of sneaky ‘fuzzifying’ (almost inevitable to at _some point_ allow for the law of the excluded middle to be breached by a ~ somewhere) – I’d