In category theory, a strict 2-category is a category with "morphisms between morphisms", that is, where each hom-set itself carries the structure of a...

category C has finite products, the category of C-enriched categories has finite products too. While this concept is too strict for some purposes in for example...

diagram commutes. A strict monoidal category is one for which the natural isomorphisms α, λ and ρ are identities. Every monoidal category is monoidally equivalent...

higher-dimensional categories allow us to profitably generalize this by considering "higher-dimensional processes". For example, a (strict) 2-category is a category together...

compete with a Category A service. As a consequence, Category A licenses carried more stringent obligations on their owners, such as stricter thresholds for...

also called strict partial orders. Strict and non-strict partial orders can be put into a one-to-one correspondence, so for every strict partial order...

United Nations and the Convention on Biological Diversity. A strict nature reserve (IUCN Category Ia) is an area which is protected from all but light human...

F channel and Category 7 cable are backward compatible with Class D/Category 5e and Class E/Category 6. Class F features even stricter specifications...

location, which means a Category 2 hurricane that hits a major city will likely do far more cumulative damage than a Category 5 hurricane that hits a...

focuses on strict 2-groups. A strict 2-group is a strict monoidal category in which every morphism is invertible and every object has a strict inverse (so...