# nLab category with star-morphisms

###### Remark

By a pre-category I mean a category without identities (a semicategory).

###### Definition

A pre-category with star-morphisms consists of

1. a pre-category $C$ (the base pre-category);
2. a set $M$ (star-morphisms);
3. a function $arity$ defined on $M$ (how many objects are connected by this multimorphism);
4. a function ${Obj}_{m}:aritym\to Obj\left(C\right)$ defined for every $m\in M$;
5. a function (star composition) $\left(m;f\right)↦StarComp\left(m;f\right)$ defined for $m\in M$ and $f$ being an $\left(aritym\right)$-indexed family of morphisms of $C$ such that $\forall i\in aritym:Src{f}_{i}={Obj}_{m}i$ ($Src{f}_{i}$ is the source object of the morphism ${f}_{i}$) such that $arityStarComp\left(m;f\right)=aritym$

such that:

1. $StarComp\left(m;f\right)\in M$;

2. (associativiy law)

(1)$StarComp\left(StarComp\left(m;f\right);g\right)=StarComp\left(m;\lambda i\in aritym:{g}_{i}\circ {f}_{i}\right).$\operatorname{StarComp} \left( \operatorname{StarComp} \left( m ; f \right) ; g \right) = \operatorname{StarComp} \left( m ; \lambda i \in \operatorname{arity} m : g_i \circ f_i \right) .

(Here $\lambda$ indicates function abstraction.)

The meaning of the set $M$ is an extension of $C$ having as morphisms things with arbitrary (possibly infinite) indexed set ${Obj}_{m}$ of objects, not just two objects as morphims of $C$ have only source and destination.

###### Definition

A category with star-morphisms is a pre-category with star-morphisms whose base pre-category is a category and the following equality (the law of composition with identities) holds for every multimorphism $m$:

(2)$StarComp\left(m;\lambda i\in aritym:{id}_{{Obj}_{m}i}\right)=m.$\operatorname{StarComp} \left( m ; \lambda i \in \operatorname{arity}m : \operatorname{id}_{\operatorname{Obj}_m i} \right) = m.