チョー（超）とモドキ
チョー（超）なモノ - 檜山正幸のキマイラ飼育記 (はてなBlog)、モドキなモノ - 檜山正幸のキマイラ飼育記 (はてなBlog)を引き写しておく。
チョー（超）なモノ
ultra - ultracategoryはenrichmentとの関係で定義される。ultrametricとのアナロジーがあるようだ。
hyper - hypercategoryは、2-category, higher categoryの古い言い方らしい。今は使われてないみたい。
super - supercategoryはごく普通にsubcategoryと対になる言葉として使う。が、まれに符号{+, -}（2次対称群）が作用するような圏の意味で使うこともある。
super algebra（特にリー代数）はたまに見るね。
モドキなモノ
pseudo - pseudo-categoryはほとんど使われていないようだ。が、directed homotopyのGrandisが使っている：
quasi - quasi-category
- http://www.ima.umn.edu/talks/workshops/SP6.7-18.04/may/PorterMay.pdf
- http://citeseer.ist.psu.edu/671814.html
- http://citeseer.ist.psu.edu/mossakowski95hierarchy.html
局所的にも巨大な圏のこと？
pre - precategory
演算の定義が部分的でもよし、単位律は厳密に成立しているが、結合律がKleene等号の意味でしか成立してない。
他 - EhresmannのneocategoryとかHerrlichのsemicategoryとかもあるらしいが、調べてない。
