-
{圏の圏 -> 圏の圏}というやばい函手について
2950pv 6 -
圏論の本についてのFAQ+α+β
36836pv 67 7 users 1 -
佐藤桂「対数の存在について」
8593pv 12 1 user 2
-
モナド基礎勉強会 vol.2 #monadBase
7137pv 27 12 users -
CCCと直和がどうのこうの
2305pv 9 -
2014年末、Hakellや圏論の会話やつぶやき
1459pv 2 1 user -
ちゅーんさんがF代数頑張る!!
2241pv 10 -
HaskellのFunctor
1730pv 7 3 users -
随伴とカリー化とStateモナド
2868pv 6 1 user -
mathink氏とぱぶりさんの圏論カウンセリング
1079pv 6 -
圏論圏に住むmathink先生と圏論線上のぱぶり
2022pv 9 1 user -
ちゅーんさんがみょんさんにyoneda functorを教わるTL
7849pv 13 -
開被覆を添え字付き集合族で定義するという話から、到達不可能基数の利用とか
2995pv 11 2 users -
自己関手の圏におけるモノイド対象
10388pv 11 4 users 4 -
恒等モナドと一般のモナド
2954pv 12 1 user 3 -
#kenron 圏論勉強会 第6回 まとめ
2404pv 1 -
#kenron 圏論勉強会 第5回 まとめ
2753pv 4 -
#kenron 圏論勉強会 第4回 まとめ
2517pv 2 -
#kenron 圏論勉強会 第3回 まとめ
4776pv 3 -
#kenron 圏論勉強会 第2回 まとめ
6809pv 19 3 -
第二回圏論勉強会の予習
1862pv 9 3 users -
#kenron 圏論勉強会 第1回 まとめ
10765pv 34 5 users 2 -
みょんぽよSOUL
1257pv 11 1 user -
圏論とかモナドは簡単か
7696pv 14 4 users 2 -
まとめ主がひたすら圏論入門するTL
6357pv 3 3 users