dubai-ai-vip@outlook.comVerified
emdash 2 ω-categories — AI workspaceemdash 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 ...)