Related papers: Free globularily generated double categories

This is the second installment of a two part series of papers studying free globularly generated double categories. We introduce the canonical double projection construction. The canonical double projection translates information from free…

This is the first part of a series of papers studying the problem of existence of double categories for which horizontal bicategory and object category are given. We refer to this problem as the problem of existence of internalizations for…

We classify certain $\mathbb{Z}_2 $-graded extensions of generalized Haagerup categories in terms of numerical invariants satisfying polynomial equations. In particular, we construct a number of new examples of fusion categories, including:…

We introduce a notion of globular multicategory with homomorphism types. These structures arise when organizing collections of "higher category-like" objects such as type theories with identity types. We show how these globular…

We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We make use of a specific instance of the Grothendieck construction to provide, for every bicategory equipped with a possible…

This paper introduces the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories; it explores its use in defining a double category of fractions, and shows that the…

We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external…

Products in double categories, as found in cartesian double categories, are an elegant concept with numerous applications, yet also have a few puzzling aspects. In this paper, we revisit double-categorical products from an unbiased…

Given a group $G$, we define suitable 2-categorical structures on the class of all small categories with $G$-actions and on the class of all small $G$-graded categories, and prove that 2-categorical extensions of the orbit category…

This paper introduces the construction of a weakly globular double category of fractions for a category and studies its universal properties. It shows that this double category is locally small and considers a couple of concrete examples.

In a previous paper [1] [MR4101040], we initiated a systematic study of semihypergroups and had a thorough discussion about some important analytic and algebraic objects associated to this class of objects. In this paper, we investigate…

Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these frameworks using central concepts of double category theory. We show that,…

Categorical probability has recently seen significant advances through the formalism of Markov categories, within which several classical theorems have been proven in entirely abstract categorical terms. Closely related to Markov categories…

Knop constructed a tensor category associated to a finitely-powered regular category equipped with a degree function. In recent work with Harman, we constructed a tensor category associated to an oligomorphic group equipped with a measure.…

We introduce the notion of residual finiteness for categories. In analogy with the group-theoretic setting, we prove that free categories and finitely generated subcategories of finite-dimensional vector spaces are residually finite.…

Applied category theory has recently developed libraries for computing with morphisms in interesting categories, while machine learning has developed ways of learning programs in interesting languages. Taking the analogy between categories…

We consider the problem of constructing the free bifibration generated by a functor of categories $p : D \to C$. This problem was previously considered by Lamarche, and is closely related to the problem, considered by Dawson, Par\'e, and…

We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "canonical" ones: the double functors which are surjective on…

We derive a generating series for the number of free subgroups of finite index in $\Delta^+ = \mathbb{Z}_p*\mathbb{Z}_q$ by using a connection between free subgroups of $\Delta^+$ and certain hypermaps (also known as ribbon graphs or "fat"…

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to…