He used preorders and monoids as stepping stones to categories, and spent most of his time on the stepping stones.