Loading paper
On categories of o-minimal structures | Tomesphere