Karoubi Envelope

The category Man is the Karoubi envelope of Op(FinCartSp). Put another way, Op(FinCartSp) is a wide subcategory of Man and every idempotent in Man is split.

karoubi_envelopes: Op(FinCartSp)

This data as json