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)
- 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
- Title not available (Why is that?)
- Locale morphisms with exact direct image functor in sheaves
- The depth, the delooping level and the finitistic dimension
- Left properness of flows
- Algebraic databases
- Title not available (Why is that?)
- Correspondences and stable homotopy theory
- MULTIPLICATIVE PARAMETRIZED HOMOTOPY THEORY VIA SYMMETRIC SPECTRA IN RETRACTIVE SPACES
- Hecke category actions via Smith–Treumann theory
- 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.
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
- Elementary fibrations of enriched groupoids
- The category 𝒮hjIMSet of sheaves in MSet
- 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 category of residuated lattice valued filter spaces
- Categories and orbispaces
- Modal languages for coalgebras in a topological setting
- Categorifying computations into components via arrows as profunctors
- A quantified coalgebraic van Benthem theorem
- Homotopy theory with marked additive categories
- The logical quantization of algebraic groups
- Empirical quantum mechanics
- Generalized correspondence functors
- Title not available (Why is that?)
- Some facets of Horn covarieties in a category
- 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
- Extended TQFTs via generators and relations I: The extended toric code
- A preservation result for completely regular locales.
- 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
- Gabriel localization in functor categories
- Monadic convergence structures revisited
- Modal rules are co-implications
- Covariant isotropy of Grothendieck toposes and extensive categories
- Reflection principles for synthetic theories of smooth manifolds
- Implication via spacetime
- Linearized topologies and deformation theory
- Torsion pairs in categories of modules over a preadditive category
- Non-abelian Galois cohomology via descent cohomology
- Logic in category theory
- Finitary monads on the category of posets
- Bourn-normal monomorphisms in regular Mal'tsev categories
- 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?)
- 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
- On sheaf cohomology and natural expansions
- On general closure operators and quasi factorization structures
- Oplax Hopf Algebras
- Title not available (Why is that?)
- Bundle functors and fibrations
- Effective descent morphisms for Banach modules
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- On the notion of bimodel for functorial semantics
- Title not available (Why is that?)
- Codensity: Isbell duality, pro-objects, compactness and accessibility
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)
