Catégorie
Théorie des catégories
Séances de cours associées (166)
Théorie: Adjonctions
Explore la théorie des adjonctions, couvrant leur définition, leurs propriétés et leurs applications à travers des exemples et des exercices.
Conjoints de Functor Restriction
Couvre les joints du functeur de restriction dans la théorie de groupe.
Adjonctions: Quotients de trivial et d'application
Explore les adjonctions, mettant l'accent sur les cas quotients triviaux et d'application dans les functeurs, les orbites et les points fixes.
Torsion: Fonctionnalité de l'hom et séquences exactes
Explore le concept de torsion en théorie de groupe, en mettant l'accent sur sa functorialité Hom et son rôle dans les séquences exactes.
Existence de functors dérivés de gauche
Explore l'existence de foncteurs dérivés de gauche en algèbre homotopique, en se concentrant sur les conditions d'isomorphisme et les transformations naturelles.
Functeur trivial: Définition et propriétés
Couvre la définition et les propriétés du functeur trivial dans la théorie de catégorie.
Optimisation et modèles
Explore l'optimisation dans le code C ++, les idées algorithmiques, le profilage de code et la méta-programmation de modèles.
Quasi-catégories : Théorie alternative de l'homotopie
Présente les quasi-catégories comme une approche alternative à la définition des cartes et des catégories d'homotopie.
Théorie des catégories : transformations naturelles et adjonctions
Explore les transformations naturelles et les adjonctions dans la théorie des catégories, illustrant les concepts à travers des exemples concrets et discutant des conditions d'existence des adjoints.
Groupes abéliens libres et homomorphismes
Explore les groupes abeliens libres, les homomorphismes et les séquences exactes dans le contexte de différentes catégories.