A. Joyal, Notes on quasi-categoriesで quasi-category (weak Kan complex) のことを quategory とよんでいる．

http://arxiv.org/abs/1108.0652 http://arxiv.org/abs/1103.2082 http://arxiv.org/abs/0910.5695 これをガンマ関数の categorification と見ることができないか．そのとき，Stirling の公式の categorification として球面の安定ホモトピーや代数的 K 理論…

外延が増えていくのが帰納極限，内包が増えていくのが射影極限．