Related papers: Compact convolution

We construct for every $\infty$-operad $\mathcal{O}^\otimes$ with certain finite limits new $\infty$-operads of spectrum objects and of commutative group objects in $\mathcal{O}$. We show that these are the universal stable resp. additive…

We are studying properties of the name appointment in various categories of enriched graphs. The Yoneda lemma is generalized for continuous transforms between transports of enriched original graphs.

We show that, for a right exact functor from an abelian category to abelian groups, Yoneda's isomorphism commutes with homology and, hence, with functor derivation. Then we extend this result to semiabelian domains. An interpretation in…

We present a version of enriched Yoneda lemma for conventional (not infinity-) categories. We require the base monoidal category to have colimits, but do not require it to be closed or symmetric monoidal.

We give a short proof that the Yoneda embedding is natural for $\infty$-categories, and further prove that the space of natural transformations that are, pointwise, the Yoneda embedding, is contractible.

We study (vertically) normal lax double functors valued in the weak double category $\mathbb{C}\mathrm{at}$ of small categories, functors, profunctors and natural transformations, which we refer to as lax double presheaves. We show that for…

We provide an explicit construction of Hopf categories associated to comonoidal functors, generalizing \v{S}evera's construction of Hopf monoids through M-adapted functors. We discuss the example of the Hopf category whose underlying class…

In this note we formulate and give a self-contained proof of the Yoneda lemma for infinity categories in the language of complete Segal spaces.

We show that the category of categories with pullbacks and pullback preserving functors is cartesian closed.

Various models of $(\infty,1)$-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an $\infty$-cosmos. In a generic $\infty$-cosmos, whose…

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…

We generalise to a group homomorphism $\tau$ the $\chi$-graded categories of S\"{o}zer and Virelizier. These are categories in which both morphisms and objects have compatible degrees. We give a 'half-enriched' Yoneda lemma, a structure…

We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type.

We prove a compactness result with respect to $\Gamma$-convergence for a class of integral functionals which are expressed as a sum of a local and a non-local term. The main feature is that, under our hypotheses, the local part of the…

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 establish and advocate for a novel branch of category theory, centered around strong dinatural transformations (herein known as "paranatural transformations"). Paranatural transformations generalize natural transformations to…

Let $X$ be a locally compact topological space, $(Y,d)$ be a boundedly compact metric space and $LB(X,Y)$ be the space of all locally bounded functions from $X$ to $Y$. We characterize compact sets in $LB(X,Y)$ equipped with the topology of…

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

We prove the Yoneda lemma inside an elementary higher topos, generalizing the Yonda lemma for spaces.