Commit graph

2 commits

Author SHA1 Message Date
159805ad0a began yoneda chapter 2022-11-04 11:53:28 +01:00
8608077522 mehr Beispiele zu Adjunktion 2022-11-02 12:36:41 +01:00