Update README.md

groupoid · Mar 1, 2025 · e6df66d · e6df66d
1 parent 293fc8a
commit e6df66d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -11,7 +11,8 @@ A^1-Homotopy Fabien Morel Type Theory (FMTT) is built on top of:
 8) N,Z,
 9) MGL (Motivic cobordism spectrum),
 10) BGL (Classifying space of the general linear group).
-It bridges type theory and motivic homotopy, offering a lightweight,
+
+FMTT bridges type theory and motivic homotopy, offering a lightweight,
 extensible platform for formalizing algebraic geometry's homotopical
 landscape. Applications to motivic cohomology and stable
 homotopy categories are discussed.