層 - mrsekut-p

層

sheaf

空間の形を代数的に計算するための仕組み

局所的な性質と大域的な性質の関係を圏論的に表現するフレームワーク ref

関数とその定義域の組の集り

層はモナドの一般化

ある特別な性質をもった前層

http://tsujimotter.hatenablog.com/entry/morphism-of-sheafs-and-natural-transformation

DB

Copが型で、Setsがデータ

キーワード

表現可能関手

モノイダル圏

http://cympfh.cc/aiura/sheafification.html

http://cympfh.cc/aiura/sheaf-eval.html

http://ziphil.com/diary/mathematics/26.html

http://ziphil.com/diary/mathematics/27.html

http://ziphil.com/diary/mathematics/28.html

http://ziphil.com/diary/mathematics/29.html

http://ziphil.com/diary/mathematics/30.html