emilyriehl/yoneda
comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
Lean
Stargazers
- aaronallen8455H-E-B
- amirDublin, Ireland
- aradarbel10
- CYBAITokyo
- dannypsnl@second-state
- davidmiheevEarth
- diasbruno@Edools
- dpl0a
- ebigram
- EgbertRijkeJohns Hopkins University
- elpinal
- favoniaUniversity of Minnesota
- FencekeeperWebstep
- fizruk@InnopolisUniversity
- fncnt
- forked-from-1kasperMilky Way, Solar System, Earth
- fredrik-bakkeNTNU
- ixaxaar@google
- jaycech3nUniversity of Nottingham
- jonsterlingUniversity of Cambridge
- jreina@ShittyLabs
- L-TChenInstitute of Information Science, Academia Sinica
- linsykingUniversity of Michigan
- louayfarah
- maxfer1221Orlando, FL
- maxsnewUniversity of Michigan CSE
- nikitavoloboevMadrid
- relrodRed Hat, Inc.
- RuslansAleksejevsBerkeley, CA
- shparkSeoul, Korea
- svishnusAnn Arbor, MI
- tkersey@thisisartium
- Trebor-HuangInternal cat of a doughnut
- velveteerH-E-B
- wolverian@reaktor
- YiqiXu