jcreed: (Default)
jcreed ([personal profile] jcreed) wrote2017-07-07 08:28 pm
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.

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting