binary relations
group, free categories
maclane ref
set properties
tex directory, new category theory outline
change category identity notation
functions