このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

［参照用 記事］

モドキなモノ

檜山用メモ

pseudo - pseudo-categoryはほとんど使われていないようだ。が、directed homotopyのGrandisが使っている：

quasi - quasi-category

局所的にも巨大な圏のこと？

pre - precategory

演算の定義が部分的でもよし、単位律は厳密に成立しているが、結合律がKleene等号の意味でしか成立してない。

他 - EhresmannのneocategoryとかHerrlichのsemicategoryとかもあるらしいが、調べてない。