Contents

Definition

The theory of objects is the theory over the signature with a single type and no primitive symbols except equality.

So model for this theory in a topos $ℰ$ is just an object of $ℰ$.

References

Section D3.2 of

Created on April 26, 2011 13:52:53 by Urs Schreiber (131.211.232.154)