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 3 of 3
Geoffroy Horel has just published a paper on arXiv that discusses internal categories in simplicial sets as a model for ∞-categories: http://arxiv.org/abs/1403.6873.
Nifty.
1 to 3 of 3