Related papers: Compact convolution

We show that the Yoneda embedding extends to an $(\infty,2)$-natural transformation. Furthermore, as such, it is uniquely determined by its value at the trivial $\infty$-category. We also study the naturality of the Yoneda lemma in its…

Spurred by the new examples found by Kornel Szlach\'anyi of a form of lax monoidal category, the author felt the time ripe to publish a reworking of Eilenberg-Kelly's original paper on closed categories appropriate to the laxer context. The…

This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…

Every right adjoint functor between presentable $\infty$-categories is shown to decompose canonically as a coreflection, followed by, possibly transfinitely many, monadic functors. Furthermore, the coreflection part is given a presentation…

Given symmetric monoidal infinity-categories C and D, subject to mild hypotheses on D, we define an infinity-categorical analog of the Day convolution symmetric monoidal structure on the functor category Fun(C, D). An E_infinity monoid for…

In this paper, the categorial property of compactness of an object, i. e. commuting of the corresponding $\Hom$ functor with coproducts, is studied in categories of $S$-acts and the corresponding structural properties of compact $S$-acts…

Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a new proof of the fact that every topos is adhesive. We also…

In this paper we construct an analogue of Lurie's "unstraightening" construction that we refer to as the "comprehension construction". Its input is a cocartesian fibration $p \colon E \to B$ between $\infty$-categories together with a third…

This paper examines the category theory of stratified set theory (NF and KF). We work out the properties of the relevant categories of sets, and introduce a functorial analogue to Specker's T-operation. Such a development leads one to…

We construct relative abelian categories in the sense of MacLane for models of algebraic systems in (co)complete abelian categories. As an example, we consider an analogue of Hochschild-Mitchell cohomology for the functor of Yoneda…

We recall the notions of a graded cocategory, conilpotent cocategory, morphisms of such (cofunctors), coderivations and define their analogs in $\mathbb L$-filtered setting. The difference with the existing approaches: we do not impose any…

We study the 2-category of elements from an abstract point of view. We generalize to dimension 2 the well-known result that the category of elements can be captured by a comma object that also exhibits a pointwise left Kan extension. For…

Let G be a finite group. The stable module category of G has been applied extensively in group representation theory. In particular, it has been used to great effect that it is a triangulated category which is compactly generated. Let H be…

This work presents an exposition of both the internal structure of derived category of an abelian category D*(A) and its contribution in solving problems, particularly in algebraic geometry. Calculation of some morphisms will be presented…

Two novel descriptions of weak {\omega}-categories have been recently proposed, using type-theoretic ideas. The first one is the dependent type theory CaTT whose models are {\omega}-categories. The second is a recursive description of a…

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…

We investigate the notion of involutive weak globular $\omega$-categories via Jacque Penon's approach. In particular, we give the constructions of a free self-dual globular $\omega$-magma, of a free strict involutive globular…

With an explicit, algebraic indexing $(2,1)$-category, we develop an efficient homotopy theory of cyclonic objects: circle-equivariant objects relative to the family of finite subgroups. We construct an $\infty$-category of cyclotomic…

We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…

The analogy between Yetter's deformation theory form (lax) monoidal functors and Gerstenahaber's deformation theory for associative algebras is solidified by shown that under reasonable conditions the category of functors with an action of…