Entry tags:
(no subject)
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.