Using categorical logic for AI planning

[owenlynch]

$$

$$

This post is cross-posted at the Topos Institute blog.

---

This is a companion discussion topic for the original entry at https://blog.algebraicjulia.org/post/2022/09/ai-planning-cset/