Séances de cours associées à Vérification universelle des biens dans le GC

Séances de cours associées (32)

Explore la vérification d'un functeur Lie en tant qu'adjoint gauche, avec des transformations naturelles satisfaisant les identités triangulaires et les isomorphismes.

Préservation des coproduits de l'articulation gauche

Explore comment les joints gauches préservent les coproduits en théorie de catégorie avec des preuves détaillées et des diagrammes de morphisme.