Category Theory & Programming by Yann Esposito. (slides)
Great slides on category theory with this quote on slide 6:
One of the goal of Category Theory is to create a homogeneous vocabulary between different disciplines.
Is the creation of a homogeneous vocabulary responsible for the complexity of category theory or is the proof of equivalence between different disciplines?
As you know, topic maps retains the vocabularies of different disciplines as opposed to replacing them with a homogeneous one. Nor do topic maps require proof of equivalence in the sense of category theory.
I first saw this in a tweet by Sam Ritchie.