Modal fracture of higher groups

DOI10.1016/J.DIFGEO.2024.102176MaRDI QIDQ6614927zbMATH OpenFDO

Authors David Jaz Myers

Publication date 8 October 2024

Published in Differential Geometry and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.DIFGEO.2024.102176

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Category theory; homological algebra (18-XX)

Recommendations

• Differential cohomology theories as sheaves of spectra
• Axiomatic characterization of ordinary differential cohomology
• Uniqueness of differential characters and differential \(K\)-theory via homological algebra
• Relative differential cohomology
• scientific article; zbMATH DE number 5887484

Cites work

• A generalized Blakers–Massey theorem
• Axiomatic characterization of ordinary differential cohomology
• Axiomatic cohesion
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Characteristic forms and geometric invariants
• Convenient categories of smooth spaces
• Differential cohomology theories as sheaves of spectra
• Good fibrations through the modal prism
• Higher groups in homotopy type theory
• Homotopy theoretic models of identity types
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 5285446 (Why is no real title available?)
• scientific article; zbMATH DE number 4007261 (Why is no real title available?)
• scientific article; zbMATH DE number 3739803 (Why is no real title available?)
• scientific article; zbMATH DE number 3741604 (Why is no real title available?)
• scientific article; zbMATH DE number 3789519 (Why is no real title available?)
• scientific article; zbMATH DE number 48990 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 3625612 (Why is no real title available?)
• scientific article; zbMATH DE number 1078585 (Why is no real title available?)
• scientific article; zbMATH DE number 3450172 (Why is no real title available?)
• scientific article; zbMATH DE number 7352263 (Why is no real title available?)
• Iterated integrals of differential forms and loop space homology
• Modal descent
• Modalities in homotopy type theory
• On right adjoints to exponential functors
• On the ∞$\infty$‐topos semantics of homotopy type theory
• Quadratic functions in geometry, topology, and \(M\)-theory
• Semantics of higher inductive types
• Synthetic differential geometry
• Synthetic differential topology
• The simplicial model of univalent foundations (after Voevodsky)
• Théorie de Hodge. II. (Hodge theory. II)
• Univalent Foundations and the Equivalence Principle

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)