⁵⁶For a popular introduction to category theory, see Riehl (2017).