勉強会報告「”Category theory in context” 読書会 #1」
読書会 “Category theory in context” 読書会 #1 を開催したので報告。 この読書会は、圏論に関する最近公開された教科書 Category theory in cont… 続きを読む »
読書会 “Category theory in context” 読書会 #1 を開催したので報告。 この読書会は、圏論に関する最近公開された教科書 Category theory in cont… 続きを読む »