{"id":"arxiv/2610.31448","url":"https://arxiv.org/abs/2610.31448","tags":["math.CT"],"score":0,"title":"Semi-strict 4-categories as enriched categories","domain":"math.CT","source":"arxiv","authors":["John Bourke","Gabriele Lobbia"],"reviews":0,"subject":"math.CT","summary":"We introduce several flavours of semi-strict 4-category as enriched categories. We give the axioms for semi-strict 4-categories in elementary terms and describe a wide range of examples. In particular, we answer the question of what exactly Gray-categories and the higher transformations between them form: namely, a left-sharp 4-category G-Cat$^4$. In addition, we describe examples arising from braided monoidal 2-categories, monoidal Gray-categories (herein defined) and Gray-categories with structure. We use the concepts introduced here and the relationships between them to unify various…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-22","reactions":{}}