Kronecker category

The $𝑛$ -Kronecker category $Θ 𝑛 ―――$ is the free category on the $𝑛$ -Kronecker quiver $Θ 𝑛$ . #m/def/cat Thus it has no nontrivial endomorphisms and

O b (Θ 𝑛 ―――) = [2] = {0, 1}, Θ 𝑛 ――― (0, 1) = [𝑛] .

Properties

Swapping $0$ and $1$ and fixing morphism gives an antiautoëquivalence, thus $Θ 𝑛 ―――$ is self-dual.

#state/tidy | #lang/en | #SemBr