どうでもいいようなことではあるが； 2圏Catのハナシ。F:A→Bによる引き戻しF★:Cat(B, C)→Cat(A, C) を次のように定義する。 G:B→C に対して、F★(G) = F;G :A→C β::G→G':B→C に対して、(F★(β))_a = β_Fa::F;G→F;G':A→C G∈|Cat(B, C)|に対してF★G∈|Cat(A, C)|…

α::F→F':C→D, β::G→G':D→Eの横結合α*β:F;G→F';G':C→Eを絵に描いていみた。 (α*β)*γとα*(β*γ)を“側面”から見た図。結合律を示す目安になる。 実際に、この図を眺めて横結合*の結合律を示してみる。ただし、記号がかち合うことに気が付いたので： 圏：A, B, C,…