scientific article; zbMATH DE number 1840601
From MaRDI portal
Publication:4783274
Recommendations
Cited in
(only showing first 100 items - show all)- Observability in the univalent universe
- A comparison of norm maps
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- A study of algebraic structures and logics based on categories of rough sets
- Yoneda lemma for simplicial spaces
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Bousfield localisation and colocalisation of one-dimensional model structures
- Processes and unfoldings: concurrent computations in adhesive categories
- scientific article; zbMATH DE number 7453977 (Why is no real title available?)
- Filter quotients and non-presentable \((\infty,1)\)-toposes
- Monoid properties as invariants of toposes of monoid actions
- A categorical proof of the equivalence of local compactness of exponentiability in locale theory
- scientific article; zbMATH DE number 2151115 (Why is no real title available?)
- Adjoint maps between implicative semilattices and continuity of localic maps
- Modalities in homotopy type theory
- Maximal elements with minimal logic
- The stable category of preorders in a pretopos. II: The universal property
- Indexed type theories
- Incidence hypergraphs: injectivity, uniformity, and matrix-tree theorems
- Definable categories
- A novel approach to sheaves on diffeological spaces
- Every elementary higher topos has a natural number object
- Exploring mathematical objects from custom-tailored mathematical universes
- Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
- Tensor topology
- Compact Hausdorff locales in presheaf toposes
- A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
- Constructive modalities with provability smack
- Network models
- On stability of exactness properties under the pro-completion
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- On the geometric theory of local MV-algebras
- Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category
- Comparing material and structural set theories
- \(T_0\) topological spaces and \(T_0\) posets in the topos of \(M\)-\textbf{Sets}
- Syntactic forcing models for coherent logic
- Distributors and the comprehensive factorization system for internal groupoids
- Sets in homotopy type theory
- Syntax for semantics: Krull's maximal ideal theorem
- A short proof of the localic groupoid representation of Grothendieck toposes.
- Rigidification of algebras over essentially algebraic~theories
- Bundle functors and fibrations
- The enriched Grothendieck construction
- Fast left Kan extensions using the chase
- Products and coequalizers in pointed categories
- Quotients of span categories that are allegories and the representation of regular categories
- Local fibred right adjoints are polynomial
- Towards formal Baer criteria
- Effect algebras, presheaves, non-locality and contextuality
- Model topoi and motivic homotopy theory
- From parametric polymorphism to models of polymorphic FPC
- The exact completion for regular categories enriched in posets
- The hyperconnected maps that are local
- Structure sheaves of definable additive categories
- Sites whose topoi are the smooth representations of locally prodiscrete monoids
- Effect algebras, presheaves, non-locality and contextuality
- An essential, hyperconnected, local geometric morphism that is not locally connected
- A note on spherical functors
- Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
- Eliminating disjunctions by disjunction elimination
- The universal exponentiable arrow
- A topological groupoid representing the topos of presheaves on a monoid
- Categorical notions of fibration
- Concurrency theorems for non-linear rewriting theories
- Categorification, term rewriting and the Knuth-Bendix procedure
- Hopf monads: a survey with new examples and applications
- The comprehensive factorization of Burroni's T-functors
- Fibred-categorical obstruction theory
- Topological Galois theory
- Gabriel-Ulmer duality for topoi and its relation with site presentations
- Van Kampen colimits as bicolimits in Span
- Models of non-well-founded sets via an indexed final coalgebra theorem
- scientific article; zbMATH DE number 7379293 (Why is no real title available?)
- The many groupoids of a stably Gelfand quantale
- A characterisation of Lie algebras amongst anti-commutative algebras
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Filtered colimits in the effective topos
- Principal bundles as Frobenius adjunctions with application to geometric morphisms
- Locally bounded enriched categories
- A property of effectivization and its uses in categorical logic
- Dynamical systems and sheaves
- Non-well-founded trees in categories
- Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
- Lawvere–Tierney sheaves in Algebraic Set Theory
- A characterisation of the category of compact Hausdorff spaces
- Formal Hopf algebra theory. I: Hopf modules for pseudomonoids
- Cocomplete toposes whose exact completions are toposes
- Locally anisotropic toposes
- Pseudogroups and their torsors
- Operads revisited
- The localic isotropy group of a topos
- Well-foundedness in realizability
- A model for spacetime: the role of interpretation in some Grothendieck topoi
- The Weil-étale fundamental group of a number field. II
- MODULES OVER ÉTALE GROUPOID ALGEBRAS AS SHEAVES
- Ultrafilters, finite coproducts and locally connected classifying toposes
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
- Injective power objects and the axiom of choice
- scientific article; zbMATH DE number 7583437 (Why is no real title available?)
- Diads and their application to topoi
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 Q4783274)
