An Equivalent of Algebraic ?-Categories

摘要

In this paper, based on ?-categories, some properties of（continuous） I-cocomplete ?-categories are studied. Then, we introduce the concepts of bicomplete ?-category and approximable bimodule, discuss their properties and we also show any I-cocomplete ?-category is a bicomplete ?-category. Finally, it is proved that the category of algebraic ?-categories is equivalent to the category of bicomplete ?-categories.