A mathematcal language which is appropriate for describing theories in which properties are context dependent, as in [[Relational Quantum Theory]]. -- [[Cocky Eek]] - 26 May 2006