En teoría de categorías la "estructura" es implícitamente discutida - en oposición con la discusión explícita típica con muchas estructuras algebraicas.