{圏の圏 -> 圏の圏}というやばい函手について

こいつはやべえ、頭が完全に宇宙をエクスポートしそうだぜぇ。(？？？)
0
前へ 1 2
tomo🐧@learning @cocoatomo

@public_ai000ya 「圏の圏から圏の圏への函手」は自然変換ですよ. さっきまで射と思っていたものを対象と思う, というメタ化していく操作はいくらでも続けられます. 高次圏という概念があって圏の圏を2-圏と呼びます. > ja.wikipedia.org/wiki/%E5%9C%8F…

2016-03-18 22:52:56
tomo🐧@learning @cocoatomo

@public_ai000ya 高次圏については私も分かってないので, いったん適当に流しますw とりあえず「自然変換も圏の射として見れるよ」というのが言いたいことでした.

2016-03-18 22:54:44
前へ 1 2

いま話題のタグ

クマ206 平安時代180 ダンジョン飯127 デザイン4747 ポケモン1921 海外2807 トイアンナ12 猫6075 海上自衛隊294 アーマード・コア122 自民党2572 優しさ80 グルメ12632 経済10815 シティーハンター86