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
- Double categories of relations relative to factorisation systems
- 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
- Naive homotopy theories in Cartesian closed categories
- Atomic toposes with co-well-founded categories of atoms
- 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
- The elementary theory of the 2-category of small categories
- 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
- Equivalence and conditional independence in atomic sheaf logic
- 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
- Pretorsion theories in lextensive categories
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- On the Weihrauch degree of the additive Ramsey theorem
- On the first-order parts of problems in the Weihrauch degrees
- 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
- Quantale valued sets: categorical constructions and properties
- 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?)
- Field theory via higher geometry. I: Smooth sets of fields
- An axiomatization of six-functor formalisms
- Conservation as translation
- Representations over diagrams of abelian categories. I: Global structure and homological objects
- 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
- Termination of graph transformation systems using weighted subgraph counting
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)
