Bu çalışmanın amacı, matematiğin hemen bütün dalları için bir lisan durumuna gelmekte olan kategoriler ve funktorlar hakkında genel bilgiler verdikten sonra, ''örtülüş grupoidi'' adını verdiğimiz özel bir kategori inşa ...