наверное нужно брать что-то свое
Не проверял, но кажется в качестве S можно брать любую полную категорию (не зависящую от C), причем C совсем произвольна. Смысл в том, что тогда никаких множеств нет, есть только категории.

причем тут благо
После марксистко-ленинской философии у меня идиосинкразия ко многим филосовским терминам (особый ужас вызывают "труды" Гегеля). А если у чего-то есть (хотя бы приблизительная) категорная интерпретация, то оно вроде как приобретает смысл, что и есть благо.

(Reply to this) (Parent)