Estos conceptos, a su vez fueron abstraídos hacia una teoría de categorías, como se suele ser el caso en matemáticas.