Catégorie localement petite
Concept history
A revision trail for this concept page.
Revision 2070
8/22/2026, 7:18:57 PM · Catalpa
Concept created
Une [[Category|catégorie]] $\mathcal{C}$ est localement petite si, pour chaque paire d'objets $X,Y$ de $\mathcal{C}$, la collection de morphismes de $X$ vers $Y$ est un ensemble.