Gardens of Eden — Essential Non-Surjectivity of the Forgetful Functor in Rule Categories
Research
Introduction
A game system defines a space of legal moves, but arbitrary graph structures do not necessarily correspond to realizable play trees.