![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Olympics and Category Theory
The 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