The Holy Trinity of Computation: logic, languages, categories · HackerTrans