サポート時間： 日曜から金曜 午前10時から午後6時 メール： service@xp-pen.com

実体〈entity | thing | stuff〉に対して、そのアビタ（直接的）とアビタベース（間接的）の区別がついてなかったのではないか？ アビタは型インスタンスの型クラスと言っていいが、アビタベースはベース型クラスとは違う概念。 アビタベース＝“指標のターゲ…

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つの具象圏のとき、ベーシング関手を…