Imagen de Portada

Discrete differential geometry in homotopy type theory

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Langmead, Greg
Formato:	Preprint
Publicado:	2025
Materias:	Category Theory Differential Geometry
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Synthetic G-jet-structures in modal homotopy type theory
por: Cherubini, Felix
Publicado: (2018)

Internal geometry and functors between sites
por: Waldorf, Konrad
Publicado: (2024)

Thin homotopy and the signature of piecewise linear surfaces
por: Bischoff, Francis, et al.
Publicado: (2025)

The holonomy Lie $\infty$-groupoid of a singular foliation I
por: Laurent-Gengoux, Camille, et al.
Publicado: (2025)

Hypercovers in Differential Geometry
por: Glass, Cheyne, et al.
Publicado: (2026)

On the normal functor in the category of smooth vector bundles
por: Kohal, Quentin Karegar Baneh
Publicado: (2026)

The Bicategory of Lie Groupoids within Diffeological Groupoids
por: Watts, Jordan
Publicado: (2022)

n-Groupoids and Stacky Groupoids
por: Zhu, Chenchang
Publicado: (2008)

Internal absolute geometry I: desingularization
por: Bohlen, Karsten
Publicado: (2021)

Quasi-coherent sheaves and D-modules in Derived Differential Supergeometry
por: Carchedi, David
Publicado: (2025)

Relative Stability Conditions on Triangulated Categories
por: Liu, Bowen, et al.
Publicado: (2024)

Moduli stacks of quiver bundles with applications to Higgs bundles
por: Azam, Mahmud, et al.
Publicado: (2024)

The first step towards symplectic homotopy theory
por: Oganesyan, Vardan
Publicado: (2023)

The Diffeological Čech-de Rham Obstruction
por: Minichiello, Emilio
Publicado: (2024)

Diffeological Principal Bundles and Principal Infinity Bundles
por: Minichiello, Emilio
Publicado: (2022)

A Simplicial Approach to Higher Geometric Quantization
por: Zhang, Qian
Publicado: (2026)

Towards Riemannian diffeology
por: Kuribayashi, Katsuhiko, et al.
Publicado: (2025)

On the structure of étale fibrations of $L_\infty$-bundles
por: Behrend, Kai, et al.
Publicado: (2023)

Categorical generalization of BF theory coupled to gravity
por: López-Hernández, A. D., et al.
Publicado: (2024)

Categorical and geometric methods in statistical, manifold, and machine learning
por: Lê, Hông Vân, et al.
Publicado: (2025)

Similarity Algebra: A Framework for Approximate Algebraic and Lie Structures with Collapse to Classical Algebra
por: Ghojogh, Benyamin, et al.
Publicado: (2026)

Random Surfaces and Higher Algebra
por: Lee, Darrick, et al.
Publicado: (2023)

Some notes on tensor triangular geometry
por: Stevenson, Greg
Publicado: (2026)

Representability in non-linear elliptic Fredholm analysis
por: Pardon, John
Publicado: (2023)

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

Differential graded manifolds of finite positive amplitude
por: Behrend, Kai, et al.
Publicado: (2023)

TQFTs and quantum computing
por: Azam, Mahmud, et al.
Publicado: (2022)

The Surface Signature and Rough Surfaces
por: Lee, Darrick
Publicado: (2024)

Distributivity, affineness, and the structure sheaf
por: Jiang, Andy, et al.
Publicado: (2026)

Symplectic double groupoids and the generalized Kähler potential
por: Álvarez, Daniel, et al.
Publicado: (2024)

Polynomials in homotopy type theory as a Kleisli category
por: Harington, Elies, et al.
Publicado: (2024)

Connections on a principal Lie groupoid bundle and representations up to homotopy
por: Chatterjee, Saikat, et al.
Publicado: (2025)

Pullbacks in tangent categories and tangent display maps
por: Cruttwell, Geoffrey, et al.
Publicado: (2025)

Stereotype Dualities in Geometry
por: Akbarov, S. S.
Publicado: (2023)

Projective metric geometry of tropical nuclei: gap matrices, event loci, and order chambers
por: Gastaldi, Juan Luis, et al.
Publicado: (2026)

Residual regularity in tensor triangular geometry
por: Van Rooy, Emmy
Publicado: (2026)

Higher Topos Theory in Physics
por: Schreiber, Urs
Publicado: (2023)

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

Deformation theory for a morphism in the derived category with fixed lift of the codomain
por: Belmans, Pieter, et al.
Publicado: (2025)

Convexity in tensor triangular geometry
por: Zou, Changhan
Publicado: (2025)