# A construction for the free $\omega$-category generated by a globular set

The forgetful functor from strict $$\omega$$-categories to globular sets has a left adjoint. Where can one find an explicit construction for this free functor?