13 citations · 50 across the 27 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.AT2024
-Limits II: Comparison across models
Lyne Moser, Martina Rovelli, Nima Rasekh
We show that the notion of -limit defined using the enriched approach and the one defined using the internal approach coincide. We also give explicit constructions of v…
math.CT2024
Insights From Univalent Foundations: A Case Study Using Double Categories
Nima Rasekh, Niels van der Weide, Benedikt Ahrens +1
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced area…