Results 1 to 10 of about 6,556,269 (259)
Modalities in homotopy type theory [PDF]
Logical Methods in Computer Science, 2020 Univalent homotopy type theory (HoTT) may be seen as a language for the category of $\infty$-groupoids. It is being developed as a new foundation for mathematics and as an internal language for (elementary) higher toposes.
Egbert Rijke +2 more
doaj +3 more sources
Mathematics, 2021 In this manuscript, some tripled fixed point results were derived under (φ,ρ,ℓ)-contraction in the framework of ordered partially metric spaces. Moreover, we furnish an example which supports our theorem.
Hasanen A. Hammad +2 more
doaj +3 more sources
Torus actions, Morse homology, and the Hilbert scheme of points on affine space [PDF]
Épijournal de Géométrie Algébrique, 2021 We formulate a conjecture on actions of the multiplicative group in motivic homotopy theory. In short, if the multiplicative group G_m acts on a quasi-projective scheme U such that U is attracted as t approaches 0 in G_m to a closed subset Y in U, then ...
Burt Totaro
doaj +1 more source
Homotopy Transfer and Effective Field Theory II: Strings and Double Field Theory [PDF]
Fortschritte der Physik, 2021 We continue our study of effective field theory via homotopy transfer of L∞$L_\infty$ ‐algebras, and apply it to tree‐level non‐Wilsonian effective actions of the kind discussed by Sen in which the modes integrated out are comparable in mass to the modes
Alex S. Arvanitakis +3 more
semanticscholar +1 more source
Deformations and Homotopy Theory of Relative Rota–Baxter Lie Algebras [PDF]
Communications in Mathematical Physics, 2020 We determine the L∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L_ ...
A. Lazarev, Y. Sheng, Rong Tang
semanticscholar +1 more source
Digital homotopy relations and digital homology theories
Applied General Topology, 2021 In this paper we prove results relating to two homotopy relations and four homology theories developed in the topology of digital images. We introduce a new type of homotopy relation for digitally continuous functions which we call ``strong homotopy ...
P. Christopher Staecker
doaj +1 more source
Motives and homotopy theory in logarithmic geometry
Comptes Rendus. Mathématique, 2022 This document is a short user’s guide to the theory of motives and homotopy theory in the setting of logarithmic geometry. We review some of the basic ideas and results in relation to other works on motives with modulus, motivic homotopy theory, and ...
Binda, Federico +2 more
doaj +1 more source
Canonicity and homotopy canonicity for cubical type theory [PDF]
Logical Methods in Computer Science, 2022 Cubical type theory provides a constructive justification of homotopy type theory. A crucial ingredient of cubical type theory is a path lifting operation which is explained computationally by induction on the type involving several non-canonical choices.
Thierry Coquand +2 more
doaj +1 more source
Algebraic Models of Cubical Weak Higher Structures [PDF]
Categories and General Algebraic Structures with Applications, 2022 In this article we recast some of the results developped in articles [19, 22] but in the setup of cubical geometry. Thus we define a monad on ℂ𝕊ets whose algebras are models of cubical weak ∞-groupoids with connections. In addition, we define a monad on
Camell Kachour
doaj +1 more source
Persistent homology and applied homotopy theory [PDF]
, 2020 This paper is a survey of persistent homology, primarily as it is used in topological data analysis. It includes the theory of persistence modules, as well as stability theorems for persistence barcodes, generalized persistence, vectorization of ...
G. Carlsson
semanticscholar +1 more source