2019-09-11から1日間の記事一覧

ニョロニョロ線形代数

圏論の随伴とメイト理論を使った線形代数。双対性はコンパクト閉圏のなかで定式化する。背後には2-圏論。 線形代数 メイト理論 ベクトル空間 関手 双対空間ペア 随伴関手ペア 双対パートナー空間 随伴パートナー関手 余評価 単位 評価 余単位 双対メイト 随…

微分幾何用線形代数

呼び名: Vk の要素 = ベクトル横k-タプル (V*)k の要素 = コベクトル縦k-タプル Rk の要素 = スカラー縦k-タプル Rk の要素 = スカラー横k-タプル 積=双線形写像 を定義する。dim(V) = n で、k は任意の自然数 Vk × Rk →V k-スパニング (V*)k × V →Rk …

キーワード無し構文の気休め語いろいろ

気休め語〈consolation word〉で印象が変わる、という大問題。逆に、気休め語を分析する。 キーワード無し構文 - (新) 檜山正幸のキマイラ飼育記 メモ編 列挙。随時追加予定。 オフィシャル構文 気休め語 1-σ signature, class, typeclass, specification, i…