Image de couverture de livre

Discrete differential geometry in homotopy type theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Langmead, Greg
Format:	Preprint
Publié:	2025
Sujets:	Category Theory Differential Geometry
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Synthetic G-jet-structures in modal homotopy type theory
par: Cherubini, Felix
Publié: (2018)

Internal geometry and functors between sites
par: Waldorf, Konrad
Publié: (2024)

Thin homotopy and the signature of piecewise linear surfaces
par: Bischoff, Francis, et autres
Publié: (2025)

The holonomy Lie $\infty$-groupoid of a singular foliation I
par: Laurent-Gengoux, Camille, et autres
Publié: (2025)

Hypercovers in Differential Geometry
par: Glass, Cheyne, et autres
Publié: (2026)

On the normal functor in the category of smooth vector bundles
par: Kohal, Quentin Karegar Baneh
Publié: (2026)

The Bicategory of Lie Groupoids within Diffeological Groupoids
par: Watts, Jordan
Publié: (2022)

n-Groupoids and Stacky Groupoids
par: Zhu, Chenchang
Publié: (2008)

Internal absolute geometry I: desingularization
par: Bohlen, Karsten
Publié: (2021)

Quasi-coherent sheaves and D-modules in Derived Differential Supergeometry
par: Carchedi, David
Publié: (2025)

Relative Stability Conditions on Triangulated Categories
par: Liu, Bowen, et autres
Publié: (2024)

Moduli stacks of quiver bundles with applications to Higgs bundles
par: Azam, Mahmud, et autres
Publié: (2024)

The first step towards symplectic homotopy theory
par: Oganesyan, Vardan
Publié: (2023)

The Diffeological Čech-de Rham Obstruction
par: Minichiello, Emilio
Publié: (2024)

Diffeological Principal Bundles and Principal Infinity Bundles
par: Minichiello, Emilio
Publié: (2022)

A Simplicial Approach to Higher Geometric Quantization
par: Zhang, Qian
Publié: (2026)

Towards Riemannian diffeology
par: Kuribayashi, Katsuhiko, et autres
Publié: (2025)

On the structure of étale fibrations of $L_\infty$-bundles
par: Behrend, Kai, et autres
Publié: (2023)

Categorical generalization of BF theory coupled to gravity
par: López-Hernández, A. D., et autres
Publié: (2024)

Categorical and geometric methods in statistical, manifold, and machine learning
par: Lê, Hông Vân, et autres
Publié: (2025)

Similarity Algebra: A Framework for Approximate Algebraic and Lie Structures with Collapse to Classical Algebra
par: Ghojogh, Benyamin, et autres
Publié: (2026)

Random Surfaces and Higher Algebra
par: Lee, Darrick, et autres
Publié: (2023)

Some notes on tensor triangular geometry
par: Stevenson, Greg
Publié: (2026)

Representability in non-linear elliptic Fredholm analysis
par: Pardon, John
Publié: (2023)

A Groupoid Approach to the Riemann Integral (and Path Integral Quantization of the Poisson Sigma Model)
par: Lackman, Joshua
Publié: (2023)

Differential graded manifolds of finite positive amplitude
par: Behrend, Kai, et autres
Publié: (2023)

TQFTs and quantum computing
par: Azam, Mahmud, et autres
Publié: (2022)

The Surface Signature and Rough Surfaces
par: Lee, Darrick
Publié: (2024)

Distributivity, affineness, and the structure sheaf
par: Jiang, Andy, et autres
Publié: (2026)

Symplectic double groupoids and the generalized Kähler potential
par: Álvarez, Daniel, et autres
Publié: (2024)

Polynomials in homotopy type theory as a Kleisli category
par: Harington, Elies, et autres
Publié: (2024)

Connections on a principal Lie groupoid bundle and representations up to homotopy
par: Chatterjee, Saikat, et autres
Publié: (2025)

Pullbacks in tangent categories and tangent display maps
par: Cruttwell, Geoffrey, et autres
Publié: (2025)

Stereotype Dualities in Geometry
par: Akbarov, S. S.
Publié: (2023)

Projective metric geometry of tropical nuclei: gap matrices, event loci, and order chambers
par: Gastaldi, Juan Luis, et autres
Publié: (2026)

Residual regularity in tensor triangular geometry
par: Van Rooy, Emmy
Publié: (2026)

Higher Topos Theory in Physics
par: Schreiber, Urs
Publié: (2023)

Theorem of the heart for Weibel's homotopy $K$-theory
par: Efimov, Alexander I.
Publié: (2026)

Deformation theory for a morphism in the derived category with fixed lift of the codomain
par: Belmans, Pieter, et autres
Publié: (2025)

Convexity in tensor triangular geometry
par: Zou, Changhan
Publié: (2025)