homotopy.io

Browser-based proof assistant for building and visualizing composite morphisms in higher category theory.

Webfree

homotopy.io is a browser-based proof assistant for constructing composite morphisms in higher category theory through a point-and-click interface, rendering them as 2D/3D geometries and 4D movies. Diagrams can be exported to LaTeX/TikZ or SVG for typesetting string diagrams. It's built for mathematicians and researchers working in category theory.

Website

Full match profile

Behind the summary, Matchbox keeps a richer profile of homotopy.io - the signals our matcher actually reads to decide when to surface it. It stays private; claim the listing to see and control it.

Problem & pain-point mapping
Who we surface it to (audience fit)
What it's a strong alternative to
Trust & credibility signals

Claim homotopy.io to unlock →

Try Matchbox with your own problem

Describe what is not working - we’ll show you whether homotopy.io (or something else) actually fits.

Try a problem