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.