ビデオとテキスト〈解説論文〉
- Chris Schommer-Pries: The unicity of the homotopy theory of higher categories. https://www.youtube.com/watch?v=52HujNvYbAY
- Clark Barwick, Chris Schommer-Pries https://arxiv.org/abs/1112.0040
- Julia E. Bergner https://arxiv.org/abs/math/0610239
今は順不同だが整列する。
- simplicial set https://ncatlab.org/nlab/show/simplicial+set
- simplicial object https://ncatlab.org/nlab/show/simplicial+object
- simplicial space https://ncatlab.org/nlab/show/simplicial+topological+space
- simplicial category → simplicially enriched category 曖昧性は https://ncatlab.org/nlab/show/simplicial+category
- Nerve construction https://ncatlab.org/nlab/show/nerve
- Segal condition https://ncatlab.org/nlab/show/Segal+condition
- simplicially enriched category https://ncatlab.org/nlab/show/simplicially+enriched+category
- model category https://ncatlab.org/nlab/show/model+category
- weak factorization system https://ncatlab.org/nlab/show/weak+factorization+system
- homotopical category https://ncatlab.org/nlab/show/homotopical+category
- category with weak equivalences https://ncatlab.org/nlab/show/category+with+weak+equivalences
- relative category https://ncatlab.org/nlab/show/relative+category
- Quillen pair/adjunction https://ncatlab.org/nlab/show/Quillen+adjunction
- Quillen equivalnece https://ncatlab.org/nlab/show/Quillen+equivalence
- Segal map https://ncatlab.org/nlab/show/Segal+map
- Segal category https://ncatlab.org/nlab/show/Segal+category
- simplicial localization https://ncatlab.org/nlab/show/simplicial+localization
- fibrant-cofibrant replacement https://ncatlab.org/nlab/show/fibrant+replacement
- Dwyer-Kan equivalence https://ncatlab.org/nlab/show/model+structure+on+sSet-categories
- Reedy category https://ncatlab.org/nlab/show/Reedy+category
- Reedy model structure https://ncatlab.org/nlab/show/Reedy+model+structure
- Segal space https://ncatlab.org/nlab/show/Segal+space
- inner horn https://ncatlab.org/nlab/show/horn
- fundamental category https://ncatlab.org/nlab/show/fundamental+category
- fibrant object https://ncatlab.org/nlab/show/fibrant+object
- Rezk's model structure https://ncatlab.org/nlab/show/model+structure+for+complete+Segal+spaces
- discretization functor ?
- rigidification functor https://pages.uoregon.edu/ddugger/rigidqc.pdf