1.1.1 From Elements To Arrows

Category theory can be seen as a “generalised theory of functions”, where the focus is shifted from the pointwise, set-theoretic view of functions, to an abstract view of functions as arrows.

— Introduction to Categories and Categorical Logic

— Samson Abramsky and Nikos Tzevelekos

2012.01.27 Friday ACHK