epsilon

落書き

2018-03-17から1日間の記事一覧

derivateur 2

http://ambp.cedram.org/cedram-bin/article/AMBP_2003__10_2_195_0.pdf diagramのなす2-categry DiaとはCatのfull sub 2-catで D0: 空、1点、{0 \to 1}はDiaに含まれる D1: 有限和とファイバー積で閉じる D2 u:A \to B in Diaとb \in BについてA/bとb\AはDi…