Show HN: Formal theory of consciousness built on ∞-categories · HackerTrans