Coends of higher arity

DOI10.1007/S10485-021-09653-XMaRDI QIDQ2667936zbMATH OpenOpenAlexFDO

Authors Théo de Oliveira Santos, Fosco Loregiàn

Publication date 2 March 2022

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2011.13881

zbMATH Keywords

dinatural transformationcoendcowedge

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Abstract: We specialise a recently introduced notion of generalised dinaturality for functors $T:(mathcal{C}^{e}xtop{)}^{p}imesmathcal{C}^{q}omathcalD$ to the case where the domain (resp., codomain) is constant, obtaining notions of ends (resp., coends) of higher arity, dubbed herein $(p,q)$-ends (resp., $(p,q)$-coends). While higher arity co/ends are particular instances of "totally symmetrised" (ordinary) co/ends, they serve an important technical role in the study of a number of new categorical phenomena, which may be broadly classified as two new variants of category theory. The first of these, weighted category theory, consists of the study of weighted variants of the classical notions and construction found in ordinary category theory, besides that of a limit. This leads to a host of varied and rich notions, such as weighted Kan extensions, weighted adjunctions, and weighted ends. The second, diagonal category theory, proceeds in a different (albeit related) direction, in which one replaces universality with respect to natural transformations with universality with respect to dinatural transformations, mimicking the passage from limits to ends. In doing so, one again encounters a number of new interesting notions, among which one similarly finds diagonal Kan extensions, diagonal adjunctions, and diagonal ends.

Recommendations

• On (co)ends in \(\infty\)-categories
• Weighted limits in an \((\infty, 1)\)-category
• scientific article; zbMATH DE number 7692250
• (Co)ends for representations of tensor categories
• G-dinaturality.

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 3261673 (Why is no real title available?)
• scientific article; zbMATH DE number 3384257 (Why is no real title available?)
• scientific article; zbMATH DE number 3384258 (Why is no real title available?)
• (Co)end Calculus
• A universal property of the convolution monoidal structure
• Composing dinatural transformations: towards a calculus of substitution
• Construction of biclosed categories
• Dinatural transformations
• Homotopy of operads and Grothendieck-Teichmüller groups. Part 2: The applications of (rational) homotopy theory methods
• On closed categories of functors
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV

Cited in

(1)

• On (co)ends in \(\infty\)-categories

This page was built for publication: Coends of higher arity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2667936)