Настроение:

calm

переждём
В связи с предыдущим постом я разработал некоторый план, а именно: не буду ложиться спать, сделаю пока что всякие разные листочки, которые нужно сдать на этой неделе, съезжу на матфак, потом приеду и лягу спать (до 18:00), а встану уже как получится, но думаю, что весьма рано. Сейчас как раз пообедал (если так можно сказать), так что сил должно хватить, да и спать совсем не хочется.
Недавно, кстати, вспомнил вопрос, над которым я некоторое время думал на первом курсе. Вопрос звучит так: хорошо известно, что в категории множеств работает принцип Кантора-Бернштейна, то есть наличие двух монострелок влечёт изоморфизм. При этом хорошо известно, что этот принцип много где не работает, например, в категории групп (скажем, для свободных групп с двумя образующими и со счетным множеством образующих), в категории топологических пространств (скажем, взять круг и окружность, внутри которой есть круг) и т.д., собственно, вопрос в том, есть ли какие-нибудь разумные необходимые и достаточные условия для выполнения этого принципа?