generated at
2/17/2025, 7:15:23 AM
具体圏
concrete category
とある
(圏, 関手)
組
(\mathscr{A}, U)
のこと
圏
\mathscr{A}
忠実関手
U:\mathscr{A}\to\mathrm{Set}
https://en.wikipedia.org/wiki/Concrete_category