Whitehead s categoreal scheme etc by Beverly Martin