category groupoids way concept pervasive algebra applications natural transformations abstracting yet diagrammatic sequential constructions often naturally related vague notion first sight leads clarifying concept natural transformation way map one functor another many important constructions mathematics studied context naturality principle like general covariance physics cuts deeper initially apparent arrow two functors natural transformation subject certain naturality
Formal science Mathematics Pure mathematics Algebra Category theory