Yoneda Lemma in Double Categories (bartoszmilewski.com)

<a href="https://news.ycombinator.com/item?id=49697035">Comments</a>