paragraph_text: Kategorija teorija ima praktičnu primjenu u teoriji programskih jezika, npr. formalizacije semantike programskih jezika i korištenje monada u funkcijskom programiranju. Aksiomatski pristup strukturi kategorije (elementarna teorija kategorija) nije zavisan od aksiomatike skupova i može se izučavati kao jedan od alternativnih pristupa temeljima matematike (uz teoriju skupova, razne teorije tipova itd.).