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

Отдельная категория Определение дискретной категории Дискретная категория — это категория с одним морфизмом между любыми двумя объектами.  Каждая непустая категория […]

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

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

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

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

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

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

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

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

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

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