Post #1441647

If it's possible for A₀ to not be trivial, then I have a hunch it ought to behave kind of like a "negative point"; I think for any function B → C I can naturally construct a map from a colimit of C many copies of A₀ to B many copies of A₀.