What replace notions of absolute time and space with spacetime ?
It proposes simple quantum models of space - time based on category - theoretic notions of a topos and its subobject classifier ( which has a Heyting algebra structure , but not necessarily a Boolean algebra structure ) .