\ProvidesPackage{category-theory}[2022/02/10 - Style file for notes of Kategorientheorie]
