Dear All,

I have been gamifying (or so I'm thinking 😉 various mathematical notions beginning with sets, and up to colimit (albeit, at various degrees of definiteness):

https://grammarofmath.wordpress.com/

using reinforcement learning.

Does gamification of mathematics essentially mean that the architecture of mathematics can be displayed (in the sense of: https://github.com/mattearnshaw/lawvere/blob/master/pdfs/1989-display-of-graphics-and-their-applications-exemplifed-by-2-categories-and-the-hegelian-taco.pdf) statistically speaking?  Conceptual precursors of this school of mathematical thought are the objectifications of external diagram of a map as a graph of the map and internal diagram as a cograph (Lawvere & Rosebrugh, Sets for Mathematics, pp. 29-30, 63).

Just to make us seem relevant, cohesively variable objects of our everyday experiences is what mathematics is all about.  Thankfully, they lend themselves to be modeled as diagrams in a background category of discrete-and-constant sets (or, we are limiting the universe of discourse to presheaves), which means we are pretty much done if we gamify functions and their composition.

Your time permitting, please critique (unvarnished 😉

Thanking you

posina