websites

wikis and the like

• The Stacks Project
• The nLab
• Joyal’s CatLab
• Kerodon
• Foundations of Relative Category Theory

books and resources

• The Electronic Library of Mathematics
• Euclid’s Elements with Coloured Diagrams and Symbols
• Analysis Situs (FR)
• EGA & SGA

blogs

• John Baez
• Jordan Ellenberg
• Persiflage
• My friend Maxime has a nice blog (FR)
• The HoTT blog is also nice

Let me include Twitter accounts:

• Cihan Posts Theorem

formalization stuff

• XenaProject
• The 1Lab for cubical type theory
• TypeTopology
• Lean Zulip
• Dedukti
• The Four Color Theorem in Coq, The Independence of the Continuum Hypothesis in Lean

databases

• GaloisDB: a database of number fields by groups
• ATLAS of Finite Group Representations
• The L-Functions and Modular Forms Database
• π-Base: topological properties and (counter)examples
• The Digital Library of Mathematical Functions
• The OEIS for Integer Sequences
• The Knot Atlas
• Optimal Packings

youtube channels

• 3Blue1Brown
• Mathologer
• Aleph0
• Quanta Magazine
• Voyage au pays des maths (FR)

misc

• A fun rabbithole to fall into: Part 1, Part 2 and Part 3. Please solve \(y(x^3-y)=z^3+3\) over \(\mathbb{Z}\).
• Tie Knot Generator

tools

• q.uiver: draw commutative diagrams easily
• arXiv2BibTeX
• TeXpaste
• Desmos, WolframAlpha, SageCell
• Check out IPE for making figures

games

• The Natural Number Game
• My own Seven Trees in One game
• Conway’s M(13) puzzle