2019-12-19から1日間の記事一覧
前の記事の続き。後でひとつの記事にまとめるかも。 カーブに沿ったスライディング ΦX,A',Y( (X^□p);f ) = ΦX,A,Y(f);hom(p, Y) : X→hom(A', Y) 左辺のΦの内側： (X^□p);f : X□A'→Y = [ λ(x, a')∈X□A'.( f(x, p(a')) ∈Y) ALSO λ(x→x', a')∈X□A'.( f(x→x', p(…
前の記事の続き。後でひとつの記事にまとめるかも。 カーブに沿ったスライディング ΦX,A',Y( (X^□p);f ) = ΦX,A,Y(f);hom(p, Y) : X→hom(A', Y) 左辺のΦの内側： (X^□p);f : X□A'→Y = [ λ(x, a')∈X□A'.( f(x, p(a')) ∈Y) ALSO λ(x→x', a')∈X□A'.( f(x→x', p(…
