scientific article; zbMATH DE number 1840601
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- The comprehensive factorization of Burroni's T-functors
- Filtered colimits in the effective topos
- The nominal/FM Yoneda lemma
- On the existence of Stone-Čech compactification
- Observability in the univalent universe
- Syntax for semantics: Krull's maximal ideal theorem
- Quotients of monoid extensions and their interplay with Baer sums
- Locale morphisms with exact direct image functor in sheaves
- On stability of exactness properties under the pro-completion
- On a generalization of equilogical spaces
- A minimalist two-level foundation for constructive mathematics
- Towards formal Baer criteria
- Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
- A characterisation of the category of compact Hausdorff spaces
- Characterizations of categories of commutative C^*-subalgebras
- The Hecke bicategory
- On inverse semigroup \(C^*\)-algebras and crossed products
- Noncommutative Topologies, Localization, and Sheaves
- Synthetic topology in Homotopy Type Theory for probabilistic programming
- Generalising the étale groupoid-complete pseudogroup correspondence
- Locally anisotropic toposes
- An algebraic approach to subframe logics. Intuitionistic case
- Monoidal Grothendieck construction
- The unity and identity of decidable objects and double-negation sheaves
- Three extensional models of type theory
- Automata-theoretic semantics of idealized Algol with passive expressions
- Coinductive predicates and final sequences in a fibration
- Localic metric spaces and the localic Gelfand duality
- Characterizations of Morita equivalent inverse semigroups.
- Fast left Kan extensions using the chase
- Quotients of span categories that are allegories and the representation of regular categories
- Duality for noncommutative frames
- Gabriel-Ulmer duality for topoi and its relation with site presentations
- Enriched regular theories
- Determinant map for the prestack of Tate objects
- scientific article; zbMATH DE number 7583437 (Why is no real title available?)
- On duality and model theory for polyadic spaces
- Pseudogroups and their torsors
- A functorial approach to monomorphism categories for species I
- Methods of constructive category theory
- Traces in symmetric monoidal categories
- Formal model theory and higher topology
- Model topoi and motivic homotopy theory
- Cocompletion of restriction categories
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- \(T_0\) topological spaces and \(T_0\) posets in the topos of \(M\)-\textbf{Sets}
- Bousfield localisation and colocalisation of one-dimensional model structures
- A topos for continuous logic
- Spatial logic and spatial model checking for closure spaces
- scientific article; zbMATH DE number 7229466 (Why is no real title available?)
- Fundamentals of compositional rewriting theory
- Syntactic forcing models for coherent logic
- On sheaves in finite group representations
- scientific article; zbMATH DE number 7692245 (Why is no real title available?)
- Unfolding Grammars in Adhesive Categories
- scientific article; zbMATH DE number 7577579 (Why is no real title available?)
- On embedding categories in groupoids
- A semantic hierarchy for intuitionistic logic
- Hopf monads: a survey with new examples and applications
- Adjoint maps between implicative semilattices and continuity of localic maps
- Explicit presentations of topological categories of gestures
- Glivenko sequent classes and constructive cut elimination in geometric logics
- Model-theoretic imaginaries and coherent sheaves
- An axiomatic account of weak triquotient assignments in locale theory
- Functoriality of modified realizability
- The category 𝒮hjIMSet of sheaves in MSet
- THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC
- Some forms of excluded middle for linear orders
- CHAD for expressive total languages
- Dependent Optics
- Nonstandard proof methods in toposes
- Sheaves on involutive quantales: Grothendieck quantales.
- Continuity and geometric logic
- A representation theorem for integral rigs and its applications to residuated lattices.
- Syntactic categories for Nori motives
- \(\widehat{\mathscr{D}}\)-modules on rigid analytic spaces. I.
- Sobriety for equilogical spaces
- Concurrency theorems for non-linear rewriting theories
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
- scientific article; zbMATH DE number 7692251 (Why is no real title available?)
- A topological groupoid representing the topos of presheaves on a monoid
- Operads revisited
- A Serre-Swan theorem for coisotropic algebras
- Reverse AD at higher types: pure, principled and denotationally correct
- A characterization of generalized existential completions
- An induction principle for consequence in arithmetic universes
- Well-foundedness in realizability
- Geometric morphisms between toposes of monoid actions: factorization systems
- Uniform locales and their constructive aspects
- Formal category theory in augmented virtual double categories
- Sublocales in formal topology
- Injective power objects and the axiom of choice
- Functorial data migration
- The Greenberg Functor is Site Cocontinuous
- Forking independence from the categorical point of view
- Additive Grothendieck pretopologies and presentations of tensor categories
- What should a generic object be?
- scientific article; zbMATH DE number 7453977 (Why is no real title available?)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
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)
