具体圏(C,U)とは

圏C

忠実な忘却函手U\colon C → B

B\colon基底圏

通常は B= \mathbf{Set}

の対

チェインさせるには名前がよくない……