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)
- Negations and meets in topos quantum theory
- Tensor topology
- Injective symmetric quantaloid-enriched categories
- Differential bundles in commutative algebra and algebraic geometry
- Network models
- Correspondence between composite theories and distributive laws
- Kernels, in a nutshell
- Numerical existence property and categories with an internal copy
- Fuzzy presheaves are quasitoposes
- Termination of graph transformation systems using weighted subgraph counting
- Heterogeneous Logical Environments for Distributed Specifications
- A correspondence between proximity homomorphisms and certain frame maps via a comonad
- Relaxed multicategory structure of a global category of rings and modules
- Distributors and the comprehensive factorization system for internal groupoids
- On finitary functors and their presentations
- mathlib4 Module Mathlib/CategoryTheory/Sites/RegularEpi
- mathlib4 Module Mathlib/Order/CompleteBooleanAlgebra
- mathlib4 Module Mathlib/Order/Heyting/Basic
- mathlib4 Module Mathlib/Order/Heyting/Regular
- Stone Dualities from Opfibrations
- The nominal/FM Yoneda lemma
- Logical quantization of differential geometry
- On some categories of structured sets
- Arboreal Categories: An Axiomatic Theory of Resources
- A presheaf semantics of value-passing processes
- Title not available (Why is that?)
- Locale morphisms with exact direct image functor in sheaves
- The depth, the delooping level and the finitistic dimension
- Algebraic databases
- Title not available (Why is that?)
- Correspondences and stable homotopy theory
- MULTIPLICATIVE PARAMETRIZED HOMOTOPY THEORY VIA SYMMETRIC SPECTRA IN RETRACTIVE SPACES
- On bornologies, locales and toposes of \(M\)-sets
- On institutions for modular coalgebraic specifications.
- Tensor products of rings \(\mathfrak{Z}L\) of zero-dimensional frames
- Integrating observational and computational features in the specification of state-based, dynamical systems
- Title not available (Why is that?)
- Dependent types and fibred computational effects
- Anticommutativity and the triangular lemma
- Torsion theories and coverings of preordered groups
- Observational logic, constructor-based logic, and their duality.
- Surjection-like classes of morphisms
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
- Elementary fibrations of enriched groupoids
- The order-K-ification monads
- String Diagrams for Layered Explanations
- A \(G\)-equivariant string-net construction
- On operads, bimodules and analytic functors
- Stabilization of derivators revisited
- On the topological characterization of gestures in a convenient category of spaces
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- The \(N\)-stable category
- Topological quantum gates in homotopy type theory
- Categories and orbispaces
- A quantified coalgebraic van Benthem theorem
- Homotopy theory with marked additive categories
- The logical quantization of algebraic groups
- Empirical quantum mechanics
- Generalized correspondence functors
- Po-groups and hypergroups in a topos
- Ore localization of amenable monoid actions and applications toward entropy -- addition formulas and the bridge theorem
- Reversible effects as inverse arrows
- Exponentiable Grothendieck categories in flat algebraic geometry
- General facts on the Scott adjunction
- A preservation result for completely regular locales.
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- Graded comodule categories with enough projectives
- Firm homomorphisms of rings and semigroups
- Title not available (Why is that?)
- Free Monoids over Semigroups in a Monoidal Category: Construction and Applications
- Stone dualities from opfibrations
- Lift of fractional D-brane charge to equivariant Cohomotopy theory
- Enriched locally generated categories
- Are Banach spaces monadic?
- Met-like categories amongst concrete topological categories
- Weak topologies on toposes
- Towards higher topology
- Fraïssé limits in comma categories
- Petri nets based on Lawvere theories
- Ambiguity and incomplete information in categorical models of language
- Groupoids and the Brauer group
- Partialising institutions
- Monadic convergence structures revisited
- Covariant isotropy of Grothendieck toposes and extensive categories
- Implication via spacetime
- The evil twin: the basics of complement-toposes
- Initial algebras of terms with binding and algebraic structure
- Linearized topologies and deformation theory
- Torsion pairs in categories of modules over a preadditive category
- Non-abelian Galois cohomology via descent cohomology
- A comparison of two topos-theoretic approaches to quantum theory
- A modular approach to defining and characterising notions of simulation
- Title not available (Why is that?)
- Bidirectional processes -- in category theory, physics, engineering, \dots
- Categorification of a set relation geometry induced by rough operators
- The \(n\)-fold reduced bar construction
- Regularity vs. constructive complete (co)distributivity
- Torsion theories and coverings of \(V\)-groups
- Comprehension for coalgebras
- Incidence hypergraphs: injectivity, uniformity, and matrix-tree theorems
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)
