2020-01-24から1日間の記事一覧

プリンタ 紙の補充

プリンタの紙入れがなんか具合が悪くなった。無理に引くと壊れそう。手前に引く前に、水平に左のほうにスライドさせる(押し付ける)感じで、スライド後に引くとよい。

4つの微分

次の記事で、 接微分と余接微分、射影関係式 - (新) 檜山正幸のキマイラ飼育記 メモ編 接微分 と余接微分 を紹介した。ちなみに、“TeXのスクリプト体=\mathscr=カリグラフィー体”でTを書いている。プロファイルは、 : Man→Φ-Mod-Sheaf-| Man→Φ-Mod-Sheaf|-…

デカルト・モノイド圏 (2)

考える素材に。不完全。 レベル 0 1 2 3 典型圏 10-Cat#0 21-Cat#1 22-Cat#2 23-Cat#3 別名 Set CAT CAT 一般圏 C 対象変数 A C 対象定数 1 I, Set I, CAT CAT 射変数 f F 射定数 !A , Δ, Π × 2-射変数 なし α, β 2-射定数 なし !, δ, π 実際に使う予定の記…