Related papers: Free globularily generated double categories
A new approach to the construction of general persistent polyhierarchical classifications is proposed. It is based on implicit description of category polyhierarchy by a generating polyhierarchy of classification criteria. Similarly to…
We solve the word problem for free double categories without equations between generators by translating it to the word problem for 2-categories. This yields a quadratic algorithm deciding the equality of diagrams in a free double category.…
We develop a compositional framework for formal synthesis of hybrid systems using the language of category theory. More specifically, we provide mutually compatible tools for hierarchical, sequential, and independent parallel composition.…
We investigate the notion of involutive weak globular $\omega$-categories via T.Leinster's approach: as algebras for the initial contracted globular operad in the bicategory of globular collections induced by the Cartesian monad of the free…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
This paper introduces the concept of gluing in a general category, enabling us to define categories that admit glued-up objects. To achieve this, we introduce the notion of a gluing index category. Subsequently, we provide an entirely…
In this paper we first state the classification of the prolongations of complex free fundamental graded Lie algebras. Next we introduce the notion of free pseudo-product fundamental graded Lie algebras and study the prolongations of complex…
As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…
We establish the functional relations between generating series of higher-order free cumulants and moments in higher-order free probability, solving an open problem posed fifteen years ago by Collins, Mingo, \'Sniady and Speicher. We…
In the first part of this article, we give an analysis of the free monad sequence in non-cocomplete categories, with the needed colimits explicitly parametrized. This enables us to state a more finely grained functoriality principle for…
For any dg algebra $A$ we construct a closed model category structure on dg $A$-modules such that the corresponding homotopy category is compactly generated by dg $A$-modules that are finitely generated and free over $A$ (disregarding the…
We give an elementary description of $2$-categories $\mathbf{Cat}\left(\mathcal{E}\right)$ of internal categories, functors and natural transformations, where $\mathcal{E}$ is a category modelling Lawvere's elementary theory of the category…
A new approach is suggested to characterize algebraically automorphisms of the category of free algebras of a given variety. It gives in many cases an answer to the problem set by the first of authors, if automorphisms of such a category…
In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimensional categorical structures analogous to classical, locally…
We give a new description of computads for weak globular $\omega$-categories by giving an explicit inductive definition of the free words. This yields a new understanding of computads, and allows a new definition of $\omega$-category that…
Composing with the inclusion $\mathsf{Set}\to\mathsf{Cat} $, a graph $G$ internal to $\mathsf{Set} $ becomes a graph of discrete categories, the coinserter of which is the category freely generated by $G$. Introducing a suitable definition…
Using diagrammatic techniques, we provide explicit functional relations between the cumulant generating functions for the biunitarily invariant ensembles in the limit of large size of matrices. The formalism allows to map two distinct areas…
Weakly globular double categories are a model of weak $2$-categories based on the notion of weak globularity, and they are known to be suitably equivalent to Tamsamani $2$-categories. Fair $2$-categories, introduced by J. Kock, model weak…
We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We consider structures on decorated 2-categories allowing us to formally implement arguments of sliding certain squares along…
We investigate the structure of subdirect products of groups, particularly their finiteness properties. We pay special attention to the subdirect products of free groups, surface groups and HNN extensions. We prove that a finitely presented…