小圏の圏
小さい圏の圏 Cat に ついて
Cat 自体は大きな圏
ref.
小さい圏の圏 - Wikipedia
小圏と位相圏に関する基本的な概念
#圏論