preadditive category with a zero object and all binary biproducts, kernels and cokernels in which all monomorphisms and epimorphisms are normal
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).