Algebraic categories whose projectives are explicitly free.
We investigate tournaments that are projective in the variety that they generate, and free algebras over partial tournaments in that variety. We prove that the variety determined by three-variable equations of tournaments is not locally finite. We also construct infinitely many finite, pairwise incomparable simple tournaments.
We investigate congruences in one-element extensions of algebras in the variety generated by tournaments.