Using categorical logic for AI planning

General
1

$$

$$

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/index.html