Normalization and the Yoneda Embedding

by Djordje Cubric, Peter Dybier, Philip Scott