Algebraic Definition of weak (\infty; n)-Categories

Abstract: In this paper we define a sequence of monads

m a t h b b T^{(} i n f t y; n)

(n i n m a t h b b N)

on

i n f t y

-

m a t h b b G e x t r

, the category of the

i n f t y

-graphs. We conjecture that algebras for

m a t h b b T^{(} 0; n)

which are defined in a purely algebraic setting, are models of weak

i n f t y

-groupoids. And for all

n > 1

we conjecture that algebras for

m a t h b b T^{(} i n f t y; n)

which are defined in a purely algebraic setting, are models of weak

(i n f t y; n)

-categories.

Full work available at URL: https://arxiv.org/abs/1208.0660

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Cited In (5)

This page was built for publication: Algebraic Definition of weak ($\infty$; n)-Categories