Results 41 to 50 of about 1,564 (187)

Cubical synthetic homotopy theory [PDF]

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
Homotopy type theory is an extension of type theory that enables synthetic reasoning about spaces and homotopy theory. This has led to elegant computer formalizations of multiple classical results from homotopy theory. However, many proofs are still surprisingly complicated to formalize.
Anders Mörtberg, Loïc Pujet
openaire   +2 more sources

Embedding Optimization of Layouts via Distortion Minimization

Computer Graphics Forum, EarlyView.
Abstract Given an embedding of a layout in the surface of a target mesh, we consider the problem of optimizing the embedding geometrically. Layout embeddings partition the surface into multiple disk‐like patches, making them particularly useful for parametrization and remeshing tasks, such as quad‐remeshing, since these problems can then be solved on ...
A. Heuschling, I. Lim, L. Kobbelt
wiley   +1 more source

A First Approximation to Homotopy Theory [PDF]

Proceedings of the National Academy of Sciences, 1953
Publisher Summary The suspension map, originally introduced by Freudenthal for the study of the homotopy groups of spheres, has proved to be important in general homotopy questions and it has been found that within the suspension range, the situation is simpler than in the general case.
Spanier, Edwin H., Whitehead, J. H. C.
openaire   +3 more sources

Holography as homotopy

Journal of High Energy Physics
We give an interpretation of holography in the form of the AdS/CFT correspondence in terms of homotopy algebras. A field theory such as a bulk gravity theory can be viewed as a homotopy Lie or L ∞ algebra. We extend this dictionary to theories defined on
Christoph Chiaffrino, Talha Ersoy, Olaf Hohm   +2 more
doaj   +1 more source

On computing local monodromy and the numerical local irreducible decomposition

Transactions of the London Mathematical Society, Volume 13, Issue 1, December 2026.
Abstract Similarly to the global case, the local structure of a holomorphic subvariety at a given point is described by its local irreducible decomposition. Geometrically, the key requirement for obtaining a local irreducible decomposition is to compute the local monodromy action of a generic linear projection at the given point, which is always well ...
Parker B. Edwards, Jonathan D. Hauenstein   +1 more
wiley   +1 more source

Homotopy covers of graphs

Electronic Journal of Graph Theory and Applications
We develop a theory of ×-homotopy, fundamental groupoids and covering spaces that applies to non-simple graphs, generalizing existing results for simple graphs.
Tien Chih, Laura Scull
doaj   +1 more source

Surface subgroups for cocompact lattices of isometries of H2n$\mathbb {H}^{2n}$

Journal of Topology, Volume 19, Issue 3, September 2026.
Abstract We prove the existence of surface subgroups within any cocompact lattice Γ$\Gamma$ in SO(2n,1)$\mathrm{SO}(2n,1)$ for n⩾2$n\geqslant 2$. This result addresses the cases missing from the work of Hamenstädt in 2015, who constructed surface subgroups in cocompact lattices for all other rank‐1 simple Lie groups of noncompact type.
Jeremy Kahn, Zhenghao Rao
wiley   +1 more source

Workshop on the homotopy theory of homotopy theories

, 2011
39 ...
openaire   +2 more sources

Towards a homotopy domain theory

Archive for Mathematical Logic, 2022
An appropriate framework is put forward for the construction of $λ$-models with $\infty$-groupoid structure, which we call \textit{homotopic $λ$-models}, through the use of an $\infty$-category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and $λ$-calculus, in the sense that ...
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz   +1 more
openaire   +3 more sources