Joyal's_theta_category loading ...