DOSEN PROFIL LENGKAP

continuous functions from one topological space to another are called homotopic (from Ancient Greek: ὁμός homós 'same, similar' and τόπος tópos 'place')...

space X is contractible if the identity map on X is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is...

topology, homotopical connectivity is a property describing a topological space based on the dimension of its holes. In general, low homotopical connectivity...

In biology, homotopic connectivity is the connectivity between mirror areas of the human brain hemispheres. Changes in the homotopic connectivity occur...

heterotopic, homotopic, enantiotopic, or diastereotopic. Homotopic groups in a chemical compound are equivalent groups. Two groups A and B are homotopic if the...

as: We also say that f and g are chain homotopic, or that f − g {\displaystyle f-g} is null-homotopic or homotopic to 0. It is clear from the definition...

In mathematics, homotopical algebra is a collection of concepts comprising the nonabelian aspects of homological algebra, and possibly the abelian aspects...

applies. This includes, among other lines of work, the construction of homotopical and higher-categorical models for such type theories; the use of type...

two continuous functions f , g : M → N {\displaystyle f,g:M\to N} are homotopic if they represent points in the same path-components of the mapping space...

stated in theorem 2-1 as "homotopic" and the function H: [0, 1] × [0, 1] → U as "homotopy between c0 and c1". However, "homotopic" or "homotopy" in above-mentioned...

The two dashed paths shown above are homotopic relative to their endpoints. The animation represents one possible homotopy....

equivalence. The Borel conjecture states that the map f {\displaystyle f} is homotopic to a homeomorphism. Since aspherical manifolds with isomorphic fundamental...

Within the doubly punctured plane this curve is homologous to zero but not homotopic to zero. Its winding number about any point is 0 despite the fact that...

Homotopic map of a graph...

collected into equivalence classes, called homotopy classes. Two mappings are homotopic if one can be continuously deformed into the other. These homotopy classes...

states that any continuous map f : X → Y between CW-complexes X and Y is homotopic to a cellular map, and if f is already cellular on a subcomplex A of X...

Textbooks in Mathematics, (2008). Brown, Ronald; Loday, Jean-Louis (1987). "Homotopical excision and Hurewicz theorems for n-cubes of spaces". Proceedings of...

induce the same map on homology. One says f and g are chain homotopic (or simply homotopic), and this property defines an equivalence relation between...

decomposition if and only if they are disjoint, no two of them are homotopic and none is homotopic to a boundary component, and the collection is maximal for...

Homotopy: Homotopic maps induce the same map in homology. That is, if g : ( X , A ) → ( Y , B ) {\displaystyle g\colon (X,A)\rightarrow (Y,B)} is homotopic to...

curve from past null infinity to future null infinity is fixed-endpoint homotopic to a curve in a topologically trivial neighbourhood of infinity. A 2013...

the same boundary, if σ , τ {\displaystyle \sigma ,\tau } are fiberwise homotopic to each other relative to the boundary, then they are equal: σ = τ {\displaystyle...

Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts...

for example, the Whitehead link has linking number 0, and thus is link homotopic to the unlink, but it is not isotopic to the unlink. The link group is...

compositions of elementary closed paths, so that in some sense they are homotopic to the trivial closed path. A matroid on a set Q is specified by a class...

:[a,b]\to U} be a smooth closed curve. If γ {\displaystyle \gamma } is homotopic to a constant curve, then: ∫ γ f ( z ) d z = 0 , {\displaystyle \int _{\gamma...

and a homotopy equivalence is a simple homotopy equivalence if it is homotopic to such a map. The obstruction to a homotopy equivalence being a simple...

homotopy category to the category of abelian groups. In particular, two homotopic maps from X to Y induce the same homomorphism on singular homology groups...

property of a graph. The property of being a connected space in topology. Homotopical connectivity, a property related to the dimensions of holes in a topological...

curve (CTC) on a Lorentzian manifold is timelike homotopic to a point (that is, null timelike homotopic); such a manifold is therefore said to be multiply...

endomorphisms of H is such that all maps from any finite complex Y to GL(H) are homotopic to a constant, for the norm topology on operators. A significant corollary...

and g#, or that f# and g# are chain homotopic. From the above proof outline, we can conclude that chain homotopic maps induce the same homomorphism on...

torus can be realized by homeomorphisms – every homotopy equivalence is homotopic to a homeomorphism. Thus the short exact sequence of the mapping class...

equal to, or greater than n: For 0 < i < n, any map from Si to Sn is homotopic (i.e., continuously deformable) to a constant map, so πi(Sn) is the trivial...

Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Quillen, Daniel G. (1967), Homotopical algebra, Lecture Notes...

spaces than homotopy theory. The two coincide on compacta dominated homotopically by finite polyhedra. Shape theory associates with the Čech homology...

retraction if it is a retraction and its composition with the inclusion is homotopic to the identity map on X. In this language, a deformation retraction still...

MR 3289090. Cantwell, John; Conlon, Lawrence (2015). "Hyperbolic geometry and homotopic homeomorphisms of surfaces". Geometriae Dedicata. 177: 27–42. arXiv:1305...

and / or C by a homotopic space, the homotopy pushout will also be homotopic. In this sense, the homotopy pushouts treats homotopic spaces as well as...

′ {\displaystyle \gamma '} are said to be homotopic. The relation " γ {\displaystyle \gamma } is homotopic to γ ′ {\displaystyle \gamma '} " is an equivalence...

thickened Whitehead link. Note that T 2 {\displaystyle T_{2}} is null-homotopic in the complement of the meridian of T 1 . {\displaystyle T_{1}.} This...

sets (or of infinity groupoids). Then, in presence of an appropriate homotopic machinery, one can develop a notion of derived stack as such a presheaf...

such that μ(e, e) = e and the maps x ↦ μ(x, e) and x ↦ μ(e, x) are both homotopic to the identity map through maps sending e to e. This may be thought of...

by another is a gauge transformation. If a gauge transformation isn't homotopic to the identity, it is called a large gauge transformation. In theoretical...

A(\mathbf {x} )=-\mathbf {x} .} The antipodal map preserves orientation (is homotopic to the identity map) when n {\displaystyle n} is odd, and reverses it...

In mathematics, specifically homotopical algebra, an H-object is a categorical generalization of an H-space, which can be defined in any category C {\displaystyle...

connectivity conn H ( X ) {\displaystyle {\text{conn}}_{H}(X)} to the homotopical connectivity, denoted by conn π ( X ) {\displaystyle {\text{conn}}_{\pi...

360 degree rotation is not homotopic to a null rotation, but a path that produces a double rotation (720°) is null-homotopic. The belt trick has been theoretically...

group of diffeomorphisms on the sphere; and all of the mappings in it are homotopic to the identity. Therefore, they all have Lefschetz number 2, also. Hence...

by gluing the boundary of a 2-cell onto the circle. The gluing map is homotopic to the identity map on the circle and so the complex is homotopy equivalent...

simplices of the domain, and (ii) replacement of the actual mapping by a homotopic one. This theorem was first proved by L.E.J. Brouwer, by use of the Lebesgue...

category theory, a branch of mathematics, an ∞-groupoid is an abstract homotopical model for topological spaces. One model uses Kan complexes which are...

lengths of the Fenchel–Nielsen coordinates are the lengths of geodesics homotopic to the 3g − 3 disjoint simple closed curves. The twists of the Fenchel–Nielsen...

of such submanifolds. Regard two morphisms as equivalent if they are homotopic via submanifolds of M, and so form the quotient category hBordM: The objects...

every continuous map f : S 1 → X {\displaystyle f\colon S^{1}\to X} is homotopic to a constant map. Locally simply connected. A space X is locally simply...

simplicial space satisfying some pullback conditions, making it look like a homotopical version of a category. More precisely, a simplicial set, considered as...

continuously in the ambient metric space, then we obtain the notion of the homotopic Fréchet distance between two curves. The leash cannot switch discontinuously...

the homology level, the conclusion can be extended to say that any map homotopic to f {\displaystyle f} has a fixed point as well. Note however that the...

the methods of algebraic topology and category theory to investigate homotopical generalizations of descent theory[H10] and Hopf–Galois extensions.[H09]...

deg ⁡ ( g ) {\displaystyle \deg(f)=\deg(g)} if and only if f and g are homotopic. Milnor, John W. (1997). Topology from the Differentiable Viewpoint. Princeton...

the Korteweg-De Vries (KdV) equation, describing waves in water, has homotopically distinct solutions. The mechanism of Lax pairs provided the needed topological...

intersection is homeomorphic to the strip S1×I. 2-balls are homotopically trivial and the strip is homotopically equivalent to the circle S1. So a topological classification...

Cisinski model structure is a special kind of model structure on topoi. In homotopical algebra, the category of simplicial sets is of particular interest. Cisinski...

m → N n of an m-dimensional manifold to an n-dimensional manifold is homotopic to an immersion, and in fact to an embedding for 2m < n; these are the...

topology, a manifold M is called topologically rigid if every manifold homotopically equivalent to M is also homeomorphic to M. A central problem in topology...

)}} . Given two triangulable spaces A , B {\displaystyle A,B} , the homotopical connectivity ( η π {\displaystyle \eta _{\pi }} ) of their join is at...

non-homotopic paths, one cannot get from any point at one time slice to any other point at the next time slice. This means that we can consider homotopic...

Miyaoka–Yau inequality on Chern numbers of surfaces, in addition to homotopical characterizations of the complex structures of the complex projective...

made in constructing the vector field on X × I yield distinct but chain homotopic maps and thus descend to the same isomorphism on homology. However, in...

proved that the Hopf map has Hopf invariant 1, and therefore is not null-homotopic. In fact it generates the homotopy group π3(S2) and has infinite order...

discovered some examples of simply-connected (indeed contractible, i.e. homotopically equivalent to a point) non-compact 3-manifolds not homeomorphic to R...

deformed as a CTC to a point (that is, a CTC and a point are not timelike homotopic), as the manifold would not be causally well behaved at that point. The...

more robust treatment of homotopy theory, enabling one to capture finer homotopical distinctions, such as differentiating two topological spaces that have...

In mathematics, at the intersection of algebraic topology and algebraic geometry, there is the notion of a Hopf algebroid which encodes the information...

be uniformly approximated by a smooth map and any homotopic smooth maps will be smoothly homotopic. If X {\displaystyle X} is an m {\displaystyle m} -manifold...

class of the chain unchanged (this says the subdivision operator is chain homotopic to the identity map on homology). In the relative homology H n ( X , A...

a homotopy theory of simplicial sets can be developed using standard homotopical algebra methods. Furthermore, the geometric realization and singular...

regular homotopic to a standard circle (any knot can be unknotted if the curve is allowed to pass through itself). The fact that it is homotopic is clear...

{F}}_{p(0)}{\overset {\sim }{\to }}{\mathcal {F}}_{p(1)}.} Moreover, two homotopic paths determine the same bijection. Hence, there is the well-defined functor...

topological spaces to abelian groups (or R {\displaystyle R} -modules). Two homotopic maps from X {\displaystyle X} to Y {\displaystyle Y} induce the same homomorphism...

Hilbert space. Every homotopy equivalence between two Hilbert manifolds is homotopic to a diffeomorphism. In particular every two homotopy equivalent Hilbert...

where f ∼ g {\displaystyle f\sim g} means f , g {\displaystyle f,g} are homotopic to each other. It is the set of the simplicial homotopy classes of maps...

a sort of successive approximation. Anodyne extension D. G. Quillen. Homotopical algebra. Lecture Notes in Mathematics, No. 43. Springer-Verlag, Berlin...

things as homotopy sections, i.e. a map σ : B → E such that p ∘ σ is homotopic (as opposed to equal) to the identity map on B. Thus it provides a complete...

{\displaystyle f_{1}} connected by a homotopy are said to be homotopic (or more precisely path-homotopic, to distinguish between the relation defined on all continuous...

class of a smooth complex line bundle (essentially because a circle is homotopically equivalent to C ∗ {\displaystyle \mathbb {C} ^{*}} , the complex plane...

Corollary 3.5.3. of Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. "Construction...

f ∘ g {\displaystyle f\circ g} and g ∘ f {\displaystyle g\circ f} are homotopic, by fibration homomorphisms, to the identities Id E 2 {\displaystyle \operatorname...

algebraic geometry. Derived algebraic geometry is a way of infusing homotopical methods into algebraic geometry, with two purposes: deeper insight into...

given simplicial complex to a much smaller cellular complex which is homotopic to the original one. This reduction can in fact be performed as the complex...

leave the topological plane, which may be thought of as an idealized homotopically trivial infinite rubber sheet, which retains a notion of proximity,...

Simple-connectedness is used to say that any two such curves with a common endpoint are homotopic (through paths fixing the endpoints), and uniqueness from the local formulation...

Increased connectivity with anterior cingulate cortex (ACC) and left homotopic dlPFC Functional profile: Attention and action inhibition Conflict resolution...

respectively. Some of Kan's later work concerned model categories and other homotopical categories. Especially noteworthy are his work with Aldridge Bousfield...

vanishes, the standard embedding and the inside-out one must be regular homotopic. In principle the proof can be unwound to produce an explicit regular...

1090/S0002-9939-1952-0047322-4. JSTOR 2032279. Fomenko, Anatoly; Fuchs, Dmitry. Homotopical Topology (2nd ed.). pp. 20–23. Dugundji, J. (1966). Topology. Allyn and...

Rejzner, and Christoph Schweigert [de] at Oberwolfach for the 2016 mini-workshop New Interactions between Homotopical Algebra and Quantum Field Theory...

continuous paths in X in which two continuous paths are equivalent if they are homotopic with fixed endpoints. The fundamental groupoid Π(X), or Π1(X), assigns...

π1(Y, y0): loops in the same equivalence class, i.e. homotopic loops in X, are mapped to homotopic loops in Y, because a homotopy can be composed with...

including representation theory and universal algebra; Homological algebra; Homotopical algebra; Topology using categories, including algebraic topology, categorical...

homotopy invariance of cohomology states that if two maps f, g: X → Y are homotopic to each other, then they determine the same pullback: f* = g*. In contrast...

{\displaystyle FG} is the identity and G F {\displaystyle GF} is chain-homotopic to the identity. Moreover, the maps are natural in X {\displaystyle X}...

approximation to f {\displaystyle f} . A simplicial approximation is homotopic to the map it approximates. See simplicial approximation theorem for more...

functions. It is an h-principle, since any such Legendrian submanifold is homotopic to the somewhat trivial one defined by F ( x I , y J ) = 0 {\displaystyle...

In particular, a counterclockwise interchange by half a turn is not homotopic to a clockwise interchange by half a turn. Lastly, if M is ⁠ R {\displaystyle...

point. Every topological group is homogeneous. Homotopic maps Two continuous maps f, g : X  →  Y are homotopic (in Y) if there is a continuous map H : X ×...

only if (Y,g) is locally symmetric of the same type as (X,g0) and f is homotopic to a homothetic covering (Y,g) → (X,g0). Katok's entropy inequality was...

}(f_{1},\ldots ,f_{n})\to K^{\bullet }(f_{1},\ldots ,f_{n})} that is homotopic to zero, meaning H i ( K ∙ ( f 1 , … , f n ) ) {\displaystyle H^{i}(K^{\bullet...

It can be shown that each such map can be continuously deformed to (is homotopic to) one of the standard maps S 1 → S 1 : s ↦ s n {\displaystyle S^{1}\to...

setting, some of the Dehn twists appearing in the lantern relation may be homotopic to the identity function, in which case the relation involves fewer than...

JSTOR 1969744. MR 0058971. Brown, Ronald; Loday, Jean-Louis (1987). "Homotopical excision, and Hurewicz theorems, for n-cubes of spaces". Proceedings...

under the assumptions on (M, g) and (N, h), every continuous map is homotopic to a harmonic map. The very existence of a harmonic map in each homotopy...

Thurston (1982, 2.3) showed that if a compact 3 manifold is prime, homotopically atoroidal, and has non-empty boundary, then it has a complete hyperbolic...

equivalent to y if and only if there exists a path c from x to y with f(c) homotopic to c as paths. The equivalence classes with respect to this relation are...

where the categories C n {\displaystyle C_{n}} keep track of the higher homotopical information up to level n {\displaystyle n} . Such a structure was later...

cellular approximation theorem says that every map between CW complexes is homotopic to a cellular map between them. 3.  The cellular homology is the (canonical)...

linking number is 0. It is not isotopic to the unlink, but it is link homotopic to the unlink. Although this construction of the knot treats its two loops...

topologically trivial 3 + 1 dimensions, this means spatial infinity is homotopically equivalent to the topological sphere S 2 {\displaystyle S^{2}} . So...

University of Latvia. Mikhailov's research interests include homological and homotopical algebra, algebraic K-theory, group theory, group rings, and category...

^{2}}\oplus \cdots ,\qquad u\in {\rm {U}}(H),} to show that it is actually homotopic to the trivial map onto a single point. This means that U(H) is weakly...

be induced by the Kan–Quillen model structure Quillen, Daniel (1967). Homotopical Algebra. Springer Nature. doi:10.1007/BFb0097438. ISBN 978-3-540-03914-3...

The coskeleton is needed to define the concept of hypercovering in homotopical algebra and algebraic geometry. Peter McMullen, Egon Schulte, Abstract...

cofinal. Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Lurie...

Aaron; Brady, Noel; Dani, Pallavi; Young, Robert (2013). "Homological and homotopical Dehn functions are different". Proc. Natl. Acad. Sci. USA. 110 (48):...

properties of the corresponding maps. In particular vector bundles inducing homotopic maps to the Grassmannian are isomorphic. Here the definition of homotopy...

algebraically atoroidal (meaning that every π1-injectively immersed torus is homotopic to a boundary component) then its interior carries a complete hyperbolic...

proofs are elements of inhabited types is generalized to the notion of homotopic equivalence of proofs (as paths in space, the identity type or equality...

engages perilesional M1, ipsilesional premotor cortex, contralesional homotopic areas and cerebello‑thalamo‑cortical circuits. Task‑oriented therapy and...

S^{2},} and proved that η {\displaystyle \eta } is essential, i.e., not homotopic to the constant map, by using the fact that the linking number of the...

of topology that deals with homotopic functions, i.e. functions from one topological space to another which are homotopic (the functions can be deformed...

h^{i}+h^{i+1}\circ d_{X}^{i}} for every i. It is straightforward to show that two homotopic morphisms induce identical morphisms on cohomology groups. We say that...

the homology of the original space. A much more general concept from homotopical algebra, including as special cases both the localization of spaces and...

marked hyperbolic surface then f ∗ α {\displaystyle f_{*}\alpha } is homotopic to a unique closed geodesic α x {\displaystyle \alpha _{x}} on M {\displaystyle...

Bálint Farkas, Markus Haase, Rainer Nagel, (2015, ISBN 978-3-319-16897-5) Homotopical Topology, Anatoly Fomenko, Dmitry Fuchs, (2016, 2nd ed., ISBN 978-3-319-23487-8)...

and moreover mapping cones become essentially unique (in a precise homotopical sense). Moreover, a stable ∞-category naturally encodes a whole hierarchy...

homological algebra and category theory Condensed mathematics Derivator Homotopical algebra List of homological algebra topics Weibel, Charles A. (1999)...

hypothesis – Hypothesis in mathematical category theory ∞-groupoid – Abstract homotopical model for topological spaces Simplicial set Kan complex – Concept in...

{\displaystyle {\hat {\mathbf {d} }}'(T^{d})} , they are said to be homotopically equivalent. For example a loop on a sphere can be thought as such a...

L_{E(0)}X} called the chromatic tower, such that its homotopy limit is homotopic to the original spectrum X {\displaystyle X} . The stages in the tower...

\lbrack \Phi (x,u),u\rbrack \end{cases}}} Because all sections of p are homotopic, the homotopy class of  f  is unique. The total space of a universal bundle...

mathematics, in particular algebraic topology, a p-compact group is a homotopical version of a compact Lie group, but with all the local structure concentrated...

expressions are 0 for all a. Two cycles are said to be homologous, or homotopic, if there is a cycle between A and IB, where IB denotes the C*-algebra...

Riemannian manifolds where the area of a minimal surface bounding a null-homotopic closed curve is bounded in terms of the length of that curve. The study...

does not map any element of T to zero. The group G0 consists of elements homotopic, in G, to the identity in G, the constant function 1. One can choose the...

from the connected component GL(4)+ to SO(4) and is harmless from a homotopical point of view. A spinc structure or complex spin structure on M is a...

{\displaystyle \ell _{n}} parameterizing the n {\displaystyle n} -th circle is not homotopic to a trivial loop. Thus, H {\displaystyle \mathbb {H} } has a nontrivial...

possible to give an inductive proof of Poincaré's lemma which does not use homotopical arguments. Let X m := I m {\displaystyle X_{m}:=I^{m}} , where I = (...

{\displaystyle g:M_{0}\to M_{1}} such that f 1 ∘ g {\displaystyle f_{1}\circ g} is homotopic to f 0 {\displaystyle f_{0}} . As long as we are dealing with differential...

MR 2522659. Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Lurie...

retraction is called a retract of the original space. A retraction which is homotopic to the identity is known as a deformation retraction. This term is also...

passage to the limit in the study of the qualitative leap from spaces to homotopical/homological objects. ... But category theory does not rest content with...

{\displaystyle f(b)-f(a)} ), since different paths with given endpoints are homotopic, hence homologous (a weaker condition). This case is called the gradient...

cover of H is given as the quotient of PH by the normal subgroup of null-homotopic loops. The projection PH → H descends to the quotient giving the covering...

MR 2522659. Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Hirschhorn...

can be used to prove that any orbispace path with fixed endpoints is homotopic to a unique geodesic. Applying this to constant paths in an orbispace...

i'\colon X\hookrightarrow \mathbb {R} ^{m}} are isotopic if they are homotopic through embeddings. Given a manifold or other suitable space X, with two...

any continuous map of X to the circle or to the higher spheres is null-homotopic. If a space X is contractible, then it is also acyclic, by the homotopy...

T_{i}} by having the meridian curve of the solid torus map to a curve homotopic to γ i {\displaystyle \gamma _{i}} . As long as the meridian maps to the...

cofibration is a closed inclusion. Mapping cylinders are quite common homotopical tools. One use of mapping cylinders is to apply theorems concerning inclusions...

map B → H P ∞ {\displaystyle B\rightarrow \mathbb {H} P^{\infty }} is homotopic to a cellular map factoring over the canonical inclusion H P k ↪ H P ∞...

1007/978-3-030-04738-2. ISBN 978-3-030-04738-2. S2CID 126907045. Yau, Donald (2019). Homotopical Quantum Field Theory. World Scientific. arXiv:1802.08101. doi:10.1142/11626...

Mathematicians in Berkeley, California (The Sullivan conjecture and homotopical representation theory). In 2012 he became a fellow of the American Mathematical...

x\mapsto (x,s)} be the inclusions. Then i 0 {\displaystyle i_{0}} is homotopic to i 1 {\displaystyle i_{1}} . Thus, i 0 ∗ f ¯ ( Ω ′ ) {\displaystyle...

MR 2522659. Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Cisinski...

homotopy type. It follows trivially that maps of the sphere into Mp are homotopic to maps of the sphere to F, that is, π n ( M p ) = [ S n , M p ] ≃ [ S...

same as that of the sphere S 3 {\displaystyle S^{3}} , but which is not homotopic to it. Tetrahedral symmetry Octahedral symmetry Binary icosahedral group...

two maps f , g : S n → S n {\displaystyle f,g:S^{n}\to S^{n}\,} are homotopic if and only if deg ⁡ ( f ) = deg ⁡ ( g ) {\displaystyle \deg(f)=\deg(g)}...

map B → C P ∞ {\displaystyle B\rightarrow \mathbb {C} P^{\infty }} is homotopic to a cellular map factoring over the canonical inclusion C P k ↪ C P ∞...

hole (it is homotopic to a single point). Therefore, the group of "holes" now has a single generator, namely a + b + c (it is homotopic to a+b+d). The...

between loops, with these morphisms identified if they are themselves homotopic. Weak inverses can always be assigned coherently: one can define a functor...

started his collaboration with Bertrand Toën. Together, they created homotopical algebraic geometry (HAG), whose more relevant part is derived algebraic...

\mathbf {R} ^{N}} for sufficiently large N {\displaystyle N} are regular homotopic, and hence induce the same normal bundle. The resulting class of normal...

this latter opus of approximately 2000 pages, further developed the homotopical ideas begun in Pursuing Stacks. Much of this work anticipated the subsequent...

that, roughly speaking, any homotopy equivalence of Haken manifolds is homotopic to a homeomorphism, i.e. that closed Haken manifolds are topologically...

the reduced homology groups of that complex. That way, one can give a homotopical definition of homology. Let X be a topological space and n ≥ 1 a natural...

\Delta _{m,n}} is min ( m , n ) − 1 {\displaystyle \min(m,n)-1} . The homotopical connectivity of the chessboard complex is at least min ( m , n , m +...

topologically rigid: roughly, any homotopy equivalence of Haken manifolds is homotopic to a homeomorphism (for the case of boundary, a condition on peripheral...

\Pi _{1}(Z_{2})} . The general proof follows by reducing Z to a space homotopically equivalent to it, but with fewer components in Z 1 ∩ Z 2 {\displaystyle...

Smith normal form algorithms, as found in the LinBox library. Simple homotopic reductions for pre-processing homology computations, as in the Perseus...

arXiv:math/0406081. doi:10.2140/agt.2005.5.653. Fomenko, Anatoly; Fuchs, Dmitry, Homotopical Topology Hatcher, Allen. "Spectral Sequences in Algebraic Topology" (PDF)...

⌋ {\displaystyle \lfloor p-1\rfloor } -dimensional triangulation are homotopic. The classical trace theory states that any Sobolev map u ∈ W 1 , p (...

X {\displaystyle X} , every map S p → X {\displaystyle S^{p}\to X} is homotopic to an embedding by a theorem of Whitney. On the other hand, every stably...

cohomology Motive (algebraic geometry) Motivic cohomology A¹ homotopy theory Homotopical algebra Niels Henrik Abel Carl Gustav Jacob Jacobi Jakob Steiner Julius...

∞-Categories" (PDF). Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Lurie...

"spectral algebraic geometry", the structure sheaf is replaced by a homotopical analog of a sheaf of commutative rings (for example, a sheaf of E-infinity...

homology, the study of closed model categories is sometimes thought of as homotopical algebra. The definition given initially by Quillen was that of a closed...

f : M → N {\displaystyle f\colon M\to N} between two smooth manifolds homotopic to a diffeomorphism? It turns out that the second ("uniqueness") question...

something extra that is not needed. Merker, for instance, argues that the homotopic connectivity of sensory pathways does the necessary work. According to...

illustration for the two-bus model is provided in Although there exist homotopic continuation techniques that alleviate the problem to some degree, the...

simply connected (which means being homotopically equivalent to a disk) the diagram is drawn on or homotopically equivalent to some other surface. It...

where, roughly speaking, two computer programs can be considered to be homotopic, i.e. compute the same results, if they can be "continuously" refactored...

functorial and Homeo0 acts trivially (because all elements are isotopic, hence homotopic to the identity, which acts trivially, and action on (co)homology is invariant...

implies, in particular, that the homological connectivity equals the homotopical connectivity when the latter is at least 1. In addition, the Hurewicz...

{\displaystyle f\circ g} and g ∘ f {\displaystyle g\circ f} are both homotopic to the identities. Two spaces are said to be homotopy equivalent if there...

⁠ q {\displaystyle q} ⁠, with two paths being equivalent if they are homotopic. Two such morphisms are composed by first following the first path, then...

suspension of some iteration of a map between finite CW-complexes is null-homotopic iff it is zero in complex cobordism. This was proven by Ethan Devinatz...

topos (Higher categories and theory of toposes). Higher Categories and Homotopical Algebra, a mathematical textbook about higher category theory by Denis-Charles...

homotopy equivalences of finite connected CW-complexes. If f and g are homotopic, then τ ( f ) = τ ( g ) {\displaystyle \tau (f)=\tau (g)} . Topological...

interpretation that every type has a trivial homotopical structure where any two paths between the same points are homotopical (equivalently, as in axiom K, all...

open and closed in [0, 1]. This is a contradiction. The comb space is homotopic to a point but does not admit a strong deformation retract onto a point...

curve (CTC). No CTC can be continuously deformed as a CTC (is timelike homotopic) to a point, as that point would not be causally well behaved. Therefore...

ISBN 0-521-28702-2, MR 0651714 Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Street...

{\displaystyle CX} by C X ∖ { x 0 } {\displaystyle CX\setminus \{x_{0}\}} is homotopic to S X {\displaystyle SX} , the suspension of X {\displaystyle X} , thus...

Lie groups and Lie algebras, conformal field theory, homological and homotopical algebra. In 1969, Feigin graduated from the Moscow Mathematical School...

associated disk bundle. It turns out, the boundary of this bundle is homotopically equivalent to a sphere S 2 n − 1 {\displaystyle S^{2n-1}} , but in certain...

disjoint simple closed curves on the boundary of a three manifold are freely homotopic then they cobound a properly embedded annulus. This should not be confused...

quasiconformal self-homomorphisms of a Riemann surface H/Γ modulo those homotopic to the identity—can be identified with the outer automorphism group of...

from some nuclear matter properties. In field theory, skyrmions are homotopically non-trivial classical solutions of a nonlinear sigma model with a non-trivial...

arXiv:0708.2832 Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1-108-47320-0. Clemens...

Proposition 6.2.15. Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Land...

{\displaystyle \mathrm {PGL} (2,\mathbb {C} )} that any Möbius function is homotopic to the identity. Indeed, any member of the general linear group can be...

Archived from the original on 2015-04-20. Quillen, Daniel G. (1967). Homotopical Algebra. Lecture Notes in Mathematics. Vol. 43. Berlin, New York: Springer-Verlag...

Motivic cohomology is an invariant of algebraic varieties and of more general schemes. It is a type of cohomology related to motives and includes the Chow...

^{1}-\{0,1,\infty \}} . Since any loop around ∞ {\displaystyle \infty } is homotopic to a loop around 0 , 1 {\displaystyle 0,1} we only have to describe the...

case and with m ≥ 5 {\displaystyle m\geq 5} , f {\displaystyle f} is homotopic to a PL homeomorphism if and only if [ κ ( f ) ] = 0 ∈ [ M , G / P L ]...

from the original (PDF) on 2010-06-10. Brown, R.; Loday, J.-L. (1987). "Homotopical excision, and Hurewicz theorems, for n-cubes of spaces". Proceedings...

In mathematics, algebraic homotopy is a research program on homotopy theory proposed by J.H.C. Whitehead in his 1950 ICM talk, where he described it as:...

morphisms are the group U ( 1 ) {\displaystyle U(1)} . Note that the homotopical degree of K ( Z , 2 ) {\displaystyle K(\mathbb {Z} ,2)} is 2 {\displaystyle...

Gutenmacher: Homotopic topology. Akadémiai Kiadó, Budapest 1986, ISBN 963-05-3544-0. Fomenko, Anatoly; Fuchs, Dmitry (2016). Homotopical topology, 2nd...

sliding in the plane. In this case the non-holonomic solutions are not only homotopic to holonomic ones but also can be arbitrarily well approximated by the...

homotopy quotient where G {\displaystyle G} acts freely and is bundle homotopic to the induced bundle on X {\displaystyle X} by f {\displaystyle f} ....

result in cobordism. A general method of proof emerged, based upon a homotopical theory of modules over highly structured ring spectra. The homotopy category...

given a special commission at the Festival, and presented his Under The Homotopic Silhouettes for quintet. The Young Composers in Southeast Asia Competition...

the compression bodies. A closed curve is called essential if it is not homotopic to a point, a puncture, or a boundary component. A Heegaard splitting...

if two maps f , g : X → Y {\displaystyle f,g\colon X\rightarrow Y} are homotopic, then they induce the same homomorphism f ∗ = g ∗ : H n ( X ) → H n (...

derived category of sheaves on X {\displaystyle X} using the methods of homotopical algebra. Restricted versions of cotangent complexes were first defined...

morphisms are the group U ( 1 ) {\displaystyle U(1)} . Because of these homotopical properties, the construction generalizes: any given space K ( Z , n )...

longer satisfies the Jacobi identity axiom above. It instead fulfills a homotopic Jacobi identity. [ [ ϕ , [ [ ψ , χ ] ] ] ] + cycl. = D T ( ϕ , ψ , χ )...

properties, the extension functor has plenty and strong applications in homotopical algebra. Among the most well-known is its application in the construction...

Springer (1967) [1] Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Nikolaus...

"cusps" in Mn arise from decreasing towards zero lengths of edges for homotopically nontrivial subgraphs (e.g. an essential circuit) of a metric graph Γ...

midbrain/hindbrain boundary: a study using in situ hybridisation and chick/quail homotopic grafts". Development. 122 (12): 3785–97. doi:10.1242/dev.122.12.3785....

\gamma (0)=\gamma (1)=p} . We assume that γ {\displaystyle \gamma } is homotopic to zero. The curve can be developed into the tangent space at p {\displaystyle...

diffeomorphism group of M (only the identity component of mappings homotopic to the identity diffeomorphism if you wish) and Diffx1(M) the stabilizer...

Classification. Taylor and Francis, 2003. A.T. Fomenko, D. B. Fuchs Homotopical Topology. Springer. Second edition, GTM 273, 2016. Fomenko A.T. «Some...

Contributions to the theory of Lie–Massey operators Instigated the study of homotopical properties of categories of extensions based on the Retakh isomorphism...

{\displaystyle A_{\infty }} -algebras is a subset of homotopical algebra, where there is a homotopical notion of associative algebras through a differential...

{\displaystyle c} is not null-homotopic this mapping class is nontrivial, and more generally the Dehn twists defined by two non-homotopic curves are distinct elements...

specialist of algebraic geometry. He his best known for his systematic use of homotopical methods in algebraic geometry. Together with Gabriele Vezzosi and Jacob...

computing cohomology, is the fact the spaces X n {\displaystyle X_{n}} are homotopic to a CW complex X n {\displaystyle {\mathfrak {X}}_{n}} which differs...

follows: The vertices are the free homotopy classes of essential (neither homotopically trivial nor peripheral) simple closed curves on S {\displaystyle S}...

(Math 281)" (PDF). Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Pierre...

sufficient conditions for the existence of a smooth G-map properly G-homotopic to F and transverse to the zero-section? Dejter provided both types of...

classifying space whose pullbacks are the same bundle V, the maps must be homotopic. Therefore, the pullback by either f or g of any universal Chern class...

themselves are simplicial objects in the category of sets. Many concepts from homotopical algebra, which studies simplicial sets, can be transported over to the...

topological spaces with functions that are linear on the simplices and homotopic to the original maps (see also simplicial approximation). In general,...

C_{f}=M_{f}/(X\times \{0\})} which is the mapping cone of f {\displaystyle f} . Homotopically, the cofiber acts as a homotopy cokernel of the map f : X → Y {\displaystyle...

γ(Sp) is included in Fn(Ck). By taking k big enough, we see that γ is homotopic, with respect to the base point, to the constant map. ◻ {\displaystyle...

to abelian groups. For any spaces X and Y and any abelian group A, two homotopic maps f and g from X to Y induce the same homomorphism on sheaf cohomology:...

equivalence between M and N (or, between M × [0, 1], W and N × [0, 1]) is homotopic to a C-isomorphism. For n = 4, the topological h-cobordism theorem was...

(PDF). Hilton, Peter; Mislin, Guido; Roitberg, Joseph (June 1, 1973). "Homotopical Localization". Proceedings of the London Mathematical Society. s3-26...

compact support. If the closed Jordan curve γ separates the surface, it is homotopic to a smooth Jordan curve δ (with non-vanishing derivative) that separates...

category associated to it by formally inverting all weak equivalences. In homotopical algebra, the co- and contravariant model structures of the Kan–Quillen...

sets satisfying a combination of general homological, cohomological or homotopical spanning conditions. A different proof of Harrison-Pugh's results were...

near every singular point z 0 {\displaystyle z_{0}} has its Milnor fiber homotopic to a wedge of μ z 0 ( f ) {\displaystyle \mu _{z_{0}}(f)} circles (Milnor...

Jack Snoeyink he extended the algorithms for simple polygons to compute homotopic shortest paths among polygonal obstacles in the plane. He also invented...

M} ⁠. In particular, this theorem implies that M {\displaystyle M} is homotopic to its soul S {\displaystyle S} which has the dimension less than M {\displaystyle...

system of partial differential equations or of a quantum field theory homotopically distinct from the vacuum solution Soliton distribution, a type of discrete...

does. If the complexes K {\displaystyle K} and L {\displaystyle L} are homotopic and K ∈ Γ {\displaystyle K\in \Gamma } , then L ∈ Γ {\displaystyle L\in...

( X , A ) → ( Y , B ) {\displaystyle f_{0},f_{1}:(X,A)\to (Y,B)} are homotopic, then f 0 ∗ = f 1 ∗ : H ∗ ( Y , B ; G ) → H ∗ ( X , A ; G ) {\displaystyle...

{\displaystyle BGal(k)} . The pro-etale site gives a refinement and generates a homotopical object in simplicial profinite sets. This has a forgetful functor to...

Theorem 7.9.8. Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Lurie...

result is very important, in that it underpins homotopy theory, allowing homotopic deformations to be understood as continuous paths in the space of functions...

12) Lawson & Michelson 90, Equation (B.10) Novikov, S. P. (1964). "Homotopically equivalent smooth manifolds. I". Izvestiya Akademii Nauk SSSR. Seriya...

denote the set of closed curves in this projective plane that are not null-homotopic. (Each curve in Γ {\displaystyle \Gamma } is obtained by projecting a...

{\displaystyle \mathbb {R} ^{n}} is called simply connected if every loop is homotopic to a constant function. A typical example of a simply connected set is...

separating any others, there is a unique geodesic on the surface that is homotopic to the given curve. In this respect, ideal polyhedra are different from...

ISBN 978-1-4419-1523-8. Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Groth...

1007/978-3-0346-0189-4. Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Goerss...

the nerve construction to recover mapping spaces, and even get "higher-homotopical" information about maps. Let D be a category, and let X and Y be objects...

Because all finite-dimensional vector bundles over the circle are homotopically trivial, the K0 of Mr(C(T)), as an ordered abelian group, is the integers...

striking and important research in a variety of mathematical fields: homotopical algebra, geometry, topology and mathematical physics, including deep...

In mathematics, in particular abstract algebra and topology, a homotopy Lie algebra (or L ∞ {\displaystyle L_{\infty }} -algebra) is a generalisation of...

Σ2 can be lifted to a path in Σ1 and any two homotopic paths with the same end points lift to homotopic paths with the same end points; an immediate corollary...

of the cone construction) and provide at the same time a language for homotopical algebra. Derivators were first introduced by Alexander Grothendieck in...

condition for a distribution on a connected non-compact manifold to be homotopic to an integrable distribution. Thurston (1974, 1976) showed that any compact...

The same methods show that any continuous loop on a Riemann surface is homotopic to a smooth loop with nowhere zero derivative. If U is a bounded region...

Proposition 3.7.2. Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. "homotopy...

H^{k}(X_{0}\times U,\mathbf {Z} )\cong H^{k}(X_{0},\mathbf {Z} ),} and since homotopic maps induce identical maps on cohomology, this isomorphism depends only...

symplectic topology and significantly advanced the understanding of the homotopical properties of symplectic manifolds. Birth date from Library of Congress...

doi:10.4310/HHA.2003.v5.n1.a20. S2CID 13968745. Gaucher, P. (2009). "Homotopical interpretation of globular complex by multipointed d-space" (PDF). Theory...

no. 1, 61–82. Beligiannis, Apostolos; Reiten, Idun. Homological and homotopical aspects of torsion theories. Mem. Amer. Math. Soc. 188 (2007), no. 883...

ISSN 1245-530X. Cisinski, Denis-Charles (2019). Higher Categories and Homotopical Algebra. doi:10.1017/9781108588737. ISBN 978-1-108-58873-7. Calaque,...

measure of an arc is just the euclidean length of the horizontal segment homotopic to the arc. The foliation is also obtained by the level lines of the imaginary...

In algebraic geometry, a presheaf with transfers is, roughly, a presheaf that, like cohomology theory, comes with pushforwards, “transfer” maps. Precisely...

started working on algebraic topology. His PhD thesis was devoted to homotopic properties of the embedding spaces of circles into the 2-sphere or the...

topologically equivalent if they are isomorphic, although not necessarily homotopic. Even though the graph isomorphism problem is polynomial time reducible...

(NHP). Malhotra, S., & Lomber, S. G. (2007). Sound localization during homotopic and heterotopic bilateral cooling deactivation of primary and nonprimary...

Marcelo; Gitler, Samuel; Prieto, Carlos (2008). Algebraic Topology from a Homotopical Viewpoint. Springer Science & Business Media. ISBN 978-0-387-22489-3...

MR 2522659. Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Lurie...

MR 2522659. Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Lurie...

Marcelo; Gitler, Samuel; Prieto, Carlos (2008). Algebraic Topology from a Homotopical Viewpoint. Springer Science & Business Media. ISBN 978-0-387-22489-3...

1973, p. 4 Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Joyal...

MR 2522659. Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN 978-1108473200. Cisinski...