string diagram

category

2021-08-18

• 圏論の随伴をちゃんと抑えよう： お絵描き完全解説 - 檜山正幸のキマイラ飼育記 (はてなBlog)

• 圏の圏: Cat, 射が自然変換

• 次元を2という strict-2-category

• → 3, 4, … 無限次元に一般化(高次圏論) 圏論は具体的なのでクソ

• 2021-09-15 term string diagram, pasting diagram

  • 圏論をビジュアルに表現する（１）－ストリング・ダイアグラム - bitterharvest’s diary