Results 1 to 10 of about 1,165 (115)
Homotopy probability theory I [PDF]
Journal of Homotopy and Related Structures, 2013 9 pages, 2 figures ...
Drummond-Cole, G, Park, JS, Terilla, J
openaire +8 more sources
Dolbeault homotopy theory [PDF]
Transactions of the American Mathematical Society, 1978 For complex manifolds, we define “complex homotopy groups” in terms of the Dolbeault complex. Many theorems of classical homotopy theory are reflected in the properties of complex homotopy groups. Analytic fibre bundles yield long exact sequences of complex homotopy groups and various Hurewicz theorems relate complex homotopy groups to the Dolbeault ...
Neisendorfer, Joseph, Taylor, Laurence
openaire +2 more sources
Algebraic Theories in Homotopy Theory [PDF]
The Annals of Mathematics, 2002 An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that for a suitable choice of T giving such an algebra amounts to providing the space $A(t_1)$ with a familiar ...
openaire +3 more sources
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.
Mörtberg, Anders, Pujet, Loïc
openaire +2 more sources
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
, 2017 These notes describe some of the homotopy theory surrounding Davis-Januszkiewicz spaces, moment-angle complexes and their generalizations to polyhedral products. These spaces are defined by gluing together prod- ucts formed from pairs of spaces (X, A), where the gluing is determined by the faces of a simplicial complex K. The emphasis is on determining
openaire +3 more sources
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT Hybrid nanofluids, known for their superior thermal and electrical conductivity, have demonstrated remarkable potential in enhancing the heat transfer capability of conventional base fluids. This study analyzes the effects of viscous dissipation and heat radiation on two‐dimensional unsteady incompressible squeezing flow transporting hybrid ...
Hajra Batool +3 more
wiley +1 more source
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT This paper presents a comprehensive numerical analysis of magnetohydrodynamic (MHD) Casson nanofluid movement over a permeable, linearly stretching sheet, integrating the contributions of non‐uniform heat generation or absorption and chemical interaction.
Manoj Kumar Sahoo +3 more
wiley +1 more source
Metasurfaces and Metadevices for Topological Electromagnetic Waves
Advanced Physics Research, EarlyView.Optical topologies refer to diverse topological localized structures made by diverse parameters of light fields, such as vortices, skyrmions, and hopfions. This article navigates a direction of metasurface‐based integrated devices for generation, manipulation and detection of novel topologies of light, which would be a rapidly growing interdisciplinary
Rensheng Xie +3 more
wiley +1 more source