garfield (cargo): Garfield provides cat-egory theory abstractions
Keywords: matematics