…No.114410+自然変換が分からない |
…No.114411+>自然変換が分からない 関手の間の射だよね F, G: C -> D を圏Cから圏Dへの関手としたら 実際はDの対象間の射の族(η_A:F(A)->G(A))_{A∈object(D)}で自然性公理を満たす奴 関手が既に矢印なのにその矢印から矢印への矢印が定義されるってことに衝撃を受けた記憶 |
…No.114412+object(C)だったわ |
…No.114415+>>自然変換が分からない >関手の間の射だよね >F, G: C -> D を圏Cから圏Dへの関手としたら >実際はDの対象間の射の族(η_A:F(A)->G(A))_{A∈object(D)}で自然性公理を満たす奴 >関手が既に矢印なのにその矢印から矢印への矢印が定義されるってことに衝撃を受けた記憶 「手段の目的化」を論じる数理的手法に使えないか一時期考えてたことがあるが なんも思い浮かばなあった |
…No.114416+>「手段の目的化」を論じる数理的手法 気になる |
…No.114417+マルコフ圏というのを考えると確率論が測度とかのごちゃごちゃした議論無しにスッっと定式化されるらしい |
…No.114418+長年に渡って意味不明だったけどロボット工学の同次変換も圏論っぽいんじゃないかと考えたらちょっとお近づきになれた気がする |
…No.114419+線形空間の圏の部分圏かな |
…No.114420+>長年に渡って意味不明だったけどロボット工学の同次変換も圏論っぽいんじゃないかと考えたらちょっとお近づきになれた気がする ロボット工学はもっとふつうに解析力学→シンプレクティック幾何→圏論の抽象化方面だろ |
…No.114429+情報分野で使われてるイメージ 対象は型で射はある型からある型へ関数って圏を考えたり 対象が関数の出力した値で射はその値の近似度って圏を考えたり |
…No.114433+ 現代数学だと圏論というよりコホモロジー |