Related papers: Double categories of profunctors

We propose a definition of higher inductive types in $(\infty,1)$-categories with finite limits. We show that the $(\infty,1)$-category of $(\infty,1)$-categories with higher inductive types is finitarily presentable. In particular, the…

We classify which dual functors on a unitary multitensor category are compatible with the dagger structure in terms of groupoid homomorphisms from the universal grading groupoid to $\mathbb{R}_{>0}$ where the latter is considered as a…

We propose a definition of involutive categorical bundle (Fell bundle) enriched in an involutive monoidal category and we argue that such a structure is a possible suitable environment for the formalization of different equivalent versions…

We define the notion of an enriched Reedy category, and show that if A is a C-Reedy category for some symmetric monoidal model category C and M is a C-model category, the category of C-functors and C-natural transformations from A to M is…

We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions…

This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy types of their classifying spaces. Double categories (Ehresmann, 1963) have well-understood geometric realizations, and…

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…

We prove a class of equivalences of additive functor categories that are relevant to enumerative combinatorics, representation theory, and homotopy theory. Let $\mathscr{X}$ denote an additive category with finite direct sums and split…

This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories…

A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times…

Building on our previous work on enriched universal algebra, we define a notion of enriched language consisting of function and relation symbols whose arities are objects of the base of enrichment. In this context, we construct atomic…

One of the major advantages of $\infty$-category theory over classical $1$-category theory is its robust and homotopically meaningful framework for taking (co)limits of diagrams of $\infty$-categories. However, it is both subtle and crucial…

The paper studies quadratic and Koszul duality for modules over positively graded categories. Typical examples are modules over a path algebra, which is graded by the path length, of a not necessarily finite quiver with relations. We…

We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a…

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…

Categories can be identified -- up to isomorphism -- with polynomial comonads on Set. The left Kan extension of a functor along itself is always a comonad -- called the density comonad -- so it defines a category when its carrier is…

In this paper, we present new concepts of Ann-categories, Ann-functors, and a transmission of the structure of categories based on Ann-equivalences. We build Ann-category of Pic-funtors and prove that each Ann-category can be faithfully…

It is well-known that pseudo functors from bicategories of spans are equivalent to Beck-Chevalley bifibrations, and therefore capture the relationships underlying the adjunctions suitable as semantics for existential quantification. This…

In a triangulated symmetric monoidal closed category, there are natural dualities induced by the internal Hom. Given a monoidal functor f^* between two such catgories and adjoint couples (f^*,f_*) and (f_*,f^!), we prove the necessary…

We develop a theory of enriched categories over a (higher) category M equipped with a class W of morphisms called homotopy equivalences. We call them Segal M_W -categories. Our motivation was to generalize the notion of "up-to-homotopy…