1 citations · 2 across the 2 of their papers we have counts for
2 papers
math.CT2023★ 1 cited
Universal Properties of Lens Proxy Pullbacks
Matthew Di Meglio
A comprehensive account of the categorical properties of the category of small categories and asymmetric delta lenses is given in the recent works of Chollet et al. and Di Meglio.…
math.CT2022★ 1 cited
An introduction to enriched cofunctors
Bryce Clarke, Matthew Di Meglio
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 distributiv…