Pages that link to "Item:Q1189567"
From MaRDI portal
The following pages link to Sheaves in geometry and logic: a first introduction to topos theory (Q1189567):
Displaying 50 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- A categorical theory of patches (Q265821) (← links)
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- Continuity and geometric logic (Q280833) (← links)
- A representation theorem for integral rigs and its applications to residuated lattices. (Q284976) (← links)
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra (Q382416) (← links)
- Big toy models. Representing physical systems as Chu spaces (Q383003) (← links)
- Bohrification of operator algebras and quantum logic (Q383005) (← links)
- The fundamental pro-groupoid of an affine 2-scheme (Q385598) (← links)
- A categorial semantic representation of quantum event structures (Q385635) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Basic subtoposes of the effective topos (Q387125) (← links)
- The Hecke bicategory (Q398537) (← links)
- Characterizations of categories of commutative \(C^*\)-subalgebras (Q398740) (← links)
- Topological forcing semantics with settling (Q408537) (← links)
- Compactly generated stacks: a Cartesian closed theory of topological stacks (Q411643) (← links)
- Separating families of locale maps and localic embeddings (Q412005) (← links)
- On \(L\)-Tychonoff spaces. II (Q429388) (← links)
- The deformation theory of sheaves of commutative rings (Q435934) (← links)
- Deitmar's versus Toën-Vaquié's schemes over \({\mathbb{F}_{1}}\) (Q444196) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Topological inductive definitions (Q450944) (← links)
- A refinement of Stone duality to skew Boolean algebras (Q451077) (← links)
- Infinite dimensional manifolds from a new point of view (Q452106) (← links)
- A description of the fundamental group in terms of commutators and closure operators (Q456857) (← links)
- Elementary characterisation of small quantaloids of closed cribles (Q456870) (← links)
- The number of countable models in realizability toposes (Q456878) (← links)
- Left Kan extensions preserving finite products (Q456881) (← links)
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (Q471915) (← links)
- Heyting mereology as a framework for spatial reasoning (Q482328) (← links)
- Modes of adjointness (Q484110) (← links)
- Godement resolutions and sheaf homotopy theory (Q495990) (← links)
- The weak choice principle WISC may fail in the category of sets (Q497424) (← links)
- Dedekind complete posets from sheaves on von Neumann algebras (Q513911) (← links)
- \(\mathbb{T}\)-motives (Q515876) (← links)
- On \(K_{1}\) of an assembler (Q515893) (← links)
- Univalence in locally Cartesian closed categories (Q524707) (← links)
- Poisson algebras for non-linear field theories in the Cahiers topos (Q529609) (← links)
- Coherence for modalities (Q531368) (← links)
- Enriched simplicial presheaves and the motivic homotopy category (Q531373) (← links)
- Groupoid quantales: A non-étale setting (Q534017) (← links)
- Characterizations of Morita equivalent inverse semigroups. (Q538080) (← links)
- Categorical formulation of finite-dimensional quantum algebras (Q543370) (← links)
- Homotopical algebraic geometry. I: Topos theory (Q555892) (← links)
- Ultrasheaves and double negation (Q558435) (← links)
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Representation theory of MV-algebras (Q636342) (← links)
