scientific article; zbMATH DE number 822489
From MaRDI portal
Publication:4856547
zbMATH Open0911.18001MaRDI QIDQ4856547FDOQ4856547
Authors: F. Borceux 
Publication date: 29 November 1995
Title of this publication is not available (Why is that?)
Recommendations
localesaxiom of infinitylaw of excluded middleGrothendieck toposescategories of sheavesclassifying topos for coherent theoriesinternal logic of toposes
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)
Cited In (only showing first 100 items - show all)
- Morita equivalence of inverse semigroups.
- Monad transformers as monoid transformers
- Monoidal Grothendieck construction
- Logical quantization of topos theory
- Pure morphisms are effective for modules
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bicategorical semantics for nondeterministic computation
- Foundations for structuring behavioural specifications
- Separating families of locale maps and localic embeddings
- Title not available (Why is that?)
- Unification, finite duality and projectivity in varieties of Heyting algebras
- On regularization of vector distributions on manifolds
- Groupoids and strong shape
- Topological semi-abelian algebras
- Semidirect products of internal groupoids
- Higher Čech theory
- Bernays-Gödel type theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Pre-rigid monoidal categories
- Title not available (Why is that?)
- Semi-abelian categories
- Category theory, logic and formal linguistics: some connections, old and new
- Protolocalisations of homological categories
- Probabilistic systems coalgebraically: a survey
- Quantales of open groupoids
- Categorical foundations of variety-based topology and topological systems
- Preordered sets valued in a GL-monoid
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- Zeta functions of equivalence relations over finite fields
- Regular and exact completions
- AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Mally's deontic logic: reducibility and semantics
- Strong cofibrations and fibrations in enriched categories
- Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches
- The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
- An enriched category approach to many valued topology
- Implication structures, fuzzy subsets, and enriched categories
- Sheaves as modules
- A topos for algebraic quantum theory
- On the tensor product of modules over skew monoidal categories
- On the wildness of Cambrian lattices
- Adding structure to MV-algebras
- The expectation monad in quantum foundations
- On fuzzification of the notion of quantaloid
- Title not available (Why is that?)
- Localizations of algebraic categories
- Topos models for physics and topos theory
- Categories for computation in context and unified logic
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Components of the fundamental category. II
- Weak factorizations, fractions and homotopies
- A framework for component categories
- Gelfand-type duality for commutative von Neumann algebras
- Coalgebraic components in a many-sorted microcosm
- On descent cohomology
- Functorial semantics of first-order views
- An axiomatic approach to structuring specifications
- On rational pairings of functors
- On the algebra of structured specifications
- The Eckmann-Hilton argument and higher operads
- What is a logic translation?
- Grothendieck enriched categories
- Profunctors in Mal'tsev categories and fractions of functors
- Trace semantics via determinization
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
- Kauffman skein algebras and quantum Teichmüller spaces via factorization homology
- Fibrations and universal view updatability
- On the coset structure of a skew lattice
- Flat covers and factorizations
- Sheafifiable homotopy model categories. II
- Quantum logic in dagger kernel categories
- Fuzzy Galois connections categorically
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
- Heyting mereology as a framework for spatial reasoning
- Simple involutive quantales
- Categorical semantics for arrows
- The Bousfield lattice of a triangulated category and stratification
- The fundamental pro-groupoid of an affine 2-scheme
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
- The canonical topology on a meet-semilattice
- Locale morphisms with exact direct image functor in sheaves
- Correspondences and stable homotopy theory
- MULTIPLICATIVE PARAMETRIZED HOMOTOPY THEORY VIA SYMMETRIC SPECTRA IN RETRACTIVE SPACES
- Tensor products of rings \(\mathfrak{Z}L\) of zero-dimensional frames
- Integrating observational and computational features in the specification of state-based, dynamical systems
- Dependent types and fibred computational effects
- Surjection-like classes of morphisms
- The order-K-ification monads
- String Diagrams for Layered Explanations
- A \(G\)-equivariant string-net construction
- On operads, bimodules and analytic functors
- On the topological characterization of gestures in a convenient category of spaces
- The \(N\)-stable category
- Topological quantum gates in homotopy type theory
- A quantified coalgebraic van Benthem theorem
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4856547)
