Catégorie:Théorie des catégories

• 2-catégorie
• Catégorie concrète
• Catégorie préabélienne
• Théorie des catégories

∞

• ∞-catégorie stable

A

• Abstract nonsense
• Adjonction ⊗-Hom
• Algèbre de Hopf
• Anneau d'Ore
• Automorphisme

B

• Jean Bénabou

C

• Carquois (théorie des catégories)
• Catégorie *-autonome
• Catégorie à involution
• Catégorie abélienne
• Catégorie additive
• Catégorie cartésienne
• Catégorie complète
• Catégorie de foncteurs
• Catégorie de Kleisli
• Catégorie de modèles
• Catégorie dérivée
• Catégorie des anneaux
• Catégorie des ensembles
• Catégorie des espaces topologiques
• Catégorie des espaces topologiques pointés
• Catégorie des groupes
• Catégorie des groupes abéliens
• Catégorie des modules
• Catégorie des petites catégories
• Catégorie des relations
• Catégorie discrète
• Catégorie enrichie
• Catégorie exacte
• Catégorie fermée
• Catégorie groupoïde
• Catégorie monoïdale
• Catégorie monoïdale tressée
• Catégorie simpliciale
• Catégorie triangulée
• Categories for the Working Mathematician
• Catégorification
• Coinduction
• Conoyau
• Cosmos (théorie des catégories)

D

• Dérivateur
• Diagramme (théorie des catégories)
• Diagramme commutatif
• Distributeur (théorie des catégories)

E

• Égaliseur (mathématiques)
• Ensemble ordonné filtrant
• Ensemble simplicial
• Enveloppe de Karoubi
• Épimorphisme
• Équivalence de catégories
• Esquisse d'un programme
• Extension de Kan

F

• F-coalgèbre
• Fin (théorie des catégories)
• Foncteur
• Foncteur adjoint
• Foncteur dérivé
• Foncteur essentiellement surjectif
• Foncteur exact
• Foncteur Ext
• Foncteur Hom
• Foncteur plein et fidèle
• Foncteur représentable
• Peter Freyd

G

• Graphe de groupes
• Groupe de Grothendieck (K-théorie)
• Groupe universel enveloppant
• Groupoïde

I

• Isomorphisme
• Isomorphisme (théorie des catégories)
• Isomorphisme de catégories

L

• Tom Leinster
• Lemme de Yoneda
• Limite (théorie des catégories)
• Limite inductive
• Limite projective
• Localisation d'une catégorie

M

• Monade (théorie des catégories)
• Monoïde (théorie des catégories)
• Monomorphisme
• Morphisme
• Morphisme de graphes
• Morphisme zéro

N

• Nerf (théorie des catégories)
• NLab
• Noyau (théorie des catégories)

O

• Objet exponentiel
• Objet libre
• Objet projectif

P

• Paramorphisme
• Préordre
• PRO (théorie des catégories)
• Objet initial et objet final
• Produit (catégorie)
• Produit fibré

Q

• Quasi-catégorie

R

• Réunion disjointe
• Emily Riehl

S

• Section (théorie des catégories)
• Site (mathématiques)
• Somme (catégorie)
• Somme amalgamée
• Squelette (théorie des catégories)
• Symétrisation

T

• Théorème de Grothendieck-Hirzebruch-Riemann-Roch
• Théorème de plongement de Mitchell
• Théorie des locales
• Topologie étale
• Topos (mathématiques)
• Transformation naturelle
• Type unité

U

• Univers de Grothendieck

V

• Vecteur de Witt