2 problems

Full conservativity. The conservativity theorem should hold for every $\textsf{dRzk}$ derivation, without the ext-style-hypotheses condition.

A weak higher category is a higher category with composition associative and unital only up to coherent higher equivalences, while an associative $n$-category is the globular, semi…