Coends of higher arity

DOI10.1007/S10485-021-09653-XzbMATH Open1494.18001arXiv2011.13881OpenAlexW3196302766MaRDI QIDQ2667936FDOQ2667936

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

Publication date: 2 March 2022

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

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.

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

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.

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)

Cites Work

• 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
• Title not available (Why is that?)
• Physics, Topology, Logic and Computation: A Rosetta Stone
• A universal property of the convolution monoidal structure
• Title not available (Why is that?)
• On closed categories of functors
• Title not available (Why is that?)
• Construction of biclosed categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Homotopy of operads and Grothendieck-Teichmüller groups. Part 2: The applications of (rational) homotopy theory methods
• Dinatural transformations
• (Co)end Calculus
• Composing dinatural transformations: towards a calculus of substitution

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)