Commit 2024-06-06 10:53 48f4321c

feat: mapComposableArrows is essentially surjective for localization functors when there is a calculus of fractions (#13558) If L is a localization functor with respect to a class of morphisms W that a left or right calculus of fractions, then the induced functors on ComposableArrows _ n is essentially surjective for all natural numbers n. (This was initially written only for n = 2 when there was both a calculus of left and right fractions, but Andrew Yang simplified the argument.)