How to prove equations using diagrams, part 3
Quick read
A blog post extending the initial functor semantics for diagrammatic equational reasoning from bare categories to cartesian categories (categories with finite products). It explains cartesian diagrams and term graphs, gives inference-rule motifs for diagrammatic calculation, and works through a toy example showing how to derive equations.
- Defines free cartesian diagrams as term graphs over an algebraic theory
- Lists cartesian initial-functor motifs used as inference rules
- Shows a worked toy example using congruence and factorization
Reactions
No reactions yet. Record a short about this link and it shows up here, in Reels and in the community feed.
Is epatters.org your site? Sign in to verify it and get a Verified badge, full stats and a link-back badge.
What we found on this site
- Served through
- Netlify
- Home page answered in
- 202 ms
- Trackers
- Google Analytics
- Ads
- None found
- RSS feed
- No
- Set up for phones
- Yes
- Real-visitor speed
- Not enough visitors for Google data
- Popularity
- Top 200,000 domain (Cloudflare)
- Google safety check
- No threats found
- Domain registered
- 2018
- Domain renews
- February 2027
Checked November 10, 2026 from the site’s own code and public records. See how the rest of the web compares in the NexURLs Internet Report.
Sites like How to prove equations using diagrams, part 3
- How to prove equations using diagrams, part 1epatters.org
A mathematical blog post explaining e-graphs (equality graphs) and how equations can be represented and manipulated as...
- Desmos Graphing Calculatordesmos.com
- BetterExplainedbetterexplained.com
BetterExplained is a website offering intuitive, concept-first math explanations and guides. Someone would visit to...
- 3Blue1Brown3blue1brown.com
A site offering mathematics lessons presented with distinctive visual explanations, covering topics like linear...
- Cut the Knotcut-the-knot.org
- Art of Problem Solvingartofproblemsolving.com
A learning platform offering online math classes, advanced textbooks, and community resources for grades 5-12. People...
More Learning & Books finds
- No, npm, “estee” is not a typo of “testem”smoores.dev
- How I use AI (Oct 2026)ben.stolovitz.com
- Compile-Time Dependent Typesthenumb.at
- The Little Book of Generative AI Foundations: An Intuitive Mathematical Primerarxiv.org
- Union Types and Option Typestibleiz.net
- The top ten reasons embedded projects get into trouble (2002)ganssle.com
Feeling lucky? Try the random website generator.
Where people went next
Nobody has added a next stop yet. Be the first.