Using categorical logic for AI planning

$$

$$

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/