Pages that link to "Item:Q3328711"

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

Displaying 50 items.

• Regularity in algebraic frames (Q995617) (← links)
• The connected Vietoris powerlocale (Q1030196) (← links)
• A topos for algebraic quantum theory (Q1048087) (← links)
• Quantales and their sheaves (Q1077521) (← links)
• Logical opens and real numbers in topoi (Q1086339) (← links)
• Multiplicative lattices and frames (Q1091409) (← links)
• Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
• Cartesian bicategories. I (Q1098929) (← links)
• Ideals of closed categories (Q1105688) (← links)
• Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
• Fibre bundles in general categories (Q1115959) (← links)
• What is the fundamental group? (Q1121553) (← links)
• A topos-theorist looks at dilators (Q1121978) (← links)
• Continuous categories and exponentiable toposes (Q1165305) (← links)
• A globalization of the Hahn-Banach theorem (Q1177237) (← links)
• Open localizations (Q1181456) (← links)
• The fundamental localic groupoid of a topos (Q1184023) (← links)
• On the local connectedness of frames (Q1196792) (← links)
• Every étendue comes from a local equivalence relation (Q1208192) (← links)
• A representation theorem for quantales (Q1208239) (← links)
• Representing topoi by topological groupoids (Q1295576) (← links)
• The locally connected coclosure of a Grothendieck topos (Q1295730) (← links)
• Proper maps of locales (Q1318788) (← links)
• Injective hulls of semimodules over additively-idempotent semirings (Q1322588) (← links)
• Effective descent maps of topological spaces (Q1325818) (← links)
• Constructive complete distributivity. IV (Q1330904) (← links)
• Facets of descent. I (Q1332450) (← links)
• A completeness theorem for open maps (Q1338199) (← links)
• Variants of openness (Q1338774) (← links)
• Descent and duality (Q1345009) (← links)
• \(*\)-autonomous categories of bimodules (Q1345016) (← links)
• An algebraic theory of normal forms (Q1346245) (← links)
• Endomorphisms of complete Heyting algebras (Q1357110) (← links)
• Classifying toposes for first-order theories (Q1382183) (← links)
• Glueing and orthogonality for models of linear logic (Q1398466) (← links)
• Inductively generated formal topologies. (Q1412832) (← links)
• van Kampen theorems for toposes (Q1413097) (← links)
• On the representation theory of Galois and atomic topoi. (Q1426338) (← links)
• Localic sup-lattices and tropological systems. (Q1427786) (← links)
• Presenting locale pullback via directed complete posets (Q1434361) (← links)
• A universal characterization of the double powerlocale (Q1434363) (← links)
• Extending Stone duality to multisets and locally finite MV-algebras. (Q1434764) (← links)
• Tensor products of idempotent semimodules. An algebraic approach (Q1569761) (← links)
• Tropological systems are points of quantales (Q1612161) (← links)
• Open maps of involutive quantales (Q1656713) (← links)
• Strictly zero-dimensional biframes and a characterisation of congruence frames (Q1656715) (← links)
• A survey on the categorical term construction with applications (Q1677940) (← links)
• Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms (Q1683369) (← links)
• Quantales and Fell bundles (Q1688635) (← links)
• The many groupoids of a stably Gelfand quantale (Q1694581) (← links)