Presheaves as transition systems