Axiomatic cohesion
From MaRDI portal
Recommendations
Cited in
(38)- The construction of \(\pi_0\) in Axiomatic Cohesion
- Monoid properties as invariants of toposes of monoid actions
- The hyperconnected maps that are local
- Sobriety for equilogical spaces
- On the relation between continuous and combinatorial
- Maps with discrete fibers and the origin of basepoints
- Categories of partial equivalence relations as localizations
- Deriving the manifestly qualitative world from a Pure-Power base: light-like networks
- A type theory for synthetic -categories
- scientific article; zbMATH DE number 7229466 (Why is no real title available?)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- The unity and identity of decidable objects and double-negation sheaves
- Internal universes in models of homotopy type theory
- The canonical intensive quality of a cohesive topos
- Multimodal dependent type theory
- Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'
- Adjoint logic with a 2-category of modes
- F. William Lawvere (1937--2023): a lifelong struggle for the unity of mathematics
- Separable MV-algebras and lattice-ordered groups
- El irrazonable poder definitorio de las adjunciones
- Bi-directional models of ``radically synthetic differential geometry
- Topological quantum gates in homotopy type theory
- The least subtopos containing the discrete skeleton of \(\Omega\)
- Modal fracture of higher groups
- Decidable objects and molecular toposes
- Introduction: A personal tribute to Peter Freyd and Bill Lawvere
- Parametricity via cohesion
- Semantics of multimodal adjoint type theory
- Homotopy type theory as a language for diagrams of -logoses
- Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
- Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor
- Automata and coalgebras in categories of species
- Naive homotopy theories in Cartesian closed categories
- Weil 2-rigs
- Synthetic G-jet-structures in modal homotopy type theory
- Tininess and right adjoints to exponentials
- Singular cohomology from supersymmetric field theories
- FOIL axiomatized
This page was built for publication: Axiomatic cohesion
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5298124)
