Higher Structures in Category Theory, Homotopy Theory and Type Theory