This math archive contains the elementary parts of the Math-in-the-Middle ontology. It covers the same material as the SMGloM terminology. In particular the two are trivially aligned. Ideally, for each SMGloM archive, we would have a MMT file that contains the same theories with the same symbols. But this is unrealistic during development of both the SMGloM and this MitM archive. So we only enforce a "unique name assumption": If there is a pair of symbols with different names, they are "morally different". I.e. where the two ontologies overlap, they are name-aligned.

**Responsible: **d.mueller@kwarc.info

- Views:
- Theories:
- Definitions:
- Constants:
- Files:
- OMDoc size: K
- Source size: K

- algebra
- arithmetics.omdoc
- calculus
- categories
- categories.omdoc
- combinatorics.omdoc
- elliptic_curves
- geometry
- misc.omdoc
- numerics
- relations.omdoc
- sets.omdoc
- topology.omdoc