Jabarkan Produk fiber grupoids dari Grupoid

Diberikan diagram grupoid dengan morfisme grupoid

dimana  dan , membentuk grupoid  objeknya tiga kali lipat , dimana , , dan  di . Morfisme dapat diartikan sebagai sepasang morfisme  dimana  dan  untuk tiga kali lipat , diagram komutatif di  dari ,  dan .