related http://golem.ph.utexas.edu/category/2012/06/the_gamification_of_higher_cat.html http://golem.ph.utexas.edu/category/2012/06/the_gamification... http:/

related http://golem.ph.utexas.edu/category/2012/06/the_gamification_of_higher_cat.html http://golem.ph.utexas.edu/category/2012/06/the_gamification... http://golem.ph.utexas.edu/category/2012/08/categorical_unification.html http://golem.ph.utexas.edu/category/2012/08/categorical_unif... http://math.ucr.edu/home/baez/rosetta.pdf http://math.ucr.edu/home/baez/rosetta.pdf