Kategoriteorin
Kategoriteorin är en gren av matematiken som studerar matematiska strukturer och relationerna mellan dem. Den fokuserar på abstraktioner som kallas kategorier, vilka består av objekt och morfismer (eller pilar) mellan dessa objekt. Istället för att fokusera på objekten själva, betraktar kategoriteorin hur objekten relaterar till varandra genom dessa morfismer. Detta perspektiv möjliggör att man kan hitta djupa likheter mellan olika matematiska områden som till synes är mycket olika.
Centrala begrepp inom kategoriteorin inkluderar funktorer, som är avbildningar mellan kategorier som bevarar deras struktur, och