Univalence in locally cartesian closed ∞-categories
Univalence in locally cartesian closed ∞-categories
复制标题
局部笛卡尔闭 â 范畴中的唯一性
DOI:
10.1515/forum-2015-0228
复制
发表时间:
--
影响因子:
0.8
通讯作者:
J. Kock
中科院分区:
文献类型:
--
作者:
D. Gepner;J. Kock
登录
查看更多内容
DOI:
--
发表时间:
2010
期刊:
影响因子:
--
作者:
Markus Spitzweck;P. Ostvaer
通讯作者:
P. Ostvaer
影响因子:
0.5
作者:
Michael Shulman
通讯作者:
Michael Shulman
DOI:
--
发表时间:
1985
期刊:
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
影响因子:
--
作者:
C. Cassidy;M. Hébert;G. M. Kelly
通讯作者:
G. M. Kelly
影响因子:
1.1
作者:
N. Gambino;Richard Garner
通讯作者:
Richard Garner
DOI:
--
发表时间:
2013
期刊:
影响因子:
--
作者:
David Gepner;R. Haugseng
通讯作者:
R. Haugseng