An introduction to enriched cofunctors - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2022

An introduction to enriched cofunctors

Résumé

Cofunctors are a kind of map between categories which lift morphisms along an object assignment. In this paper, we introduce cofunctors between categories enriched in a distributive monoidal category. We define a double category of enriched categories, enriched functors, and enriched cofunctors, whose horizontal and vertical 2-categories have 2-cells given by enriched natural transformations between functors and cofunctors, respectively. Enriched lenses are defined as a compatible enriched functor and enriched cofunctor pair; weighted lenses, which were introduced by Perrone, are precisely lenses enriched in weighted sets. Several other examples are also studied in detail.
Fichier principal
Vignette du fichier
arXiv-version.pdf (393.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03805364 , version 1 (07-10-2022)

Identifiants

Citer

Bryce Clarke, Matthew Di Meglio. An introduction to enriched cofunctors. 2022. ⟨hal-03805364⟩
37 Consultations
91 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More