Dimitris Papadimitriou·Follow1 min read·Jan 14, 2020--Share(□ → T) → TThe n-Category CaféPosted by John Baez Guest post by Mike Stay The Yoneda embedding is familiar in category theory. The continuation…golem.ph.utexas.edunLab continuation-passing styleIn the theory of programming languages, the idea that procedures may be modelled as mathematical functions is useful…ncatlab.org
