Results 101 to 110 of about 6,556,269 (259)
Streamline Topology of Axisymmetric Flow Near Non-Simple Singular Point
Cumhuriyet Science Journal, 2018 Theaim of this paper is to obtain streamline patterns of axisymmetric flow andtheir bifurcations for 2-D incompressible flows close to non-simple singularpoint.
Ali Deliceoğlu, Deniz Bozkurt
doaj +1 more source
Kuramoto Model on Sierpinski Gasket I: Harmonic Maps
Studies in Applied Mathematics, Volume 156, Issue 5, May 2026.ABSTRACT Motivated by the study of attractors in the Kuramoto model (KM) on graphs, approximating the Sierpinski gasket (SG), we revisit the problem of harmonic maps (HMs) from SG to the circle, first considered by Strichartz. We provide a geometric proof of Strichartz's theorem, which states that for a prescribed degree and suitable boundary ...
Georgi S. Medvedev, Matthew S. Mizuhara
wiley +1 more source
Foundations of Stable Homotopy Theory
, 2020 The beginning graduate student in homotopy theory is confronted with a vast literature on spectra that is scattered across books, articles and decades. There is much folklore but very few easy entry points.
Roitzheim, Constanze +2 more
core
On the finite generation of ideals in tensor triangular geometry
Bulletin of the London Mathematical Society, Volume 58, Issue 5, May 2026.Abstract Inspired by Cohen's characterization of Noetherian commutative rings, we study the finite generation of ideals in tensor triangular geometry. In particular, for an essentially small tensor triangulated category K$\mathcal {K}$ with weakly Noetherian spectrum, we show that every prime ideal in K$\mathcal {K}$ can be generated by finitely many ...
Tobias Barthel
wiley +1 more source
Relative categories: Another model for the homotopy theory of homotopy theories
Indagationes Mathematicae, 2012 We lift Charles Rezk's complete Segal space model structure on the category of simplicial spaces to a Quillen equivalent one on the category of relative categories.
Barwick, C., Kan, D.M.
openaire +2 more sources
Abstract Homotopy Theory and the Thomason Model structure [PDF]
, 2016 There is a closed model structure on the category of small categories, called Thomason model structure, that is Quillen equivalent to the standard model structure on the category of topological spaces.
Bruckner, Roman
core
A note on relative Gelfand–Fuks cohomology of spheres
Bulletin of the London Mathematical Society, Volume 58, Issue 5, May 2026.Abstract We study the Gelfand–Fuks cohomology of smooth vector fields on Sd$\mathbb {S}^d$ relative to SO(d+1)$\mathrm{SO}(d+1)$ following a method of Haefliger that uses tools from rational homotopy theory. In particular, we show that H∗(BSO(4);R)$H^*(\mathrm{B}\mathrm{SO}(4);\mathbb {R})$ injects into the relative Gelfand–Fuks cohomology which ...
Nils Prigge
wiley +1 more source
Type Theory and Homotopy [PDF]
, 2012 The purpose of this survey article is to introduce the reader to a connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Martin-Lof into homotopy theory, resulting in new examples of higher-dimensional ...
openaire +2 more sources
The universal family of punctured Riemann surfaces is Stein
Bulletin of the London Mathematical Society, Volume 58, Issue 5, May 2026.Abstract We show that the universal Teichmüller family V(g,n)$V(g,n)$ of compact Riemann surfaces of genus g⩾0$g\geqslant 0$ with n>0$n>0$ punctures is a Stein manifold. We describe its basic function‐theoretic properties and pose some challenging questions. We show, in particular, that the space of fibrewise algebraic functions on the universal family
Franc Forstnerič
wiley +1 more source
The HoTT Library: A Formalization of Homotopy Type Theory in Coq
, 2017 International audienceWe report on the development of the HoTT library, a formal- ization of homotopy type theory in the Coq proof assistant. It formalizes most of basic homotopy type theory, including univalence, higher inductive types, and significant ...
Peter LeFanu Lumsdaine +13 more
core +1 more source