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.
tried to bring the old neglected entry sSet-category roughly into some kind of stubby shape. Added Porter-Cordier and LurieA.3 as references. The former was my motivation for doing this. Eventually it would be good to have here a detailed discussion of -category models for -category theory. See the discussion with Tim over in the other thread on the -Yoneda lemma.
(I don’t have time for this now. I am saying all this in the hope that somebody else has.)
It now says ’simplicially’! thanks.
added reference to Batanin’s article that shows that the homotopy coherent hom-objects between simplicial categories are in fact -categories.
added too sSet-category a (very) brief paragraph on simplicial localization and added the two original references by Dwyer and Kan.
added also a remark on how -categories serve as a context for modeling -topos theory and included the reference to Toën-Vezzosi’s work on this.
1 to 6 of 6