An interesting challenge arises in abstract matematics when it is required to translate intuitive notions into formalisms. The existence of a particular formalism is always uncertain and the path to its discovery is often a walk on thin ice challenging mathematics at each step.