All Questions

In the very last page of Janelidze and Tholen's paper Beyond Barr Exactness: Effective Descent Morphisms, the authors relate the theory of fiber bundles (and covering spaces in particular) to descent ...

Continuing in my attempts to understand bits and pieces of Borceux and Janelidze's Galois Theories, I've just realized that I don't have any geometric intuition for the most convenient ...

Definition. An arrow $\alpha:A\rightarrow B$ in $\mathsf C=\mathsf{Fam}(\mathsf A)$ is said to be a covering morphism if there exists an effective descent morphism $p:E\rightarrow B$ that splits it, i....