The Continuation Passing Transform and the Yoneda Embedding | The n-Category Café

The Continuation Passing Transform and the Yoneda Embedding Posted by John Baez Guest post by Mike Stay The Yoneda embedding is familiar in category theory. The continuation passing transform is familiar in computer programming. They’re the same thing! Why doesn’t anyone ever say so? Assume A and B are types; the continuation passing transform takes a function (here I’m using C++ notation) B f(A a