2 papers
cs.LO2026
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…
math.LO2024
Nobody needs equations
Adonai Schlup Sant'Anna
Equations are ubiquitous in most mathematical activities. Nevertheless, in this paper it is shown how to do standard mathematics without any equation at all. More than that, it is…