2019-08-20から1日間の記事一覧

代数系の関手モデル

[追記]今まで、記号/スタッフのアビタ(直接所属する圏)とアンビエント(アビタのアンダーライイング圏)を識別できてなかった気がする。[/追記][さらに追記]アビタはやめて「クラス」というありきたりの用語にした。「クラス」と「インスタンス」をペアで…

アビタとアビトン

紛らわしい! habitat 生息地 アビタ(仏) habitant 住人, 居住者 アビトン(仏) 住人はinhabitant(英語)でも同じだから、「インハビタント」を使う。 生息に関して habitat 生息地, 生息域 アビタ habitation 居住, 住所, 居住地, 集落 アビタシオン 居住に…

代数的ラダー

裏紙にテキトーに書いたから汚いのだが:(http://www.chimaira.org/img4/algebraic-ladder.png)いくつか間違っている: Σ3, Σ2, Σ1 は、3Σ, 2Σ, 1Σ 。 2C, 1C, 0C は、3A, 2A, 1A のほうが良かった。 下から、レイヤー1、レイヤー2、レイヤー3の代数的レイヤ…