ХЛ
не, категории и топологические пространства это менее общие понятия
Категории то с чего?
Size: a a a
2020 June 25
ХЛ
На категориях множества можно построить же
A
категория это тоже множество, но там есть точки, есть стрелки и есть композиции стрелок
A
а на произвольном множестве этого всего может не быть
A
а вот класс это прям вот самое общее
PG
класс имеет смысл в отрыве от теории множеств?
A
я знаю только что если предположить, что всякий класс является множеством, то начинаются парадоксы
A
ну это в википедии написано
a
должно быть нечто, что является классом, но не является множеством
ХЛ
категория это тоже множество, но там есть точки, есть стрелки и есть композиции стрелок
Это если ты их построить на множествах пытаешься
ХЛ
Но они могут быть фундаментальным объектом, а множества на них сделать можно
A
ок
a
а интересно, почему
a
((lambda (x) (x x)) (lambda (x) (x x)))подвешивает репл guile,
a
((lambda (x) (lambda (y) (x x))) (lambda (x) (lambda (y) (x x))))выдает функцию
ХЛ
anton
((lambda (x) (x x)) (lambda (x) (x x)))подвешивает репл guile,
a
((lambda (x) (lambda (y) (x x))) (lambda (x) (lambda (y) (x x))))выдает функцию
Так как она возвращает (lambda (y) ((lambda (x) (lambda (y) (x x))) (lambda (x) (lambda (y) (x x))))))?
a
#<procedure 558e9d6eb3f8 at <unknown port>:7:13 (y)>
a
стоп, или это был ответ?
a
а, понял
PG
anton
((lambda (x) (x x)) (lambda (x) (x x)))подвешивает репл guile,
a
((lambda (x) (lambda (y) (x x))) (lambda (x) (lambda (y) (x x))))выдает функцию
потому что сверху жадная версия, а снизу ленивая
PG
y тут не используется, так что можно и без него