El siguiente esquema se ofrece como una descripción general y una guía de la teoría de categorías , el área de estudio en matemáticas que examina de manera abstracta las propiedades de conceptos matemáticos particulares, al formalizarlos como colecciones de objetos y flechas (también llamados morfismos , aunque este término también tiene un sentido específico, no teórico de categorías), donde estas colecciones satisfacen ciertas condiciones básicas. Muchas áreas significativas de las matemáticas se pueden formalizar como categorías, y el uso de la teoría de categorías permite que muchos resultados matemáticos intrincados y sutiles en estos campos se puedan enunciar y demostrar de una manera mucho más simple que sin el uso de categorías.
