Kan extensions are partial colimits

DOI10.1007/s10485-021-09671-9zbMath1495.18003arXiv2101.04531OpenAlexW4210485385MaRDI QIDQ2156417

Walter Tholen, Paolo Perrone

Publication date: 18 July 2022

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

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

zbMATH Keywords

presheavesKan extensionscolimitspartial evaluations

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items (2)

Computational category-theoretic rewriting ⋮ A diagrammatic view of differential equations in physics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adequate subcategories
• Limits of small functors
• A coherent approach to pseudomonads
• Monads, partial evaluations, and rewriting
• Completions of categories. Seminar lectures given 1966 in Zürich
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• On absolute colimits
• Connected components and colimits
• Homotopy theory of diagrams
• Categorical Homotopy Theory
• Modifications and implementation of the ellipsoid algorithm for linear programming
• Pseudo-Kan Extensions and Descent Theory
• A Probability Monad as the Colimit of Spaces of Finite Samples
• The comprehensive factorization of a functor
• General Theory of Natural Equivalences

This page was built for publication: Kan extensions are partial colimits