En
teoría de categorías, una
categoría es una
estructura algebraica que consta de una colección de
objetos, conectados unos con otros mediante
flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición.