# What is the (categorical) significance of being able to describe the same idea in different ways?

I'm fairly new to category theory (so forgive me if I misstate a fact), but I have noticed the trend that, quite often a single construction can be re-expressed in "seemingly" different ways. For example, if you have a universal property, then it's likely the case that you have an adjunction. But lurking behind every adjunction is a representable functor somewhere. So, you have your pick! You're free to choose whichever language - universal properties, adjunctions, representability - you prefer. (Not a representability person? No problem! Here's an adjunction for you....) And of course, there's the joke that "all theorems are Yoneda."

Now I put "seemingly" above in quotation marks since, as Saunders Mac Lane noted, "The notion of Kan extensions subsumes all the other fundamental concepts of category theory." And indeed, we learn that

• (co)limits (and their universal properties) are really Kan extensions
• every adjunction is really a Kan extension
• the colimit formula of a pointwise Kan extension involves the category of elements $\int F$ of the functor, say $F$, that you're extending. But $\int F$ is precisely the category that informs us of whether or not $F$ is representable*
• Yoneda's Lemma is a consequence of the fact that every functor is its own right Kan extension along the identity

In light of this, I'm prompted to ask: What is the significance of having a formalism in which there are a myriad of equivalent ways of saying the same thing?

In other words, what does being able to describe the same ideas in different, yet equivalent, ways tell you about your theory? Does it simply mean you've done a good job? (So, pat yourself on the back!) Or does it mean you're being redundant and should do away with some of your definitions? Or does it mean that something inherently deep/significant is going on?

Any thoughts would be appreciated!

$^*$ $F$ is representable precisely when $\int F$ has an initial (or terminal, depending on the variance of $F$) object.

• It's some evidence that these ideas are powerful, since they can all be used to express each other, and it's also some evidence that they're "fundamental." – Qiaochu Yuan Mar 5 '17 at 2:27
• It's just math. There are many "seemingly" different ways of describing a circle. Indeed, what's a mathematical concept that doesn't have multiple presentations? – Derek Elkins left SE Mar 5 '17 at 2:29
• As Derek says, this phenomenon is hardly unique to category theory. In linear algebra we have a dozen or more ways to say a linear transformation on a finite-dimensional vector space is invertible. (Not a rank person? No problem: here's a determinant for you.) In computation theory we have several models of computation (lambda calculi, Turing machines, etc.) that yield the same class of computable functions. As Qiaochu says, this redundancy often indicates a kind of robustness. It isn't redundancy for redundancy's sake. – symplectomorphic Mar 5 '17 at 6:34
• Ah, yes, of course. Thanks! – user316092 Mar 6 '17 at 0:18