scientific article; zbMATH DE number 822489
From MaRDI portal
Publication:4856547
zbMath0911.18001MaRDI QIDQ4856547
Publication date: 29 November 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grothendieck toposeslocalesinternal logic of toposesaxiom of infinitylaw of excluded middlecategories of sheavesclassifying topos for coherent theories
Categorical logic, topoi (03G30) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to category theory (18-00)
Related Items (only showing first 100 items - show all)
The category 𝒮hjIMSet of sheaves in MSet ⋮ Completely distributive enriched categories are not always continuous ⋮ Linear Dependent Type Theory for Quantum Programming Languages ⋮ Quillen-Segal algebras and Stable homotopy theory ⋮ The category of residuated lattice valued filter spaces ⋮ V-comprehensions and P space ⋮ Unnamed Item ⋮ Finitary monads on the category of posets ⋮ Unnamed Item ⋮ On general closure operators and quasi factorization structures ⋮ Unnamed Item ⋮ Left properness of flows ⋮ A Hurewicz Model Structure for Directed Topology ⋮ Elementary fibrations of enriched groupoids ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Ambiguity and Incomplete Information in Categorical Models of Language ⋮ Stone Dualities from Opfibrations ⋮ On the dependent product in toposes ⋮ Categorification of a set relation geometry induced by rough operators ⋮ Preservation in many-valued truth institutions ⋮ Enriched Lawvere Theories for Operational Semantics ⋮ A higher-order language for Markov kernels and linear operators ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Hecke category actions via Smith–Treumann theory ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES ⋮ Homotopy theory of net representations ⋮ A presheaf semantics of value-passing processes ⋮ Incidence hypergraphs: the categorical inconsistency of set-systems and a characterization of quiver exponentials ⋮ Identity types and weak factorization systems in Cauchy complete categories ⋮ On some categories of structured sets ⋮ Arboreal Categories: An Axiomatic Theory of Resources ⋮ Correspondences and stable homotopy theory ⋮ Unnamed Item ⋮ The order-K-ification monads ⋮ String Diagrams for Layered Explanations ⋮ A \(G\)-equivariant string-net construction ⋮ Continuation sheaves in dynamics: sheaf cohomology and bifurcation ⋮ A monoidal algebraic model for rational SO(2)-spectra ⋮ Pre-rigid monoidal categories ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ Unnamed Item ⋮ Graded comodule categories with enough projectives ⋮ Ore localization of amenable monoid actions and applications toward entropy -- addition formulas and the bridge theorem ⋮ Partialising institutions ⋮ Bidirectional processes -- in category theory, physics, engineering, \dots ⋮ Completions of posemigroups by cuts and beyond ⋮ On operads, bimodules and analytic functors ⋮ Spectral Spaces Versus Distributive Lattices: A Dictionary ⋮ Oplax Hopf Algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Sound and complete equational reasoning over comodels ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Enriched Locally Generated Categories ⋮ On the topological characterization of gestures in a convenient category of spaces ⋮ Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem ⋮ Initial Algebras of Terms with Binding and Algebraic Structure ⋮ Categorical aspects of generating functions. I: Exponential formulas and Krull-Schmidt categories ⋮ When do completion processes give rise to extensive categories? ⋮ Semantic constructions for the specification of objects ⋮ Homotopy theory with marked additive categories ⋮ Unnamed Item ⋮ Sheafifiable homotopy model categories. II ⋮ Adding structure to MV-algebras ⋮ AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN ⋮ Semi-abelian categories ⋮ Relaxed multicategory structure of a global category of rings and modules ⋮ Unnamed Item ⋮ MULTIPLICATIVE PARAMETRIZED HOMOTOPY THEORY VIA SYMMETRIC SPECTRA IN RETRACTIVE SPACES ⋮ Unnamed Item ⋮ Non-abelian Galois cohomology via descent cohomology ⋮ The nominal/FM Yoneda Lemma ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Unnamed Item ⋮ SYMMETRIC OPERADS IN ABSTRACT SYMMETRIC SPECTRA ⋮ Unnamed Item ⋮ Extended TQFTs via generators and relations I: The extended toric code ⋮ Thesaurus racks: Categorizing rack objects ⋮ L-homologies of double complexes ⋮ Gabriel localization in functor categories ⋮ Implicit Partiality of Signature Morphisms in Institution Theory ⋮ Probabilistic Completion of Nondeterministic Models ⋮ Are Banach spaces monadic? ⋮ Bicategorical semantics for nondeterministic computation ⋮ Cochain algebras of mapping spaces and finite group actions ⋮ Observational logic, constructor-based logic, and their duality. ⋮ A generalization of the Gabriel-Popescu theorem ⋮ On the notion of bimodel for functorial semantics ⋮ Category theory, logic and formal linguistics: some connections, old and new ⋮ Gabriel-Ulmer duality for topoi and its relation with site presentations ⋮ Interpreted systems and Kripke models for multiagent systems from a categorical perspective ⋮ Many valued lattices and their representations ⋮ Saturated models of intuitionistic theories ⋮ On the tensor product of modules over skew monoidal categories ⋮ Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories ⋮ The expectation monad in quantum foundations
This page was built for publication:
