In this paper, based on Ω-categories, some properties of (continuous) :I-cocomplete I-categories are studied. Then, we introduce the concepts of bicomplete Ω-category and approximable bimodule, discuss their prop...In this paper, based on Ω-categories, some properties of (continuous) :I-cocomplete I-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 Ω-ocategories is equivalent to the category of bicomplete Ω-categories.展开更多
基金Supported by the National Natural Science Foundation of China(Grant Nos.11531009,11501343)
文摘In this paper, based on Ω-categories, some properties of (continuous) :I-cocomplete I-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 Ω-ocategories is equivalent to the category of bicomplete Ω-categories.