Author:
Kapulkin Krzysztof,Szumiło Karol
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference24 articles.
1. Avigad, J., Kapulkin, K., Lumsdaine, P.L.: Homotopy limits in type theory. Math. Structures Comput. Sci. 25(5), 1040–1070 (2015)
2. Barwick, C., Kan, D.M.: A characterization of simplicial localization functors and a discussion of DK equivalences. Indag. Math. (N.S.) 23(1-2), 69–79 (2012)
3. Barwick, C., Kan, D.M.: Relative categories: another model for the homotopy theory of homotopy theories. Indag. Math. (N.S.) 23(1-2), 42–68 (2012)
4. Cisinski, D.-C.: Catégories dérivables. Bull. Soc. Math. France 138(3), 317–393 (2010)
5. Cordier, J.-M.: Sur la notion de diagramme homotopiquement cohérent. Cahiers Topologie Géom. Différentielle 23 (1), 93–112 (1982). Third Colloquium on Categories, Part VI (Amiens 1980)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献