2017-11-23から1日間の記事一覧
pseudofunctor in nLab bicategory C, Dの間のpseudofunctor Pとは - 0-cellの対応x \mapsto P_x - 関手P_{x,y}:C(x,y) to D(P_x, P_y) - 0-cell xに対して可逆な2-cell P_{1_x}:id_{P_x} \to P_{x,x}(1_x) - 0-cell x, y, zに対してf:x \to yとg:y \to zに…
pseudofunctor in nLab bicategory C, Dの間のpseudofunctor Pとは - 0-cellの対応x \mapsto P_x - 関手P_{x,y}:C(x,y) to D(P_x, P_y) - 0-cell xに対して可逆な2-cell P_{1_x}:id_{P_x} \to P_{x,x}(1_x) - 0-cell x, y, zに対してf:x \to yとg:y \to zに…