The idea is to construct a kind of mathematical application in which any fundamental formal entity and/or operation has an ...