圏論?
/category/群の共役が自然変換になる
/category/自然変換
/category/数学的構造を持つ集合が作る圏の例
/mrsekut-p/極限の延長としての引き戻し
引き戻し
/mrsekut-p/{2,2,3,3}の部分集合の圏で直積と極限を見る
極限-Readerと極限
極限と随伴について
/mrsekut-p/極限の延長としてのイコライザ
/dragoon8192-main/モノイドの余直積について
epiが全射にならない例
プロ関手のコエンド同値関係 - 檜山正幸のキマイラ飼育記 (はてなBlog)
圏論の随伴をちゃんと抑えよう - 檜山正幸のキマイラ飼育記 (はてなBlog)
【VOCIEROID解説】圏論の入門書入門
【応用圏論】回路もフローチャートも数学で!図式と圏論のハナシ
超準自然数
超準解析入門の入門1 | 宇宙とブラックホールのQ&A
超準解析入門の入門2 | 宇宙とブラックホールのQ&A
超準解析入門の入門3 | 宇宙とブラックホールのQ&A
超準解析入門の入門4 | 宇宙とブラックホールのQ&A
omake monad functor applicative
https://github.com/WhiteCat6142/haskell-addict
#代数