Searching protocol for "yoneda"
Directed Yoneda for proofs in type theory.
Category theory natural transformations
Cross-domain thinking via Category Theory.