15 citations · 15 across the 1 of their papers we have counts for
1 paper
Kenta Cho, Bart Jacobs, Bas Westerbaan +1
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehensi…