Internal sums for synthetic fibered (∞,1)-categories
-
Published:2024-09
Issue:9
Volume:228
Page:107659
-
ISSN:0022-4049
-
Container-title:Journal of Pure and Applied Algebra
-
language:en
-
Short-container-title:Journal of Pure and Applied Algebra
Funder
US Army Research Office
Reference92 articles.
1. Homotopy theoretic models of identity types;Awodey;Math. Proc. Camb. Philos. Soc.,2009
2. Fibrations of ∞-categories;Ayala;High. Struct.,2020
3. Fibrations in ∞-category theory;Barwick,2018
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献