GitLab

Ouf, Proposition 1.3.5 is done. I need to wrap up this section with somme additional commentary on the weight of units and the name 'counting function'. I then need to move Examples 1.3.7 and 1.3.8 in the next section on inductive definition of free oo-categories

I maybe need to move up the beginning of section 1.3 to a section on the Eckmann-Hilton argument (maybe between actual section 1.1 and 1.2)

I am letting the last chapter aside for a bit and focusing on chapter 1 of the dissertation. I added a new file that contains the old version of chapter 1

I need to wrap up Corollary 6.3.15. Moreover, I thinking of moving up 6.3.12-13-14-15 before Lemma 6.3.6