A groupoid is a generalisation of group in which composition is only partially defined. In first half of this talk, I will give an overview of groupoid theory and show how groupoids provide a unifying model for a number ...