Any good anagrams for modos?

In mathematics, specifically in category theory, modos is the modification of the default-colimiting which says that « each functor is the sum/colimit of its elements » . Modos shows the interdependence of computational-logic ( soundness lemma, cut-elimination, confluence lemma, completeness lemma ... ) along geometry ( completion, topos ... ) . Any secondary-school person is able to know such mathematics, which has been programmed onto the Coq computer.

more on Definitions.net »