Prolegomena to Boolean Valued Analysis: Boolean Toposes
摘要
We present the notions of category theory which are of use in Boolean valued analysisand describe the Boolean toposes that form the backstages of Boolean valued universes.