Archive for the double category