כל מה שרצית לדעת על אוניברסליות (תורת הקטגוריות):
בתורת הקטגוריות, אוניברסליות היא תכונה של אובייקטים כלליים במסגרת קטגוריה נתונה, שממנה נובע שהם מייצגים משפחה רחבה של אובייקטים.
למינוח זה שימושים רבים בתחומים שונים במתמטיקה, כמו אלגברה, טופולוגיה אלגברית ועוד.
במקרים רבים ההצדקה לקיומה של בניה מתמטית היא בכך שהיא מספקת אובייקט אוניברסלי.