"Throughout American history, the government has used U.S. citizenship and immigration law to protect privileged groups from less privileged ones, using citizenship as a "legitimate" proxy for otherwise invidious - and often unconstitutional - discrimination on the basis of race…
We give a general method of forcing over categories as a category-theoretic universal construction which subsumes, on one hand, all known instances of forcing in set theory, Boolean and Heyting valued models and sheaf interpretations for both classical and intuitionistic formal …
We relate Freyd's topos-theoretic models for the independence of the axiom of choice to the more familiar symmetric Boolean-valued models.
