あと
Setを君のいう意味で使っているのってどこかで読める？本？
圏論ではObが集合の場合をsmall categoryと言うからその線？