科研之友
微信
新浪微博
Facebook
分享链接
摘要
In this paper we define a sequence of monadsT((infinity,n))(n epsilon N) on the category infinity-Gr of infinity-graphs. We conjecture that algebras for T-(infinity,T-0), which are defined in a purely algebraic setting, are models of infinity-groupoids. More generally, we conjecture that T-(infinity,T-n)-algebras are models for (infinity,n)-categories. We prove that our (infinity,0)-categories are bigroupoids when truncated at level 2.
- 出版日期2015
