Начался научно-учебный семинар «Математическая Логика и Теория Категорий»

23 ноября прошел первый научно-учебный семинар «Математическая Логика и Теория Категорий». 

фото МЛ ЛогЛинФФ

Как прошел первый семинар и что будет дальше

23 ноября прошло первое заседание научно-учебного семинара «Математическая Логика и Теория Категорий». Оно было посвящено введению в теорию категорий. Были рассмотрены  понятия категории, функтора, а также даны различные теоретико-категорные формулировки групп, моноидов, частичных порядков. В конце семинара было также сформулировано понятие булевой алгебры и его связь с категорией множеств. На встрече присутствовало 12 человек очно и более 30 онлайн. Следующие семинары будут посвящены дальнейшему введению в теорию категорий и обсуждению примеров из логики и теории множеств.