Aloïs Rosset (Co-)promotors: prof.dr. W.J. Fokkink (VU), prof.dr. H.H. Hansen (RUG), dr. J. Endrullis (VU) VU Amsterdam Date: 28 April 2025 Thesis: PDF Summary Category theory is a field of mathematics that provides a unifying framework for the generalisation of mathematical definitions and theorems, and which has found significant applications …