Pages that link to "Item:Q3328711"

The following pages link to An extension of the Galois theory of Grothendieck (Q3328711):

Displaying 50 items.

• Localic metric spaces and the localic Gelfand duality (Q266141) (← links)
• An introduction to quantaloid-enriched categories (Q277336) (← links)
• Sheaves on involutive quantales: Grothendieck quantales. (Q277338) (← links)
• Categorical foundations of topology with applications to quantaloid enriched topological spaces (Q277343) (← links)
• Continuity and geometric logic (Q280833) (← links)
• Bohrification of operator algebras and quantum logic (Q383005) (← links)
• Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
• Traces in symmetric monoidal categories (Q404679) (← links)
• Separating families of locale maps and localic embeddings (Q412005) (← links)
• Quantales of open groupoids (Q426730) (← links)
• Measure, randomness and sublocales (Q450959) (← links)
• An induction principle for consequence in arithmetic universes (Q456884) (← links)
• \(\mathbb{T}\)-motives (Q515876) (← links)
• General insertion and extension theorems for localic real functions (Q531326) (← links)
• A non-commutative and non-idempotent theory of quantale sets (Q533140) (← links)
• A representation theorem for geometric morphisms (Q613566) (← links)
• The patch construction is dual to algebraic DCPO representation (Q633791) (← links)
• Representation theory of MV-algebras (Q636342) (← links)
• Locatedness and overt sublocales (Q638474) (← links)
• The \(P\)-frame reflection of a completely regular frame (Q639703) (← links)
• Quotients and colimits of \(\kappa \)-quantales (Q645190) (← links)
• Cosheaves and connectedness in formal topology (Q651322) (← links)
• Groupoid sheaves as quantale sheaves (Q659892) (← links)
• Countable products of absolute \(C_ \delta\) spaces (Q675100) (← links)
• Adjointness in descent theory (Q678831) (← links)
• On the construction of the Grothendieck fundamental group of a topos by paths (Q678834) (← links)
• Galois theory in variable categories (Q690386) (← links)
• Generalising canonical extension to the categorical setting (Q714727) (← links)
• Monads on higher monoidal categories (Q722244) (← links)
• On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
• Intuitionistic quantum logic of an \(n\)-level system (Q735205) (← links)
• Pro-group actions and fundamental pro-groups (Q757575) (← links)
• Matrices, relations, and group representations (Q757580) (← links)
• Classifying toposes and foliations (Q803599) (← links)
• Free quantaloids (Q805732) (← links)
• Density in categorical topology via quantaloid-enriched categories (Q820671) (← links)
• Basic concepts of quantale-enriched topologies (Q825979) (← links)
• Ockham's razor and reasoning about information flow (Q833039) (← links)
• Sobriety and spatiality in varieties of algebras (Q835242) (← links)
• An axiomatic account of weak triquotient assignments in locale theory (Q847673) (← links)
• Order-adjoint monads and injective objects (Q847677) (← links)
• Étale groupoids and their quantales (Q854099) (← links)
• Prime elements of non-integral quantales and their applications. (Q890008) (← links)
• Pure Galois theory in categories (Q914821) (← links)
• The fundamental progroupoid of a general topos (Q942202) (← links)
• Descent in \(*\)-autonomous categories (Q952244) (← links)
• Fuzzy sets and geometric logic (Q969577) (← links)
• Sheaves as modules (Q969690) (← links)
• Girard couples of quantales (Q969691) (← links)
• The universal covering of an inverse semigroup. (Q969694) (← links)