It should be possible to make a nice poster illustrating terms such as:

Reflexive, Symmetric, Transitive, &c

Injection, Surjection, Bijection

Domain and Range

Monad, Monoid, &c

...what others do I have to stop and think about often?