...and compiler optimizations as natural transformations somehow? There's not enough left for me to figure out what I'd been thinking.
@mathpunk @ClarissaAdjoint just rudimentary stuff about presheaves. I don't want to think about fibrations just yet! Eeeeeeeek!
-
-
@graveolens@mathpunk it's not that scary, I promise!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.