-
{圏の圏 -> 圏の圏}というやばい函手について
2959pv 6 -
圏論の本についてのFAQ+α+β
36951pv 67 7 users 1 -
佐藤桂「対数の存在について」
8618pv 12 1 user 2
-
モナド基礎勉強会 vol.2 #monadBase
7175pv 27 12 users -
CCCと直和がどうのこうの
2311pv 9 -
2014年末、Hakellや圏論の会話やつぶやき
1473pv 2 1 user -
ちゅーんさんがF代数頑張る!!
2245pv 10 -
HaskellのFunctor
1733pv 7 3 users -
随伴とカリー化とStateモナド
2874pv 6 1 user -
mathink氏とぱぶりさんの圏論カウンセリング
1079pv 6 -
圏論圏に住むmathink先生と圏論線上のぱぶり
2026pv 9 1 user -
ちゅーんさんがみょんさんにyoneda functorを教わるTL
7879pv 13 -
開被覆を添え字付き集合族で定義するという話から、到達不可能基数の利用とか
3023pv 11 2 users -
自己関手の圏におけるモノイド対象
10419pv 11 4 users 4 -
恒等モナドと一般のモナド
2958pv 12 1 user 3 -
#kenron 圏論勉強会 第6回 まとめ
2411pv 1 -
#kenron 圏論勉強会 第5回 まとめ
2758pv 4 -
#kenron 圏論勉強会 第4回 まとめ
2523pv 2 -
#kenron 圏論勉強会 第3回 まとめ
4780pv 3 -
#kenron 圏論勉強会 第2回 まとめ
6817pv 19 3 -
第二回圏論勉強会の予習
1870pv 9 3 users -
#kenron 圏論勉強会 第1回 まとめ
10786pv 34 5 users 2 -
みょんぽよSOUL
1260pv 11 1 user -
圏論とかモナドは簡単か
7706pv 14 4 users 2 -
まとめ主がひたすら圏論入門するTL
6367pv 3 3 users