[READ-ONLY-SUBSPLIT] Categories of functors
Primary LanguageGAPGNU General Public License v2.0GPL-2.0