The maxim 'stealing is permissible' is a self contradiction as if it were universalised, and everyone was stealing everything, property would no longer exist, so it wouldn't be stealing.
It is the universal law that will comply with all people that can rationally think and make a morally correct decision that is not based upon their own desires. To not cause harm or inflict damage...
Categorical logic originated with Bill Lawvere's Functorial Semantics of Algebraic Theories (1963), and Elementary Theory of the Category of Sets (1964)