emdash 2 ω-categories — AI workspace

emdash 2 — Functorial programming for strict/lax ω-categories in Lambdapi

Try this AI workspace. Click the Workspace tab, then Click Codex tab, then ask Codex “where is the dependent hom defined? is it correct”

TL;DR: I have developed the arrowgram commutative-diagrams editor https://hotdocx.github.io/arrowgram then I setup GPT-5.3-Codex inside my AI workspace to read the JSON text of those diagrams and generate the emdash proof assistant for lax ω-categories https://github.com/hotdocx/emdash (and to generate its report https://hotdocx.github.io/r/26043CPAL64001 as a book/slides with embedeed arrowgram diagrams), and you can try (and clone) my shared AI workspace and fund it…

( you can test the funding feature with this other USD $5 post https://getpaidx.com/posts/cmia9vpl9000yl9250ewnb6rk …)