In 1978, Stephen Doro showed that Moufang loops and groups with triality are essentially the same thing-"essentially" because the most obvious categories of them are not in fact equivalent. In sections on basics, equivalence, related topics, and classical triality, Hill makes Doro's statement precise in a categorical context. Among the topics are Latin square designs, Moufang loops and groups with triality are essentially (but not exactly) the same thing, some related categories and objects, orthogonal spaces and groups, and the loop of units in an octonian algebra. Annotation ©2019 Ringgold, Inc., Portland, OR (protoview.com)