https://m-hiyama-memo.hatenablog.jp/search?q=graphviz Graphvizの属性 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 コマンドでお絵描き - (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/search?q=gv%3Anode

関手インスティチューションと様々な圏 - (新) 檜山正幸のキマイラ飼育記 メモ編 のセッティングで話をする。Sをグラフ（あるいはコンピュータッド）と見た指標の圏で、射はプレーンな（モナドで拡張してない）射とする。Sはアンビエント圏への埋め込み J:S→…

次の概念が識別されてないと曖昧模糊になる。 具象圏のベース圏 モデルの圏（関手圏）のターゲット圏〈モデルのアビタベース〉 関手インスティチューション〈functorial institution〉のアンビエント圏〈ターゲット圏のアビタ〉 相対モナド（言語モナド）の…

CがB上の具象圏〈concrete category〉であるとき、Bはベース圏〈base category〉、具象構造を構成している関手 U:B→B をベーシング関手〈basing functor〉と呼ぶことにする。忘却関手と呼ぶのをやめる！U:C→B, V:B→A が2つの具象圏のとき、ベーシング関手を…

セオリー論 その他 指標 インターフェイス インハビタント インスタンス、構造、モデル、代数 アビタ クラス、型クラス、モデル・代数の圏 アビタベース クラスのベースクラス、モデルのターゲット圏 全体構造はインスティチューションのなかでしか理解でき…

比較的短期間で使い捨てになりそうな機械だが、とりあえずセットアップ。過去のPCセットアップやインストールの記録は次のURL: https://m-hiyama-memo.hatenablog.jp/archive/category/pc-setup https://m-hiyama-memo.hatenablog.jp/archive/category/%E3%8…

<hr> なんとかかんとか。 このように、hrタグと次の行をひっ付けると余分な空行が入る。 <hr> なんとかかんとか。 ソースで空行をあけると、表示では空行が付かないでくっついて見える。以前との互換性はない。ソースでくっついていても空行は付かなかったから。</hr></hr>

写像柱の類似として関手柱を定義しして、左右の拡張を関手柱圏からの関手とみる。 https://en.wikipedia.org/wiki/Mapping_cylinder https://ncatlab.org/nlab/show/mapping+cylinder *1*2 *1:記事： https://link.springer.com/article/10.1007/s00454-013-…

All Concepts are Kan Extensions

カン拡張のために、柱の絵を描く - 檜山正幸のキマイラ飼育記 (はてなBlog) で出てくる“柱の圏”CylFは、次のように書ける。 [Cyl(K:C→D), E]/(F:C→E) Cyl(-)は、関手から関手柱圏を構成する構成法で、Fは関手柱圏の部分圏とみた底面圏からの関手。上の表現は…

スピヴァック本だと、左右が使われている。 左錐 ＝ 錐 右錐 ＝ 余錐 関手レベルではなくて、圏レベルで錐を構成する。 C◁ ： Cの左錐＝Cを底面とする錐、三角が左向き C▷ ： Cの右錐＝Cを底面とする余錐、三角が右向き 左右とも頂点を cone point〈錐点〉と…

論理的に100%同値ではないが、相互に置き換えてもいい命題を表すために、'' を使う。 a∈X a:1→X in Set A∈|C|, C A:☆→C in CAT f:A→B in C f::A⇒B:☆→C in CAT 左が集合論的、右が圏論的な発想だといってよい。圏論的な発想では、要素や対象がなくても話は進…

声の役割が重要。滑舌・発声に気をつける、練習する。演劇役者／声優的なスキル。 身振り手振りとか、フリップ（スケッチブックや小さなサイズのホワイトボードの利用）は意外に効果がない。 やはり共有ホワイトボードが欲しい。

https://news.livedoor.com/article/detail/18167498/ まとめると： 遅延や操作ミスなどの細かい違和感の積み重ね モード（e.g. 仕事／プライベート）を変えにくい アイコンタクトが取れない 複数人が並列配置される状況（現実には起こりえない） 新型コロナ…

この記事の内容はない。

デジタルデータがもうなくて、紙に印刷した絵だけ残っていたからスキャンした。いつ頃かは分からない。2013リリースのブログシステムhugoの分類システム〈taxonomy system〉がこんな感じだった気がする。画像

3月28日記事 誤訳だろうが定着すれば立派な日本語 - 檜山正幸のキマイラ飼育記 (はてなBlog) にて： ちなみにに、僕は新型コロナ禍には悲観的（より正確には反楽観的）想定をしていて、「この夜はなかなか明けないだろう」と思っています。 「何ヶ月」とかで…

E3 はR3と同型なアフィン空間で、大域座標を持つ多様体。内積も持つのでリーマン多様体。座標は、内積を保存する大域線形座標を使うが、それでも座標の選び方は多様性がある。 ユークリッド座標： E3→R3 ユークリッド・ホロノーム座標： TE3→R3×R3 ユークリ…

関数やセクションに関して、次の言葉を使う。 一点 p で…… 一点 p の周りで…… 一点 p の近傍で…… 一点 p の無限小近傍で…… 各点〈すべての点〉で…… 各点〈すべての点〉の周りで…… 各点〈すべての点〉の近傍で…… 各点〈すべての点〉の無限小近傍で…… 局所的に…

Haskell演算には、加減乗除（+, -, *, /）、累乗（整数の^と実数の**）、余り mod がある。これを例とする。 中置→前置変換 (+) 3 2 、(-) 3 2 前置→後置変換 10 `mod` 3 、 10 `div` 3 セクション記法 (^2) 、 (2^) 、(*3) 例外 (-2) は -2 のこと。部分適…

BIG3 = squat, bench press, deadlift BIG3 = category, functor, natural transformation

多様体Mと任意の部分集合S（空でもよいし、Mでもよい）のペア (M, S) を染み付き多様体〈stained manifold〉と呼ぶ。(M, S), (N, T) を2つの染み付き多様体として、fはS上のN値ジャームとする。S⊆U⊆openM であるUからの局所写像 U→N の同値類がジャーム。ジ…

スタッフ〈stuff〉はモノ〈thing〉とか構成素〈constituent〉と同じ。構造は、スタッフと性質からなる。性質は公理で定義される。性質を持つ⇔公理を満たす、性質を持つ⇔定理を満たす。公理は条件〈condition〉制約〈constraint | 拘束〉ともいう。忘却関手は…

多様体MのRkファイバーの自明バンドルに対して、任意の開集合上で共変微分が定義できる。その共変微分を"D"という記号で表すとして、それの定義を半形式的に、例えば次のように書く。 定義は、Definition of から End まで。 implicit で暗黙の引数〈パラメ…

エンジニアが成果アピールで意識すると良い4つの観点 – PSYENCE:MEDIA イマイチな感じ。問題と解法と立ち位置に分ければいいような。 問題・課題・ターゲット：その問題は解くにあたいするか？ 価値、意義、重要度、難易度、影響・貢献、応用 解法・アプロー…

さまざまな関手／オペレータと微分の表示 - 檜山正幸のキマイラ飼育記 (はてなBlog)のまとめ＋α。6番から先が追加。 インターベース・バンドル射←→BaseFibベア・バンドル射 イントラベース・バンドル射→加群射 イントラベース・バンドル射←→セクション 関数…