具体圏
concrete category
とある(圏, 関手)
組$ (\mathscr{A}, U)のこと
圏$ \mathscr{A}
忠実関手$ U:\mathscr{A}\to\mathrm{Set}
https://en.wikipedia.org/wiki/Concrete_category