ultra - ultracategoryはenrichmentとの関係で定義される。ultrametricとのアナロジーがあるようだ。
hyper - hypercategoryは、2-category, higher categoryの古い言い方らしい。今は使われてないみたい。
super - supercategoryはごく普通にsubcategoryと対になる言葉として使う。が、まれに符号{+, -}（2次対称群）が作用するような圏の意味で使うこともある。
super algebra（特にリー代数）はたまに見るね。
