Adjonction 1: foncteurs adjoints

HENOSOPHIA Τοποσοφια μαθεσις uni√ersalis οντοποσοφια

L’adjonction est une notion générale qui trouve son cadre dans les 2-catégories, mais commençons par la définition d’une paire de foncteurs adjoints.

Voir le cours suivant page 29-30

http://www.pps.univ-paris-diderot.fr/~mellies/slides/ed-cours-2.pdf

Soient deux catégories C et D (la notation du texte est malheureuse parce qu’on peut confondre les objets avec les catégories donc j’appelle les objets À et B comme dans le lien, mais les catégories C et C) et deux foncteurs L et R en sens inverse:

L : C ————-> D

R : D ————-> C

Soit A un objet de la catégorie C et B un objet de D : alors l’objet LA est l’objet de la catégorie D correspondant à A par le foncteurs L et RB est l’objet de la catégorie C correspondant à B par le foncteurs R.

Dans la catégorie C on peut considérer la collection (qui est un ensemble) des flèches entre les deux…

View original post 996 mots de plus

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s