Weak_n-category loading ...