scientific article; zbMATH DE number 822489
From MaRDI portal
Publication:4856547
Recommendations
Cited in
(only showing first 100 items - show all)- A topos for algebraic quantum theory
- Categories of Boolean sheaves of simple algebras
- Algebraic theories of quasivarieties
- Repleteness and the associated sheaf
- On the equivariant \(2\)-type of a \(G\)-space
- Left exact presheaves on a small pretopos
- On the notion of bimodel for functorial semantics
- Simple involutive quantales
- Regular and exact completions
- Presheaf models for CCS-like languages
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Model structures on the category of ex-spaces
- A coalgebraic equational approach to specifying observational structures
- On institutions for modular coalgebraic specifications.
- Cartesian logic
- Beck's theorem for pseudo-monads
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- Fraïssé limits in comma categories
- Bundle functors and fibrations
- Strongly fibered objects and spaces
- Quantalic topological theories
- Quine's conjecture on many-sorted logic
- Generalized correspondence functors
- Higher Čech theory
- Syntactic categories for Nori motives
- The n-fold reduced bar construction
- Met-like categories amongst concrete topological categories
- Proof of a conjecture of A. Pitts
- Flat covers and factorizations
- On bornologies, locales and toposes of \(M\)-sets
- Bernays-Gödel type theory
- Categories with sums and right distributive tensor product
- Strong cofibrations and fibrations in enriched categories
- Proper factorization systems in 2-categories
- Cochain algebras of mapping spaces and finite group actions
- Observational logic, constructor-based logic, and their duality.
- A generalization of the Gabriel-Popescu theorem
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Saturated models of intuitionistic theories
- The logical quantization of algebraic groups
- The symmetric topos
- Logical quantization of differential geometry
- Localizations of algebraic categories
- Empirical quantum mechanics
- What is a logic translation?
- A comparison of two topos-theoretic approaches to quantum theory
- The Bousfield lattice of a triangulated category and stratification
- Sheaf representation for topoi
- Anticommutativity and the triangular lemma
- Torsion theories and coverings of preordered groups
- On the wildness of Cambrian lattices
- Stabilization of derivators revisited
- Turaev bicategories and generalized Yetter-Drinfel'd modules in 2-categories
- Monadic convergence structures revisited
- Reconstruction theorem for monoid schemes
- Torsion pairs in categories of modules over a preadditive category
- Incidence hypergraphs: injectivity, uniformity, and matrix-tree theorems
- On sheaf cohomology and natural expansions
- The depth, the delooping level and the finitistic dimension
- Negations and meets in topos quantum theory
- Eilenberg-Moore and Kleisli type categories for bimonads on arbitrary categories
- Reversible effects as inverse arrows
- Partial traces on additive categories
- Exponentiable Grothendieck categories in flat algebraic geometry
- General facts on the Scott adjunction
- Stone dualities from opfibrations
- Torsion theories and coverings of \(V\)-groups
- Covariant isotropy of Grothendieck toposes and extensive categories
- Tensor topology
- Codensity: Isbell duality, pro-objects, compactness and accessibility
- Term charters
- Numerical existence property and categories with an internal copy
- A generalization of the Nakayama functor
- Lift of fractional D-brane charge to equivariant Cohomotopy theory
- Towards higher topology
- A quantified coalgebraic van Benthem theorem
- Galois functors and generalised Hopf modules
- Categories and orbispaces
- Tensor products of rings \(\mathfrak{Z}L\) of zero-dimensional frames
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- Memoryless systems generate the class of all discrete systems
- On finitary functors and their presentations
- Trace semantics via determinization
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
- Logical quantization of topos theory
- Kernels, in a nutshell
- Profunctors in Mal'tsev categories and fractions of functors
- A preservation result for completely regular locales.
- Morita equivalence of inverse semigroups.
- The Eckmann-Hilton argument and higher operads
- Components of the fundamental category. II
- Fibrations and universal view updatability
- Weak factorizations, fractions and homotopies
- Morita equivalence of many-sorted algebraic theories
- A modular approach to defining and characterising notions of simulation
- A classification of geometric morphisms and localizations for presheaf categories and algebraic categories
- Mally's deontic logic: reducibility and semantics
- Locale morphisms with exact direct image functor in sheaves
- Groupoids and strong shape
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)
