Wiki. “俯范畴” [俯范畴]

定义

…

俯范畴是逗号范畴的一种.