Классификатор подобъектов

• Определение классификатора подобъектов

  • Классификатор подобъектов — это морфизм, который отображает объект в классификатор. 
  • Классификатор подобъектов является изоморфизмом в теории категорий. 

• Примеры классификаторов

  • В категории множеств классификатором является множество всех подмножеств. 
  • В категории пучков множеств классификатором является множество открытых подмножеств. 
  • Элементарные топосы имеют классификатор, который отображает объект в множество всех подмножеств мощности. 

• Связанные понятия

  • У квазитопоса есть объект, который классифицирует только сильные подобъекты. 

• Рекомендации по оформлению

  • В статье приведены рекомендации по форматированию библиографических описаний и использованию различных элементов CSS.