We model the mathematical process whereby new mathematical theories are invented. Here we explain the use of conceptual blending for this purpose, and show examples to illustrate the process in action. Our longerterm goal is to support machine and human mathemat-

Conceptual blending is presented as a meta-generator of mathematical concepts, by means of showing, among others, the following examples: The conceptual space of prime ideals over containtment-division rings is explicitly presented, by means of an implementation in HETS, as a blend (colimit) of the conceptual space of ideals over a commutative ring with… (More)

In Cognitive Science, conceptual blending has been proposed as an important cognitive mechanism that facilitates the creation of new concepts and ideas by constrained combination of available knowledge. It thereby provides a possible theoretical foundation for modeling high-level cognitive faculties such as the ability to understand, learn, and create new… (More)