Follow the Flow: sets, relations, and categories as special cases of functions with no domain

Adonai Sant'Anna, Otavio Bueno, Marcio de Franca

We introduce, develop, and apply a new approach for dealing with the intuitive notion of function, called Flow Theory. Within our framework all functions are monadic and none of th…