(no subject)

[timelets]

The entire field of Law (A) and Economics (B) must have a topos structure f: BxA -> Ω, etc, with the efficiency criteria being the terminal object S->B; S->1; B->Ω. Since market mechanisms may not apply here, we can use the theory of Firm (e.g transaction costs) to establish a different criteria. Actually, such a topos would work with any mechanism for establishing an efficiency criteria. For now, we can assume that it's exogenous.

upd. I wonder whether it's even theoretically possible to have market-efficient healthcare laws. Singapore would probably make an interesting test case.