Функтор обратного изображения

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

  • Функтор — это отображение между категориями, сохраняющее структуру. 
  • Функтор может быть точным или левым сопряженным. 
  • Обратный функтор может быть определен для некоторых функторов, но не всегда. 

• Примеры функторов

  • Отображение между множествами и множествами функций является функтором. 
  • Отображение между группами и группами гомоморфизмов также является функтором. 

• Свойства обратного функтора

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

• Морфизмы и естественное соответствие присоединения

  • Существуют естественные морфизмы между обратным изображением и прямым изображением исходного функтора. 
  • Эти морфизмы не всегда являются изоморфизмами. 

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

  • Приведены рекомендации по форматированию цитат и библиографических описаний в HTML.