具体圏
concrete category
具体圏$ (C,U) とは
圏$ C
忠実な忘却函手$ U\colon C → B
$ B\colon 基底圏
basis category
通常は $ B= \mathbf{Set}
の対
dragoon8192.icon
チェインさせるには名前がよくない……
Ref.iconConcrete category - Wikipedia