Kronecker quiver

Let $𝑛 \in ℕ$ . The $𝑛$ -Kronecker quiver $Θ 𝑛$ is a quiver with vertices ${0, 1}$ and precisely $𝑛$ edges $0 \to 1$ , #m/def/quiv i.e.

(Θ 𝑛) 0 = [2], Θ 𝑛 (0, 1) = [𝑛] .

The corresponding free category $Θ 𝑛 ―――$ is called the $𝑛$ -Kronecker category.

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