add                                     multiply
and                                     if
co                                      
conjunction                             implication
cup                                     cap
disjunction                             conjunction
direct                                  inverse
discrete                                indiscrete
empty                                   trivial
existential                             universal
false                                   true
fine                                    coarse
first                                   last
free                                    fascist
inductive                               projective
initial                                 terminal
join                                    meet
large                                   small
left adjoint                            right adjoint
many                                    almost all
minim                                   maxim
multiply                                exponentiate
no                                      yes
or                                      and
product                                 power
pushout                                 pullback
quotient                                sub
retraction                              section
right exact                             left exact
some                                    all
strong                                  weak
sum                                     product
supremum                                infimum
tensor                                  hom
union                                   intersection
zero                                    one