search

emilyriehl / yoneda

comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
http://emilyriehl.github.io/yoneda/
60 stars 6 forks source link

Merge new format fixes #27

Closed jonweinb closed 1 year ago

jonweinb commented 1 year ago

Implemented as discussed in: https://github.com/emilyriehl/yoneda/pull/20 (Apologies for the earlier merging of the previous branch)

fredrik-bakke commented 1 year ago

I don't think there is any need for apologies! I'm glad you are embracing the new working format, and hope my comments can be of help. To be honest, I feel I should apologize for initiating changes and not following through on them yet.

jonweinb commented 1 year ago

No worries, thank you for working through it @fredrik-bakke!

emilyriehl commented 1 year ago

Yes @fredrik-bakke please enjoy your holidays and ignore us continuing to putter away. We agree and are grateful for the stylistic conventions you've introduced, and have things under control ;)

emilyriehl commented 1 year ago

This all looks basically fine to me. I'm going to merge now so I can pull these changes into the pull request that I currently have open.