GitHub repository: tetrapharmakon/yoneda-in-tongues
Primary language: TeX
Created: 2016-04-21T19:24:18Z
Description: Yoneda lemma in every known language