← Feed @piecritic@hachyderm.io Post #1649214 2026-04-16 19:07 UTC Turns out time cube was real all along: https://ncatlab.org/nlab/show/cubical+type+theory Replies (0) No replies.