②の絵で、天井（円柱の上の面）は要らんかった。 二角形の天井面に沿って、手前の半円矢印を奥側に移動する。 奥側の緑の側面（四角形、円柱の側面の奥の半分）に沿って、天井半円＋縦線・矢印を南西対角方向に移動して、縦線＋床半円・矢印にする。 二角形…

要約 2020-05-06 - (2nd) 檜山正幸のキマイラ飼育記 x.f = f(x) と x;f = fx の使い分けが難しくなるが、そもそもが使い分ける必要がないものなので、どっちを使ってもかまわない。気にすることはない。 集合論では、所属関係（記号'∈'）と要素概念が基本。…

“圏の圏”は2-圏の事例と考えよう。 対象＝ポインティング関手、射＝ポインティング関手のあいだの自然変換、と考えよう。 各種の適用〈application | evaluation〉、射の結合、関手の結合、関手・自然変換のヒゲ結合、自然変換・自然変換の縦結合、自然変換…

ステートメント α::F⇒G:C→D is-natural-iso ⇔ ∀(A in C).( αA is-iso in D ) 主要な概念・命題 α::F⇒G:C→D is-iso within Cat(C, D) in Cat ∃(β::G⇒F:C→D within Cat(C, D)).α;β = IDF ∧ β;α = IDG within Cat(C, D) in Cat α;β = IDF in Cat(C, D) ⇔ ∀(A in…