Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Tom
top
accounts
reputation
activity
subscriptions
Top Questions
7
votes
Type Theory to Study $(\infty,n)$-Categories and $(r,n)$-Categories
ct.category-theory
higher-category-theory
infinity-categories
homotopy-type-theory
asked Aug 30, 2017 at 4:53
mathoverflow.net
Top Answers
5
Category theory for Algebraic Geometry
mathoverflow.net
Stack Exchange works best with JavaScript enabled