Двоїстість (теорія категорій)

Двоїстість у теорії категорій — співвідношення між властивостями категорії Шаблон:Math і так званими двоїстими властивостями двоїстої категорії Шаблон:Math. Взявши твердження щодо категорії Шаблон:Math і помінявши місцями образ і прообраз кожного морфізму, як і порядок застосування морфізмів, отримаємо двоїсте твердження, що стосується категорії Шаблон:Math. Принцип двоїстості полягає в тому, що дійсні твердження після такої операції переходять у дійсні, а хибні — в хибні.

Формальне визначення

Мова теорії категорій визначається як мова першого порядку з двома видами символів — об'єктами та морфізмами, з властивістю об'єкта бути образом або прообразом морфізму, а також із символом для композиції морфізмів.

Нехай Шаблон:Math — будь-яке слово мови. Двоїсте йому слово Шаблон:Math утворюється за такими правилами:

• поміняти місцями всі «образи» на «прообрази» Шаблон:Math,
• обернути порядок композиції морфізмів, тобто всі входження $g\circ f$ замінити на $f\circ g$.

Іншими словами, необхідно обернути всі стрілки та переставити аргументи всіх композицій.

Двоїстість — це спостереження, що Шаблон:Math виконується в деякій категорії Шаблон:Math тоді й лише тоді, коли Шаблон:Math виконано в Шаблон:Math.

Приклади

• Морфізм $f:A\to B$ — мономорфізм, коли з $f\circ g=f\circ h$ випливає $g=h$. Застосувавши операцію двоїстості, отримуємо твердження про те, що з $g\circ f=h\circ f$ випливає $g=h$. Для морфізму $f:B\to A$, це означає точно те, що Шаблон:Math — епіморфізм. Отже, властивість «бути мономорфізмом» двоїста властивості «бути епіморфізмом».
• Границя і кограниця — двоїсті поняття.
• Початковий об'єкт та термінальний об'єкт — двоїсті поняття.

Література

• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга