[adamnemecek]

For me it was the idea of adjoint functors which is the central idea of category theory.

I wrote up a bit on it here https://github.com/adamnemecek/adjoint