Related papers: Data structures for quasistrict higher categories
We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…
We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…
We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend…
Recently we have reformulated the octonions as quasissociative algebras (quasialgebras) living in a symmetric monoidal category. In this note we provide further examples of quasialgebras, namely ones where the nonassociativity is induced by…
We introduce the quasi-ordinarization transform of a numerical semigroup. This transform will allow to organize all the semigroups of a given genus in a forest rooted at all quasi-ordinary semigroups with the given genus. This construction…
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic…
In this paper, we extend Ocneanu's theory of connections on graphs to define a 2-category whose 0-cells are tracial Bratteli diagrams, and whose 1-cells are generalizations of unitary connections. We show that this 2-category admits an…
Given any Koszul algebra of finite global dimension one can define a new algebra, which we call a higher zigzag algebra, as a twisted trivial extension of the Koszul dual of our original algebra. If our original algebra is the path algebra…
We introduce higher dimensional hypergraphs, which is a generalization of Baez-Dolans's opetopic sets and Hermida-Makkai-Power's multigraphs. This is based on a simple combinatorial structure called shells and the formal composites of…
The main goal is to classify 4-dimensional real Lie algebras $\g$ which admit a para-hypercomplex structure. This is a step toward the classification of Lie groups admitting the corresponding left-invariant structure and therefore…
In this paper, we show Kazhdan-Lusztig categories, that is, the categories of lower bounded generalized weight modules for certain affine vertex operator superalgebras that are locally finite modules of the underlying finite dimensional Lie…
A cell algebra structure is found for a family of generalized Schur algebras previously studied by the author. This cell algebra structure is then used to construct the irreducible representations of these algebras and to determine when the…
We give a new construction of higher arithmetic Chow groups for quasi-projective arithmetic varieties over a field. Our definition agrees with the higher arithmetic Chow groups defined by Goncharov for projective arithmetic varieties over a…
We prove that the category of abstract Cuntz semigroups is bicomplete. As a consequence, the category admits products and ultraproducts. We further show that the scaled Cuntz semigroup of the (ultra)product of a family of C*-algebras agrees…
These are the notes for a minicourse held in Odessa (2016) and Belo Horizonte (2017). My aim was to provide a short introduction to basic notions of category theory and representation theory of finite-dimensional algebras. We learnt the…
We prove that Ad-semisimple conjugacy classes in a connected Lie group $G$ are closed embedded submanifolds of $G$. We also prove that if $\alpha:H\to G$ is a homomorphism of connected Lie groups such that the kernel of $\alpha$ is discrete…
We show that the category of algebraically cofibrant objects in a combinatorial and simplicial model category A has a model structure that is left-induced from that on A. In particular it follows that any presentable model category is…
We propose a four-way classification of two-dimensional semi-totalistic cellular automata that is different than Wolfram's, based on two questions with yes-or-no answers: do there exist patterns that eventually escape any finite bounding…
In this paper, we classify all simple jet modules for contact superconformal algebras $\mathcal{K}(N;\epsilon)$ with $N\neq4$. Then all simple quasifinite modules for $\widehat{\mathcal{K}}(N;\epsilon)$ ($N\neq4$), the universal central…
We introduce a new combinatorial structure: the superselector. We show that superselectors subsume several important combinatorial structures used in the past few years to solve problems in group testing, compressed sensing, multi-channel…