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
- On the dependent product in toposes
- Semiperfect category-graded algebras
- Kernels, in a nutshell
- Numerical existence property and categories with an internal copy
- Heterogeneous Logical Environments for Distributed Specifications
- Incidence hypergraphs: the categorical inconsistency of set-systems and a characterization of quiver exponentials
- Probabilistic completion of nondeterministic models
- Distributors and the comprehensive factorization system for internal groupoids
- On finitary functors and their presentations
- Extending List's levels
- Stone Dualities from Opfibrations
- Sound and complete equational reasoning over comodels
- The nominal/FM Yoneda lemma
- Logical quantization of differential geometry
- A presheaf semantics of value-passing processes
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)
