Related papers: A new type of diagrams for modules
The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several logical systems can be expressed. Moreover, we identify a…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
Clifford theory establishes a relation between the representation theory of a finite group and its normal subgroups. In this paper, we establish the Clifford theory for the modular representations of finite groups. The proofs are based on…
EI-categories are a simultaneous generalisation of finite groups and finite quivers without oriented cycles. It is therefore a natural question to ask for a characterisation of finite representation type. For special classes of…
We give a new method for manufacturing complete minimal submanifolds of compact Lie groups and their homogeneous quotient spaces. For this we make use of harmonic morphisms and basic representation theory of Lie groups. We then apply our…
We classify module categories over the category of representations of quantum $SL(2)$ in a case when $q$ is not a root of unity. In a case when $q$ is a root of unity we classify module categories over the semisimple subquotient of the same…
The notion of cosilting module was recently introduced as a generalization of the notion of cotilting module. In this paper, we give a characterization of (partial) cosilting modules in terms of two-term cosilting complexes. Moreover, we…
A novel method of determining which Dynkin diagrams represent simple finite-dimensional Lie algebras over $\mathbb{C}$ is presented. It is based on a condition that is both necessary and sufficient for a suitably defined Cartan matrix to be…
We introduce some classes of genuine higher categories in homotopy type theory, defined as well-behaved subcategories of the category of types. We give several examples, and some techniques for showing other things are not examples. While…
We introduce moduli spaces of colored graphs, defined as spaces of non-degenerate metrics on certain families of edge-colored graphs. Apart from fixing the rank and number of legs these families are determined by various conditions on the…
A finite directed category is a $k$-linear category with finitely many objects and an underlying poset structure, where $k$ is an algebraically closed field. This concept unifies structures such as $k$-linerizations of posets and finite EI…
In this paper, we define an invariant, which we believe should be the substitute for total K-theory in the case when there is one distinguished ideal. Moreover, some diagrams relating the new groups to the ordinary K-groups with…
Unfamiliar or esoteric visual forms arise in many areas of visualization. While such forms can be intriguing, it can be unclear how to make effective use of them without long periods of practice or costly user studies. In this work we…
Cataloging planar diagrams using the depth concept is proposed.
In this paper we state some applications of Gr-category theory on the classification of crossed modules and on the classification of extensions of groups of the type of a crossed module.
In this study, we interpret the notion of homotopy of morphisms in the category of crossed modules in a category $\mathsf{C}$ of groups with operations using the categorical equivalence between crossed modules and internal categories in…
A diagrammatic presentation of functors and natural transformations and the virtues of biadjointness are discussed. We then review a graphical description of the category of Soergel bimodules and a diagrammatic categorification of positive…
Let K be a complete discretely valued field of mixed characteristics (0, p) with perfect residue field. One of the central objects of study in p-adic Hodge theory is the category of continuous representations of the absolute Galois group of…
Motivated by the theory of unitary representations of finite dimensional Lie supergroups, we describe those Lie superalgebras which have a faithful finite dimensional unitary representation. We call these Lie superalgebras unitary. This is…
We introduce two families of diagrammatic monoidal supercategories. The first family, depending on an associative superalgebra, generalizes the oriented Brauer category. The second, depending on an involutive superalgebra, generalizes the…