Related papers: Kernels, lax algebras, d\'ecalage, and supercohere…

We show that the nerve of a strict omega-category can be described algebraically as a simplicial set with additional operations subject to certain identities. The resulting structures are called sets with complicial identities. We also…

We give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved form the 1-skeleton of simply connected CW complexes. We also obtain a "one-step" topological proof of Mac…

This paper studies the complexity of evaluating functional query languages for complex values such as monad algebra and the recursion-free fragment of XQuery. We show that monad algebra with equality restricted to atomic values is complete…

Let g be a semisimple Lie algebra over the complex numbers. Fix a positive integer l (called the level). Let R(l,g) be the fusion algebra at level l. Then, there is an algebra homomorphism from the representation ring R(g) of g to R(l,g).…

This paper is to study vertex operator superalgebras which are strongly generated by their weight-$2$ and weight-$\frac{3}{2}$ homogeneous subspaces. Among the main results, it is proved that if such a vertex operator superalgebra $V$ is…

We derive explicit isomorphisms between certain congruence subgroups of the Siegel modular group, the Hermitian modular group over an arbitrary imaginary-quadratic number field and the modular group over the Hurwitz quaternions of degree 2…

We consider Stone algebras with a distinguished element $e$ satisfying the identity $e \to x = \neg \neg x$ for all elements $x$ of the algebra. We provide an adjunction between the category of such algebras and that of Boolean algebras.

The aim of this work is to study the notions of lax protomodular and Ord-Mal'tsev category at the level of (coherent) varieties of (pre)ordered algebras and to further compare them, as has been done in the non-ordered context. We…

We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets…

This paper contains several results about the structure of the congruence kernel C^(S)(G) of an absolutely almost simple simply connected algebraic group G over a global field K with respect to a set of places S of K. In particular, we show…

We prove a coherence theorem for actions of groups on monoidal categories. As an application we prove coherence for arbitrary braided $G$-crossed categories.

Let {\cal T} be a triangulated category, {\cal A} a full subcategory of {\cal T} and {\cal X} a functorially finite subcategory of {\cal A}. If {\cal A} has the properties that any {\cal X}-monomorphism of {\cal A} has a cone and any {\cal…

We present a general construction of the derived category of an algebra over an operad and establish its invariance properties. A central role is played by the enveloping operad of an algebra over an operad.

We study thick subcategories of derived categories of gentle algebras. Any thick subcategory of a derived category of a gentle algebra is generated by a set of string objects or a set of band objects. We show the thick subcategories…

We study monoidal structures on the category of (co)modules over a weak bialgebra. Results due to Nill and Szlach\'anyi are unified and extended to infinite algebras. We discuss the coalgebra structure on the source and target space of a…

A kernel in a digraph is an independent and absorbent subset of its vertex set. A digraph is critical kernel imperfect if it does not have a kernel, but every proper induced subdigraph does. In this article, we characterize asymmetrical…

In this note we present criteria on both symbols and integral kernels ensuring that the corresponding operators on compact manifolds belong to Schatten classes. A specific test for nuclearity is established as well as the corresponding…

There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category $\mathbf{Coh_{\sim}}$ (of small coherent categories, coherent functors and all…

Kernel methods have great promise for learning rich statistical representations of large modern datasets. However, compared to neural networks, kernel methods have been perceived as lacking in scalability and flexibility. We introduce a…

We prove several properties of kernels and cokernels in the category of augmented involutive stereotype algebras: 1) the morphisms of the augmented involutive stereotype algebras have kernels and cokernels, 2) the cokernel is preserved…