Two papers in categorical topology