An algebraic definition of (, 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.)

Recommendations

Cited In (6)

This page was built for publication: An algebraic definition of \((\infty, N)\)-categories