Passer au contenu principal
Graph
Search
fr
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Concept
Équivalence de catégories
Science formelle
Mathématiques
Algèbre
Théorie des catégories
Graph Chatbot
Séances de cours associées (32)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 3 sur 4
Suivant
Groupes et nombres: Éléments mathématiques sur les groupes
Explore les propriétés fondamentales des groupes et des nombres, en mettant l'accent sur les classes d'équivalence et les concepts de sous-groupe.
Isomorphisme dans les catégories
Couvre le concept d'isomorphisme dans les catégories, définissant les morphismes avec des inverses et explorant les automorphismes et les groupoïdes.
Introduction à la théorie des catégories : équivalence des catégories
Couvre la définition de l'équivalence des catégories à l'aide de transformations naturelles et fournit des exemples concrets.
Théorie de groupe: Vérification
Couvre la vérification des constructions dans le contexte des groupes abeliens et des sous-groupes Sylow.
Limites et limites : Exemples concrets
Explore des exemples concrets de limites et de co-limites dans les functeurs et les différentes catégories.
Adjonctions : Construire des joints désirés
Explore la construction des joints souhaités dans des catégories spécifiques comme Set.
Classes de produits cartésiens et d'équivalence
Couvre le produit cartésien d'ensembles et de relations binaires avec des exemples détaillés et des représentations graphiques.
Apprentissage actif: Produits et catégories
Discute des propriétés des produits dans les catégories et de leur relation avec les catégories petites et arbitraires.
Théorie de la catégorie: Introduction
Examine le concept de la théorie des catégories, en fournissant des exemples et en discutant du concept de catégorie opposée.
Estimation des arbres non étiquetés
Explore l'estimation des arbres non marqués et leur reconstruction unique à partir de séquences.