Tolong jelaskan mengenai Fibrasi dan kovergelanggang dari Grupoid

Jenis morfisme tertentu dari grupoids adalah interist. Morfisme   grupoids disebut fibrasi jika untuk setiap objek  dari  dan setiap morfisme  dari  ke  adalah morfisme  dari  mulai dari  seperti yang  . Fibrasi disebut  kovergelanggang morfisme atau kovergelanggang grupoid jika  adalah unik. Kovergelanggang morfisme dari grupoids sangat berguna karena dapat digunakan untuk memodelkan peta.

Bahwa kategori morfisme kovergelanggang grupoid tertentu  adalah ekuivalen dengan kategori aksi grupoid tersebut  di antara himpunan.