>But now, minecraft also has a functor F:(openM)→E, where E is the category of entities, which has as objects just sets of entities and as morphisms the surject

>But now, minecraft also has a functor F:(openM)→E, where E is the category of entities, which has as objects just sets of entities and as morphisms the surjective maps I too learned about categories, functors, and morphisms in my set theory class .. Don't get me wrong I do know what all of those things are but I didn't learn about them in set theory.