(no subject)
Jul. 7th, 2017 08:28 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Struggling a bit with understanding how I can massage Finster-Mimram ω-categories into the data required by my attempt at a definition of weak ω-category without requiring too many things be equal on the nose. Might be a sign I got the definition wrong.