Isto é trivial.

Ora, até que ponto alguma coisa trivial realmente é trivial?

É trivial imaginar que o conceito de trivial é subjetivo, mas o que acabei de dizer é trivial e não usei subjetividade, caso contrário, isso é uma trivialidade subjetiva e portanto esse conceito de trivialidade é subjetivo, o que remete à possibilidade de que numa forma geral a trivialidade não seja subjetiva. Portanto há mais chance da trivialidade não ser subjetiva. Tal conclusão não é trivial.

Se entender o próprio trivial não é trivial, então o que nos dá o direito de dizer que algo é trivial? Talvez isso signifique prepotência, arrogância... Ou mesmo um estado de compreensão superior misturada à ingenuidade. Falando em estado de compreensão superior, certa vez um grande mestre disse que trivial é tudo aquilo que pode ser representado por teoria das categorias. Ora, o que diabos é teoria das categorias? Certamente não é uma teoria trivial, então como uma teoria não trivial pode ser capaz de nos ceder uma definição de trivial através das coisas que representa? Talvez seja uma teoria realmente complicada, onde representar coisas seja muito complicado e todas as coisas que somos capazes de representar acabam sendo muito simples e, assim, triviais. É uma boa hipótese, e esse parece ser um bom critério de trivialidade.

Contudo, nos perguntados se apesar das coisas que podem ser representadas pela teoria das categorias serem triviais, será que tudo que é trivial tem sua representação na teoria das categorias? Esta pergunta é trivial, porém achar para ela uma resposta não é trivial. A princípio pensamos que não, para isso bastaria achar um contra exemplo que nos desse algo não matemático que possa ser trivial, porém, será que tal coisa pode ser matematizável e, portanto, representável na teoria das categorias? Vejamos, para uma pessoa comum, andar é trivial; porém, à medida que tentamos matematizar o andar, ele deixa de ser trivial. Realmente, depois disso vemos que aquela definição não é muito boa. Porém, vem agora à cabeça um novo resultado:

Teorema:Tudo que é trivial pode ser complexificado.
Prova A demonstração é trivial e fica a cargo do leitor. [; \qed ;]