Modal fracture of higher groups
From MaRDI portal
Publication:6614927
DOI10.1016/j.difgeo.2024.102176MaRDI QIDQ6614927
Publication date: 8 October 2024
Published in: Differential Geometry and its Applications (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Differential cohomology theories as sheaves of spectra
- On right adjoints to exponential functors
- Characteristic forms and geometric invariants
- The simplicial model of univalent foundations (after Voevodsky)
- Quadratic functions in geometry, topology, and \(M\)-theory
- Théorie de Hodge. II. (Hodge theory. II)
- Iterated integrals of differential forms and loop space homology
- Convenient categories of smooth spaces
- Homotopy theoretic models of identity types
- Synthetic Differential Topology
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Semantics of higher inductive types
- Modal descent
- Good Fibrations through the Modal Prism
- A generalized Blakers–Massey theorem
- Higher Groups in Homotopy Type Theory
- Modalities in homotopy type theory
- Homotopy Type Theory: Univalent Foundations of Mathematics
- Axiomatic characterization of ordinary differential cohomology
- Univalent Foundations and the Equivalence Principle
- On the ∞$\infty$‐topos semantics of homotopy type theory
This page was built for publication: Modal fracture of higher groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6614927)
