How do we express the way that the world might be carved up into different agent-environment frames while still remaining “the same world”? The dual functor certainly works, but how about other ways to carve up the world? Suppose I notice a subagent of the environment, can I switch perspective to it?
Also, I am guessing is that an “embedded” cartesian frame might be one where ⋅:A×E→A×E, i.e. where the world is just the agent along with the environment. Or something. Then, since we can iterate the choice function, it ould represent time steps. Though we might in fact need sequences of agents and environments. Anyway, I can’t wait to see what you came up with.
Fantastic work!
How do we express the way that the world might be carved up into different agent-environment frames while still remaining “the same world”? The dual functor certainly works, but how about other ways to carve up the world? Suppose I notice a subagent of the environment, can I switch perspective to it?
Also, I am guessing is that an “embedded” cartesian frame might be one where ⋅:A×E→A×E, i.e. where the world is just the agent along with the environment. Or something. Then, since we can iterate the choice function, it ould represent time steps. Though we might in fact need sequences of agents and environments. Anyway, I can’t wait to see what you came up with.