Higher quasi-categories vs higher Rezk spaces

We introduce a notion of n-quasi-categories as fibrant objects of a model category structure on presheaves on Joyal's n-cell category \Theta_n. Our definition comes from an idea of Cisinski and Joyal. However, we show that this idea has to be slightly modified to get a reasonable notion. We construct two Quillen equivalences between the model category of n-quasi-categories and the model category of Rezk \Theta_n-spaces showing that n-quasi-categories are a model for (\infty, n)-categories. For n = 1, we recover the two Quillen equivalences defined by Joyal and Tierney between quasi-categories and complete Segal spaces.Comment: 44 pages, v2: terminology changed (see Remark 5.27), Corollary 7.5 added, appendix A added, references added, v3: reorganization of Sections 5 and 6, more informal comments, new section characterizing strict n-categories whose nerve is an n-quasi-category, numbering has change

A Quillen's Theorem A for strict ∞\infty-categories I: the simplicial proof

The aim of this paper is to prove a generalization of the famous Theorem A of Quillen for strict $\infty$-categories. This result is central to the homotopy theory of strict $\infty$-categories developed by the authors. The proof presented here is of a simplicial nature and uses Steiner's theory of augmented directed complexes. In a subsequent paper, we will prove the same result by purely $\infty$-categorical methods.Comment: 51 pages, in French, v2: extended introduction, journal versio

Hidden Symmetry of the Differential Calculus on the Quantum Matrix Space

A standard bicovariant differential calculus on a quantum matrix space ${\tt Mat}(m,n)_q$ is considered. The principal result of this work is in observing that the $U_q\frak{s}(\frak{gl}_m\times \frak{gl}_n))_q$ is in fact a $U_q\frak{sl}(m+n)$-module differential algebra.Comment: 5 page