Olympics and Category Theory
Jul. 24th, 2016 10:42 amThe IOC's ruling wrt Russian participation in Rio '16 would make a lot more sense if it were put in terms of the Category Theory, instead of legalese English. Furthermore, a category-based solution could show the difference between the "before" and "after" logical structures. Having category-style diagrams would allow for efficient, if not completely automated, legal decisions, free of corruption and misinterpretation.
https://www.olympic.org/news/decision-of-the-ioc-executive-board-concerning-the-participation-of-russian-athletes-in-the-olympic-games-rio-2016
https://www.olympic.org/news/decision-of-the-ioc-executive-board-concerning-the-participation-of-russian-athletes-in-the-olympic-games-rio-2016