受强制性开放获取政策约束的文章 - Chris Kapulkin了解详情
可在其他位置公开访问的文章:11 篇
The simplicial model of univalent foundations (after Voevodsky)
C Kapulkin, PLF Lumsdaine
Journal of the European Mathematical Society 23 (6), 2071–2126, 2021
强制性开放获取政策: US National Science Foundation, Natural Sciences and Engineering Research …
A cubical model for (∞, n)-categories
T Campion, K Kapulkin, Y Maehara
arXiv preprint arXiv:2005.07603, 2020
强制性开放获取政策: US National Science Foundation
A cubical approach to straightening
K Kapulkin, V Voevodsky
Journal of Topology 13 (4), 1682-1700, 2020
强制性开放获取政策: US Department of Defense
Equivalence of cubical and simplicial approaches to (∞, n)-categories
B Doherty, K Kapulkin, Y Maehara
Advances in Mathematics 416, 108902, 2023
强制性开放获取政策: Natural Sciences and Engineering Research Council of Canada
Cubical models of (∞, 1)-categories
B Doherty, K Kapulkin, Z Lindsey, C Sattler
Memoirs of the American Mathematical Society 297 (1484), 2024
强制性开放获取政策: Swedish Research Council
Homotopical inverse diagrams in categories with attributes
K Kapulkin, PLF Lumsdaine
Journal of Pure and Applied Algebra 225 (4), 106563, 2021
强制性开放获取政策: UK Engineering and Physical Sciences Research Council
Homotopy groups of cubical sets
D Carranza, K Kapulkin
Expositiones Mathematicae 41 (4), 125518, 2023
强制性开放获取政策: Natural Sciences and Engineering Research Council of Canada
Nonexistence of colimits in naive discrete homotopy theory
D Carranza, K Kapulkin, J Kim
Applied Categorical Structures 31 (5), 41, 2023
强制性开放获取政策: US National Science Foundation
2-adjoint equivalences in homotopy type theory
D Carranza, J Chang, C Kapulkin, R Sandford
Logical Methods in Computer Science 17 (1), 9 pp., 2021
强制性开放获取政策: Natural Sciences and Engineering Research Council of Canada
Closed symmetric monoidal structures on the category of graphs
C Kapulkin, N Kershaw
arXiv preprint arXiv:2310.00493, 2023
强制性开放获取政策: US National Science Foundation, Natural Sciences and Engineering Research …
The fundamental group(oid) in discrete homotopy theory
C Kapulkin, U Mavinkurve
arXiv preprint arXiv:2303.06029, 2023
强制性开放获取政策: US National Science Foundation
出版信息和资助信息由计算机程序自动确定