← Feed @trebor@types.pl Post #2142735 2026-04-18 22:53 UTC I understand why homotopy theorists don't do cubical sets often now. Nothing ever works with cubical sets! Replies (0) No replies.