Мои преподаватели геометрии в университете произносили имя Александра Даниловича с благоговением и трепетом. Профессор Александров был одним из выдающихся математиков XX века. За свою долгую научную карьеру он успех охватить множество вопросов из различных разделов математики...

The language of categories / Язык категорий POST 11 L Как мы выше писали, теория категорий - это набор инструментов для описания общих абстрактных структур в математике, которая фокусируется не на объектах x, y,…, а на отношениях ((гомо)морфизмах) между ними: x → y. Предполагается, что многие свойства математических систем можно представить просто н единообразно посредством диаграмм, состоящих из стрелок. Но прежде начнем с понятия универсума. 1. Логические основы теории Обычной практикой в математике является рассмотрение утверждений с участием «всех групп» или «всех топологических пространств» и т...