(no subject)

[timelets]

I wonder whether the subobject classifier approach can be used to detect new developments in technology. For example, expressions like _horseless carriage_, _smarphone with no keyboard_, _driverless car_, _artificial intelligence_ indicate that the object in question doesn't belong to a boolean topos ( or is it a slice topos?).

Comments

[bamalip]

ВОпрос интересный, но готового ответа нет. Человек в неформальных рассуждениях пользуется логикой умолчания, когда карета обычно с конем, а автомобил обычно с водителем, но при этом легко можно вводить исключительные случаи, которые как бы противоречат типичному положению вещей. Работ по логике умолчания в категорном варианте я не видел.

[timelets]

Надо бы покопаться в вопросе. Я бы уточнил, что это не логика умолчания, а привычки. Карета без коня непривычна, но ее по привычке называют каретой, потому что не видят автомобиль, к которому привычки еще нет.

[bamalip]

Мне кажется, это явный пример вот этого https://web.stanford.edu/class/cs227/Lectures/lec10.pdf
но там без категорий

[timelets]

Спасибо, сейчас попробую разобраться.