1
$\begingroup$

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?

$\endgroup$
1

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.