A Bar-Natan homotopy type - 42Papers