scientific article; zbMATH DE number 1840601
From MaRDI portal
Publication:4783274
Recommendations
Cited in
(only showing first 100 items - show all)- 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?
- Kripke Semantics for Martin-Löf’s Extensional Type Theory
- Relating First-Order Set Theories and Elementary Toposes
- What do Freyd's toposes classify?
- A characterization theorem for geometric logic
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- An étalé space construction for stacks
- Partial recursive functions and finality
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- Forking independence from the categorical point of view
- Étale stacks as prolongations
- The basic Zariski topology
- A topos foundation for theories of physics: I. Formal languages for physics
- Relating first-order set theories, toposes and categories of classes
- Basic subtoposes of the effective topos
- An induction principle for consequence in arithmetic universes
- scientific article; zbMATH DE number 7692251 (Why is no real title available?)
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- A note on proper maps of locales
- Homotopy sheaves on generalised spaces
- The intrinsic topology of Martin-Löf universes
- Totally distributive toposes
- Topos models for physics and topos theory
- Sublocales in formal topology
- \(\mathbb{T}\)-motives
- The simplicial model of univalent foundations (after Voevodsky)
- Computable analysis with applications to dynamic systems
- The algebra of multirelations
- A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms
- Defining effectiveness using finite sets. A study on computability
- Constructive toposes with countable sums as models of constructive set theory
- Category theory of symbolic dynamics
- 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
- scientific article; zbMATH DE number 2222246 (Why is no real title available?)
- On the existence of Stone-Čech compactification
- Sobriety for equilogical spaces
- A minimalist two-level foundation for constructive mathematics
- An introduction to regular categories
- Triposes, q-toposes and toposes
- Ionads
- Lex colimits
- Left Kan extensions preserving finite products
- Syntactic categories for Nori motives
- Cosheaves and connectedness in formal topology
- Traces in symmetric monoidal categories
- 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
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)
