epsilon

落書き

2017-11-29から1日間の記事一覧

2-limit 2

2-limit in nLab 2-pullbackについて Kの1-cell f:A \to Cおよびg:B \to Cに対してそのpullbackとは、 0-cell A \times_C Bおよび1-cell p:A \times_C B \to A, q:A \times_C B \to B、2-cell \phi:fp \cong qgであって、以下の条件を満たすもの。 - 普通の…