非決定性オートマトンの圏論的由来
topos_Kan_ext-2.pdf
順序集合で遊ぶKan拡張
Quotient_Topoi-8.pdf
FreeMonoidOfMatrices.pdf
第4回Birgitゼミ interval object 前半.pdf
第7回Birgitゼミ Dold-Kan Correspondence .pdf
Hyperquotients of Presheaf Topoi.pdf
Abstract definition of Ξ.pdf
Internal Description of Hyperconnected Geometric Morphisms.pdf
ToyExample1.pdf
Introduction_to_Kan_extensions_with_posets_2-2_2021_11_19.pdf
石の問題.pdf