Related papers: Berger-Joyal duality and traces I

The Farrell-Jones Fibered Isomorphism Conjecture for the stable topological pseudoisotopy theory has been proved for several classes of groups. For example for discrete subgroups of Lie groups, virtually poly-infinite cyclic groups, Artin…

Fix a field $k$. When $\Delta$ is a simplicial complex on $n$ vertices with Stanley-Reisner ideal $I_\Delta$, we define and study an invariant called the $\textit{type defect}$ of $\Delta$. Except when $\Delta$ is of a single simplex, the…

In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits…

We establish cartesian model structures for variants of $\Theta_n$-spaces in which we replace some or all of the completeness conditions by discreteness conditions. We prove that they are all equivalent to each other and to the…

Let $A$ be a hereditary algebra. We construct a fundamental domain for the cluster category of $A$ inside the category of modules over the duplicated algebra $\bar{A}$ of $A$. We then prove that there exists a bijection between the tilting…

We extend some of the results of Bondal-Orlov on the equivalence of derived categories to the case of orbifolds by using the category of coherent orbifold sheaves.

Differential lambda-categories were introduced by Bucciarelli et al. as models for the simply typed version of the differential lambda-calculus of Ehrhard and Regnier. A differential lambda-category is a cartesian closed differential…

In a previous paper we proved a result of the type "invariance under twisting" for Brzezinski's crossed products. In this paper we prove a converse of this result, obtaining thus a characterization of what we call equivalent crossed…

The twin group $TW_n$ on $n$ strands is the group generated by $t_1, \dots, t_{n-1}$ with defining relations $t_i^2=1$, $t_it_j = t_jt_i$ if $|i-j|>1$. We find a new instance of semisimple Schur--Weyl duality for tensor powers of a natural…

Following the pattern from linear logic, the coKleisli category of a differential category is a Cartesian differential category. What then is the coEilenberg-Moore category of a differential category? The answer is a tangent category! A key…

Tilings of the plane resemble the simplicial and other complexes from algebraic topology, but have not been studied from this perspective. We construct finite categories corresponding to polygons with labeled directed edges, and introduce…

We prove a general result relating the shape of the Euler product of an $L$-function to the analytic properties of certain linear twists of the $L$-function itself. Then, by a sharp form of the transformation formula for linear twists, we…

In this paper, we generalize to the context of algebras some recent results on the existence of common hypercyclic vectors for families of products of backward shift operators. We also give, in a multi-dimensional setting, a positive answer…

I give an elementary proof of the known fact that the category $\mathfrak{F} \left( \Delta \right)$ of $\Delta -$filtered modules, associated to a given finite homological system $\left( \Delta ; \Omega , \leq \right) ,$ is closed under…

We propose the notion of a supercategory as an alternative approach to supermathematics. We show that this setting is rich to carry out many of the basic constructions of supermathematics. We also prove generalizations of a number of…

We show that the strict 1-category $\square$ of cubes -- defined to be the full subcategory of strict $\omega$-categories whose objects are the Gray tensor powers of the arrow category -- are dense in the $(\infty,1)$-category…

In this short survey we give a non-technical introduction to some main ideas of the theory of $\infty$-categories, hopefully facilitating the digestion of the foundational work of Joyal and Lurie. Besides the basic $\infty$-categorical…

We investigate a semigroup construction generalising the two-sided wreath product. We develop the foundations of this construction and show that for groups it is isomorphic to the usual wreath product. We also show that it gives a slightly…

We introduce `canonical' classes in the Selmer groups of certain Galois representations with a conjugate-symplectic symmetry. They are images of special cycles in unitary Shimura varieties, and defined uniquely up to a scalar. The…

We define the notion of a 2-operad relative to an operad, and prove that the 2-associahedra form a 2-operad relative to the associahedra. Using this structure, we define the notions of an $(A_\infty,2)$-category and $(A_\infty,2)$-algebra…