Сито (теория категорий)
-
Определение сита
- Сито в теории категорий — это способ выбора стрелок с общей кодовой областью.
- Сито является категориальным аналогом открытых подмножеств в топологии.
-
Отвод сит назад
- Операция отвода сит назад позволяет получить новое сито, умноженное на стрелку.
- Существует несколько эквивалентных способов определения отвода сит назад.
-
Свойства сит
- Сито на объекте c является частично упорядоченным множеством, где объединение и пересечение сит также являются ситами.
- Топология Гротендика состоит из сит с определенными свойствами, называемых закрывающими.
-
Рекомендации
- В статье приведены рекомендации по форматированию библиографических описаний в HTML.