The Baez-Dolan corbordism hypothesis or conjecture which states that the higher corbordism category is the free symmetric higher monoidal category on a single object was formalised by Lurie and proven in his paper classifying topological field theiries in 2008.