Update README.md

groupoid · Feb 26, 2025 · 164744f · 164744f
1 parent 36944f5
commit 164744f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -180,7 +180,7 @@ Features: Simplicial types, primitives (Simplex, Chain, Monoid, Category, Group)
 Fit: Formalizes cat (e.g., "parity as a monoid"), verifies geometric proofs.
 Use Case: Operator proves simplicial or algebraic topology insights.
 
-### Heinz 
+### Jack 
 
 Role: A Minimal Framework for Homotopy Groups of Spheres.
 Features: Hopf Fibrations, Suspensions, Truncations, Π, Σ, Id, ℕ, ℕ∞.