/Я language (β)/Glossary/Category/

Category is a set of objects and morphisms between them (including identity morphism).

Semicategory is a category without identity morphism.