T topos.site Polynomial Functors: A Mathematical Theory of Interaction [pdf] 49 points solomonb 3 years ago 36 comments
