Search
❯
Dec 26, 20251 min read
A pair of adjoint functors between topoi that preserves the relevant structure.