From 88995c1e82743d217942b41278e049d000d0196f Mon Sep 17 00:00:00 2001 From: calquezar Date: Thu, 9 Oct 2025 15:23:36 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a6c1371..03853ed 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# AplK +# The minimal Sullivan model of a simplicial complex The rational homotopy type of a topological space is a simplified version of the homotopy type, where all homotopy groups are tensored by $\mathbb{Q}$. Despite the lost information, rational homotopy has the advantage of being constructive. Due to Sullivan, for a particular topological space $X$ that satisfies some conditions, it is known theoretically how to obtain its rational homotopy type via the construction of a commutative differential graded algebra, called the Sullivan model of $X$. This algebra is quasi-isomorphic to the normalized singular cochain algebra of $X$, $C^*(X)$, and it allows us to establish a categorical equivalence between homotopy types of spaces and isomorphism classes of Sullivan models: