OmniaLib

As the name suggests, this is a library in Arend containing various corners of mathematics and acts as my personal mathematical library. Currently it contains few things from category theory and group theory.