关于从具体范畴构造非具体等价范畴的技术问询

有时候我们会从一个具体范畴出发，尝试找到一个等价但没那么“具体”的范畴。这里说的具体范畴，指的是那种对象是集合、态射是函数、态射复合就是函数复合，并且单位态射是恒等函数的范畴。

我想到一个典型的例子就是紧豪斯多夫空间的德弗里斯对偶性。紧豪斯多夫空间范畴KHaus被证明等价于所谓的德弗里斯代数范畴dV。dV的对象虽然也是集合，态射也是函数，但它的态射复合并不是函数复合——从这个角度来说，dV就比KHaus没那么具体，哪怕dV是后来才构造出来的。我猜想dV在某些方面会比KHaus更具美学吸引力，这大概就是放弃“具体性”换来的取舍吧。

类似的例子还有很多，比如在Bice和Kubis的论文里就能找到不少相关内容。

备注：内容来源于stack exchange，提问作者Pteromys