Welcome! This site is under construction.

Natural transformations


Natural transformations allow us to move between functors inside a category.
Read more ⟶

Functors


Functors map objects and morphisms between two categories.
Read more ⟶