Setsの抽象化って何ですか? Setsは特殊な圏ですか?