Definition
In mathematics, the category Rel has the class of sets as objects and binary relations as morphisms.
Related concepts
Academic PressAllegory (category theory)Binary relationCambridge University PressCartesian productCategories for the Working MathematicianCategory (mathematics)Category of setsCharles Wells (mathematician)Closed categoryClosed monoidal categoryComposition of relationsConverse relationCoproductDagger categoryDagger compact categoryDisjoint unionDual (category theory)FunctorHom functorInternal homInternal hom functorInvolution (mathematics)Kleisli categoryMathematicsMichael Barr (mathematician)Monad (category theory)Monoidal categoryMorphism (category theory)Object (category theory)Opposite categoryPeter J. FreydPower setProduct (category theory)Regular categoryRod BurstallSaunders Mac LaneSet (mathematics)SubcategoryUniversity of Bremen
6 concepts already in your glossary