👉 The term "subgens" is a mathematical concept in category theory, which refers to a subclass of an object or class. It was introduced by Peter Freyd in 1952 and has since become a fundamental tool for understanding the structure of categories. In mathematics, a subcategory (or a subobject classifier) is a subset of a given category that contains all objects that are "subsets" of another object. In other words, it's a collection of objects that can be
