This repository contains the Bourbaki sheets, the bbk golang package and the bbk CLI tool.
These sheets describe mathematical concepts, terms, results and notation. For the current index, see bourbakiproject.com.
A project to chip away at the mathematical tower of babel.
When things have only a name in common and the definition of being which corresponds to the name is different, they are called homonymous. [Aristotle, Categories 1]