In this paper, we introduce the fundamental notions of closure operator and closure system in the framework of quantaloid-enriched category. We mainly discuss the relationship between closure operators and adjunctions and establish the one-to-one correspondence between closure operators and closure systems on quantaloid-enriched categories.
In this paper, we introduce the fundamental notions of closure operator and closure system in the framework of quantaloid-enriched category. We mainly discuss the relationship between closure operators and adjunctions and establish the one-to-one correspondence between closure operators and closure systems on quantaloid-enriched categories.