Topolojik R-Modül Grupoid Örtüleri

Bu makalede ilk olarak bir topolojik R-modül grupoid, topolojik R-modüllerin kategorisinde bir grupoid obje olarak tanımlandı. Daha sonra , birim elemanı olan birimli bir diskre topolojik halka ve topolojik uzayı evrensel örtüye sahip olan bir topolojik -modül olmak üzere temel grupoidinin bir topolojik -modül grupoid olduğu gösterildi. Son olarak da objeleri için N ve birer evrensel örtüye sahip olacak şekilde ModCov/N kategorisinin bir dolu alt kategorisi UModCov/N ve objeleri için de N ve birer evrensel örtüye sahip olacak şekilde GdMCov/ kategorisinin bir dolu alt kategorisi olan GdMCov/ tanımlanıp, ve kategorilerinin denk kategoriler olduğu ispatlanmıştır