Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 6 of 6
I see there’s a paper out:
This is more general than Lurie’s result that we have recorded at adjoint (infinity,1)-functor theorem.
Someone should record their version on our page, or at least link to their paper.
Ok. I’ve put in something, but there’s no doubt a need to tidy up, and relate their language to what we may already have.
Thanks! Is the notion of “h-initial object” one that’s on the nLab anywhere else we can link to or make a stub?
I don’t think so, so I made a stub h-initial object.
I have added minim cross-linking with initial object in an (∞,1)-category. also added the redirect to the plural form.
We should probably say that “h-initial” is short for “homotopy-initial”.
1 to 6 of 6