theory of functions
Jun. 29th, 2018 01:07 pmJust tried to figure out, wtf, for the notion of functions, their implementation in sets is the model of a theory... which theory?
So, what do we want from functions? Identity, composition, domain, codomain, right.
Category is a theory of functions. Any specific category is a model of this theory. No?
If we called category theory, instead, "function theory", probably people would be less scared. Even less if arrows/morphisms were called functions.
So, what do we want from functions? Identity, composition, domain, codomain, right.
Category is a theory of functions. Any specific category is a model of this theory. No?
If we called category theory, instead, "function theory", probably people would be less scared. Even less if arrows/morphisms were called functions.
I tried once. Scared the reviewers of the book where I tried to use it. Well...