>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.
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.