changed 5 months ago

Protopoi is a [[category]] – or is it a [[morphism]] in some higher level category? Maybe both?

The higher level category would probably be [[world]], the set of world models plus programs that transform them.