generated at
層
from 圏論

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