|
|
|
|
|
||
|
||
すべて | 本 | BH | 女子 | 大学 | ヲタ | 理系 | PC | 変人 | 俳句 | 同人誌
2024-11-13
複圏〈オペラッド〉とプレ準同型射の圏
雑記／備忘
「論理や型理論の圏論的意味論 // 導出システムの圏と圏の圏」において、導出システム達を対象とする圏に触れました。しかし、導出システムのあいだの準同型射（それが圏の射となる）を素朴に考えていては、どうもうまくないようです。導出システムは、複圏…
複圏〈オペラッド〉とプレ準同型射の圏
シンギュラリティ教徒への論駁の書
読者になる
uneyama記録
読者になる
白のカピバラの逆極限 S.144-3
読者になる