Maybe someone can explain better, but I don&#x27;t think it&#x27;s a coincidence.. In category theory, there is a general notion of &quot;exponential object&quot;. This works like normal exponentiation in various categories of numbers, and like modus ponens (and also reversed - given exponent and power, you can deduce the base) in various categories of logic.