scientific article; zbMATH DE number 1840601
From MaRDI portal
Publication:4783274
Recommendations
Cited in
(only showing first 100 items - show all)- 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
- Functorial data migration
- Monocoreflections of completely regular frames
- On a generalization of equilogical spaces
- De Morgan's law and the theory of fields
- Model-theoretic imaginaries and coherent sheaves
- Categories with families and first-order logic with dependent sorts
- An axiomatic account of weak triquotient assignments in locale theory
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- Fundamentals of compositional rewriting theory
- Additive Grothendieck pretopologies and presentations of tensor categories
- Noncommutative Topologies, Localization, and Sheaves
- Functoriality of modified realizability
- Pretorsion theories in general categories
- Locally anisotropic toposes. II
- On the local Cartesian closure of exact completions
- Enriched regular theories
- Skew category algebras and modules on ringed finite sites
- Measure theory over Boolean toposes
- On toposes generated by cardinal finite objects
- Posets for which Verdier duality holds
- Characterizations of Morita equivalent inverse semigroups.
- A semantic hierarchy for intuitionistic logic
- Eliminating disjunctions by disjunction elimination
- Approximating triangulated categories by spaces
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- On the étale homotopy type of higher stacks
- Unfolding Grammars in Adhesive Categories
- Categorical complexity
- Functoriality of groupoid quantales. II
- scientific article; zbMATH DE number 1552079 (Why is no real title available?)
- \(\widehat{\mathscr{D}}\)-modules on rigid analytic spaces. I.
- On sheaves in finite group representations
- Groupoid sheaves as quantale sheaves
- Some invariant skeletons for \(\ell\)-u groups and MV-algebras
- Structural recursion with locally scoped names
- Monoidal Grothendieck construction
- On universal algebra over nominal sets
- Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
- A constructive manifestation of the Kleene-Kreisel continuous functionals
- Priestley-type dualities for partially ordered structures
- Event structures with symmetry
- An algebraic approach to subframe logics. Intuitionistic case
- Sheaves on involutive quantales: Grothendieck quantales.
- Quotients of monoid extensions and their interplay with Baer sums
- Continuity and geometric logic
- On embedding categories in groupoids
- A representation theorem for integral rigs and its applications to residuated lattices.
- Geometric Rules in Infinitary Logic
- Convenient categories of smooth spaces
- Selection functions, bar recursion and backward induction
- Dwyer-Kan homotopy theory of enriched categories
- Characterizations of categories of commutative \(C^*\)-subalgebras
- The Hecke bicategory
- On inverse semigroup \(C^*\)-algebras and crossed products
- Partial Horn logic and Cartesian categories
- Nominal Lawvere theories: a category theoretic account of equational theories with names
- A categorical model of the fusion calculus
- The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
- When is Flatness Coherent?
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)
