Return to Issue Details Categorical Foundations of the Ic Manifold: Grothendieck Topoi, Intuitionistic Logic, and Functorial Galois Connections Download Download PDF