This is merely a long comment.

You say that "[category theory] role is to trivialize [..] something", and I suppose part of the problem is that to trivialise in a new weird way something already well understood appears, by itself, of little interest.

I wonder if you would consider the following observations as examples of category theory trivializing something: one may note that a number of elementary properties are defined using iterated orthogonals of a single morphism, e.g. compactness "trivialises" as ${(\{ \{a\}\longrightarrow\{a\rightarrow b\} \}^r_{<5})}^{lr}$, and that the definitions of a topological and uniform space "trivialises" as a simplicial object in the category of filters. However, it appears unclear what theorems should these observations lead to. And by themselves, they are no theorems, as everything is very standard and trivial to check.