The historical development of mathematics (especially in the past couple of centuries) exhibits a consistent, undeniable pattern: first come the problems, whose sources are many and varied, often inspired by the real world. Eventually, connections are made between diverse problems, usually due to common elements that appear in various proofs. Abstract structures are then devised that can “carry” the kind of information that forms the connection

