小さい圏の圏
↑ 高次圏論において、これとは異なる意味で (∞-圏のモデルとして) quasicategory(英語版) という語が用いられるが、それと混同してはならない
↑ CAT in nLab などを見よ