3 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
Sebastian Thomas
We develop a localisation theory for certain categories, yielding a 3-arrow calculus: Every morphism in the localisation is represented by a diagram of length 3, and two such diagr…