The answer is probably unfortunately, "it's whatever you want it to be, just be ...

		actionfromafar 7 days ago \| parent \| context \| favorite \| on: "Homotopical macrocosms for higher category theory... The answer is probably unfortunately, "it's whatever you want it to be, just be on my side". Not defining these things is a feature, not a bug.