а что можно обзорного почитать про возможные варианты формализмов н-группоидов, и н-категорий ?

я не уверен, что это уж совсем вопрос про н-категории, но полюбопытствую,
каков современный взгляд на гротендиковы тексты

http://people.math.jussieu.fr/~maltsin/groth/Derivateurs.html

и Капранов-Воеводский, Infinity groupoids and homotopy types,
http://www.numdam.org/item?id=CTGDC_1991__32_1_29_0 ?

(Reply to this) (Parent) (Thread)

>а что можно обзорного почитать про возможные варианты формализмов н-группоидов, и н-категорий ?

Есть статья Leinster'а:
A survey of definitions of n-category
http://www.tac.mta.ca/tac/volumes/10/1/10-01abs.html

Капранов и Воеводский пользуются самым первым определением
n-категории по Стриту (других тогда не было).

С дериваторами Гротендика долгое время ничего не происходило,
видимо, из-за того, что рукопись Гротендика не была опубликована.
Однако в последнее время появилось сразу несколько статей.
Cisinski в 2003 году опублиоквал обзорную статью.
Maltsiniotis опубликовал статью в 2007 году, в которой высказал гипотезу,
что дериваторы позволяют посчитать высшую К-теорию,
а также сформулирова гипотезу аддитивности. Он доказал это
для K_0, а через год Muro опубликовал доказательство для K_1.
Cisinski и Neeman в том же 2008 году опубликовали доказательство
гипотезы аддитивности.
Tabuada в 2007 году выложил преприант (http://arxiv.org/abs/0706.2420),
где даёт концептуальное описание высшей К-теории.
Как я понимаю, все это каким-то образом близко связано с гиперфункторами Хеллера, описанными в его статье 1988 года.
Но лучше спрашивать не меня, а какого-нибудь специалиста.

(Reply to this) (Parent)

Да, и ещё http://ncatlab.org.
Вики, которое создано и редактируется специалистами
по n-категориям.
Приложение к n-category cafe, упомянотуму ниже.

(Reply to this) (Parent)