Недискретная категория

Оглавление1 Отдельная категория1.1 Определение дискретной категории1.2 Эквивалентность дискретных категорий1.3 Сопряженность функторов1.4 Призыв к расширению статьи1.5 Полный текст статьи:2 Недискретная категория […]

Отдельная категория

  • Определение дискретной категории

    • Дискретная категория – это категория с одним морфизмом между любыми двумя объектами. 
    • Каждая непустая категория порождает отдельную дискретную категорию с элементами X в качестве объектов. 
  • Эквивалентность дискретных категорий

    • Две непустые дискретные категории эквивалентны. 
  • Сопряженность функторов

    • Функтор из Set в Cat, сопоставляющий набор с соответствующей дискретной категорией, сопряжен с функтором, сопоставляющим небольшую категорию с ее набором объектов. 
  • Призыв к расширению статьи

    • Статья является заглушкой и нуждается в расширении для Википедии. 

Полный текст статьи:

Недискретная категория

Оставьте комментарий

Прокрутить вверх