Теми рефератів
> Реферати > Курсові роботи > Звіти з практики > Курсові проекти > Питання та відповіді > Ессе > Доклади > Учбові матеріали > Контрольні роботи > Методички > Лекції > Твори > Підручники > Статті Контакти
Реферати, твори, дипломи, практика » Курсовые обзорные » Парні функтори

Реферат Парні функтори





Введення

зв'язаний функтор морфізм

Мета моєї курсової роботи розглянути основні поняття, теореми сполучених функторів. Я розповім про фундаментальну ідеї пари сполучених функторів. Це відбувається в багатьох, по суті еквівалентних формах, таких як універсальна конструкція, прямий і зворотний межі, пара функторів з природним изоморфизмом між відповідними множинами стрілок. br/>

Універсальні стрілки


Нехай U:? ? ? - Функтор. Універсальної стрілкою для B Ob? по відношенню до U називається пара (А,), що складається з об'єктів АOb? з морфізма? (В, U (A)), таких що для будь-яких об'єкта? Ob? і морфізма? : B? U (?) Існує єдиний морфізм? : А??, Задовольняє рівності U (?)? =?. Це властивість ілюструється за допомогою діаграми:


В 

Діаграма 1


Якщо існує відображення: Ob? ? Ob? і відображення, зіставляє кожному об'єкту універсальну стрілку У U (В), то відображення єдиним образом триває до функтора:? ? ?, Значення якого на кожному морфізм (ВВ) визначається як морфізм f: У? У, хто чинить комутативної діаграму:


В 

Діаграма 2

Межі діаграм


Нехай? категорія і нехай - мала категорія. Розглянемо функтор

:??, сопоставляющий кожному об'єкту А Ob? діаграму

А:? ?, Приймаючу постійні значення, рівні А на об'єктах, і: А? А - на морфізм. p> Універсальна стрілка для F стосовно називається копределом діаграми F. Вона складається з об'єкта, який позначається F, і природно перетворення q: F? F. Пара (А, r), що складається з об'єкта А і природного перетворення F? А, називається прямим конусом над діаграмою F.

Оскільки природне перетворення - це сімейство морфізм, то прямий конус буде задаватися парою (А,), що складається з об'єкта і сімейства морфізма: F (с)? А категорії?, Що роблять комутативними для всіх а, b і f (a, b) такі трикутники:


В 

Діаграма 3


Копредел можна визначити як прямий конус (F,), такий що для будь-якого іншого прямого конуса (А,) існує єдиний морфізм r: F? А, хто чинить для всіх комутативними трикутники:

В 

Діаграма 4


подвійності визначається межа діаграми. Зворотним конусом або просто конусом над діаграмою F називається об'єкт А? разом з сімейством морфізма: А? F (с), де, що роблять комутативними для всіх a, b і f (a, b) трикутники:


В 

Діаграма 5


Межею діаграми F називається такий конус (F,), що для будь-якого іншого конуса (А,) знайдеться єдиний морфізм r: А? , Що робить для всіх комутативними наступні трикутники:


В 

Діаграма 6


Визначення та властивості сполучених функторів...


сторінка 1 з 10 | Наступна сторінка





Схожі реферати:

  • Реферат на тему: Кругова діаграма прийняття рішень (павутинна діаграма)
  • Реферат на тему: Многочлен Жегалкина. Діаграма Ейлера-Венна. Властивості логічної функції ...
  • Реферат на тему: Діаграма стану Двокомпонентне сталева
  • Реферат на тему: Напівпровідникові мікросхеми. Векторна діаграма електричного кола. Однопо ...
  • Реферат на тему: Технічний метод контролю якості продукції. Діаграма Парето і Ісікава