可达范畴理论中的对偶性

通过弱健全权类这一概念，我们将许多涉及带选定极限类的可达范畴的已知对偶性作为一般对偶性定理的特例予以复原。这些包括局部有限可表现范畴的 Gabriel-Ulmer 对偶性、局部有限多可表现范畴的 Diers 对偶性，以及有限可达范畴的 Makkai-Paré 对偶性。在此过程中，我们将这些对偶性推广到 enriched 情形，为理论提供了更形式化且统一的进路，并讨论了由我们主要定理所引出的新对偶性。