Rel, the category of relations Set, the category of sets Stoch, the category of finitary stochastic channels Vect, the category of vector spaces
