Topic
Kan extension
About: Kan extension is a research topic. Over the lifetime, 191 publications have been published within this topic receiving 11573 citations.
Papers published on a yearly basis
Papers
Book•
1 Jan 1971
TL;DR: In this article, the authors present a table of abstractions for categories, including Axioms for Categories, Functors, Natural Transformations, and Adjoints for Preorders.
Abstract: I. Categories, Functors and Natural Transformations.- 1. Axioms for Categories.- 2. Categories.- 3. Functors.- 4. Natural Transformations.- 5. Monics, Epis, and Zeros.- 6. Foundations.- 7. Large Categories.- 8. Hom-sets.- II. Constructions on Categories.- 1. Duality.- 2. Contravariance and Opposites.- 3. Products of Categories.- 4. Functor Categories.- 5. The Category of All Categories.- 6. Comma Categories.- 7. Graphs and Free Categories.- 8. Quotient Categories.- III. Universals and Limits.- 1. Universal Arrows.- 2. The Yoneda Lemma.- 3. Coproducts and Colimits.- 4. Products and Limits.- 5. Categories with Finite Products.- 6. Groups in Categories.- IV. Adjoints.- 1. Adjunctions.- 2. Examples of Adjoints.- 3. Reflective Subcategories.- 4. Equivalence of Categories.- 5. Adjoints for Preorders.- 6. Cartesian Closed Categories.- 7. Transformations of Adjoints.- 8. Composition of Adjoints.- V. Limits.- 1. Creation of Limits.- 2. Limits by Products and Equalizers.- 3. Limits with Parameters.- 4. Preservation of Limits.- 5. Adjoints on Limits.- 6. Freyd's Adjoint Functor Theorem.- 7. Subobjects and Generators.- 8. The Special Adjoint Functor Theorem.- 9. Adjoints in Topology.- VI. Monads and Algebras.- 1. Monads in a Category.- 2. Algebras for a Monad.- 3. The Comparison with Algebras.- 4. Words and Free Semigroups.- 5. Free Algebras for a Monad.- 6. Split Coequalizers.- 7. Beck's Theorem.- 8. Algebras are T-algebras.- 9. Compact Hausdorff Spaces.- VII. Monoids.- 1. Monoidal Categories.- 2. Coherence.- 3. Monoids.- 4. Actions.- 5. The Simplicial Category.- 6. Monads and Homology.- 7. Closed Categories.- 8. Compactly Generated Spaces.- 9. Loops and Suspensions.- VIII. Abelian Categories.- 1. Kernels and Cokernels.- 2. Additive Categories.- 3. Abelian Categories.- 4. Diagram Lemmas.- IX. Special Limits.- 1. Filtered Limits.- 2. Interchange of Limits.- 3. Final Functors.- 4. Diagonal Naturality.- 5. Ends.- 6. Coends.- 7. Ends with Parameters.- 8. Iterated Ends and Limits.- X. Kan Extensions.- 1. Adjoints and Limits.- 2. Weak Universality.- 3. The Kan Extension.- 4. Kan Extensions as Coends.- 5. Pointwise Kan Extensions.- 6. Density.- 7. All Concepts are Kan Extensions.- Table of Terminology.
10,552 citations
Posted Content•
TL;DR: In this article, the authors thoroughly treat several familiar and less familiar definitions and re-sults concerning categories, functors and distributors enriched in a base quantaloid Q. They discuss adjoint functors, (pointwise) left Kan extensions, weighted (co)limits, presheaves and free (co)-completion, Cauchy completion and Morita equivalence.
Abstract: We thoroughly treat several familiar and less familiar definitions and re- sults concerning categories, functors and distributors enriched in a base quantaloid Q.I n analogy with V-category theory we discuss such things as adjoint functors, (pointwise) left Kan extensions, weighted (co)limits, presheaves and free (co)completion, Cauchy completion and Morita equivalence. With an appendix on the universality of the quan- taloid Dist(Q )o fQ-enriched categories and distributors.
156 citations
83 citations
TL;DR: In this paper, a broad class of presheaf models is proposed for a general process calculus and general arguments are given for why the operations of a presheafe model preserve open maps and why for specific presheaves the operations coincide with those of traditional models.
Abstract: This paper studies presheaf models for concurrent computation. An aim is to harness the general machinery around presheaves for the purposes of process calculi. Traditional models like synchronisation trees and event structures have been shown to embed fully and faithfully in particular presheaf models in such a way that bisimulation, expressed through the presence of a span of open maps, is conserved. As is shown in the work of Joyal and Moerdijk, presheaves are rich in constructions which preserve open maps, and so bisimulation, by arguments of a very general nature. This paper contributes similar results but biased towards questions of bisimulation in process calculi. It is concerned with modelling process constructions on presheaves, showing these preserve open maps, and with transferring such results to traditional models for processes. One new result here is that a wide range of left Kan extensions, between categories of presheaves, preserve open maps. As a corollary, this also implies that any colimit-preserving functor between presheaf categories preserves open maps. A particular left Kan extension is shown to coincide with a refinement operation on event structures. A broad class of presheaf models is proposed for a general process calculus. General arguments are given for why the operations of a presheaf model preserve open maps and why for specific presheaf models the operations coincide with those of traditional models.
53 citations
TL;DR: For a V-category B, where B is a symmetric monoidal closed category, various limit-like notions have been recognized: ordinary limits (in the underlying category B0 ) preserved by the V-valued representable functors; cotensor products; ends; pointwise Kan extensions; for which it suffices to demand the first two as discussed by the authors.
Abstract: For a V-category B, where V is a symmetric monoidal closed category, various limit-like notions have been recognized: ordinary limits (in the underlying category B0 ) preserved by the V-valued representable functors; cotensor products; ends; pointwise Kan extensions. It has further been recognized that, to be called complete, B should admit all of these; for which it suffices to demand the first two. Hitherto, however, there has been no single limit-notion of which all these are special cases, and particular instances of which may exist even when B is not complete or even cotensored. In consequence it has not been possible even to state, say, the representability criterion for a V-functor T: B → V, or even to define, say, pointwise Kan extensions into B, except for cotensored B. (It is somewhat as if, for ordinary categories, we had the notions of product and equalizer, but lacked that of general limit, and could not discuss pullbacks in the absence of products.) In this paper we provide such a general limit-notion for V-categories.
49 citations
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2022 | 1 |
| 2021 | 11 |
| 2020 | 7 |
| 2019 | 7 |
| 2018 | 12 |
| 2017 | 16 |