What are "nearly initial" objects really called? 
Definition. Call an object $X$ of a category $\mathbf{C}$ nearly initial iff firstly, it is weakly initial, and secondly, for all objects $Y$ and all morphisms $f,g : X \rightarrow Y$, there exists an automorphism $\alpha$ of $X$ such that $g = f \circ \alpha$.

It's straightforward to show that any two nearly initial objects of a category $\mathbf{C}$ are isomorphic (though not necessarily up to unique isomorphism.) For instance, if I'm not mistaken, the algebraic closure of a field is, by definition, the unique (up to isomorphism) nearly-initial algebraically-closed extension of that field.

Question. What are "nearly initial" objects really called?

 A: Assuming uniqueness of the automorphism, an earlier reference than Garner–Hirschowitz's paper is Tholen's MacNeille completion of concrete categories with local properties (1979), in which these objects are called quasi-initial (Definition 1.1), defined as those objects that are weakly initial and prequasi-initial (which is exactly the automorphism condition you describe).
Another earlier reference is Huq's Semilimits in Categories (1991), where these (or their duals) are called semiterminal objects, again assuming uniqueness of the automorphism.
A: On reflection, maybe I do have some terminological suggestions, though I'm not sure how much I like them.


*

*Model theorists would call a weakly terminal object "universal", so you might call a weakly initial object "co-universal". Bleh.

*Model theorists would call an object with the dual of your automorphism property "homogeneous", so you might use the term "co-homogeneous". Maybe a little less bleh.

*The term "saturated" for model theorists is roughly equivalent to universal + homogeneous, i.e. to "nearly terminal". So you might use the term "co-saturated". This strikes me as a little dangerous because the correspondence in the dual case is not exact.
A: In Definition 4.1 of their paper Shapely monads and analytic functors, Richard Garner and Tom Hirschowitz call such an object a "Galois object".
A: I think you are interested in the notion of poly-colimits. This was originally introduced by Lamarche as a generalization of the notion of multi-colimits.

*

*Michel Hebert, Syntactic characterizations of closure under pullbacks and of locally polypresentable categories.

*Francois Lamarche, Modelling polymorphism with categories.

More recently, Paul Taylor, and the group of categorical model theory in Brno (Rosicky, Leiberman) have brought back the topic to the general interest. The Brno group applied this technology to Abstract elementary classes with intersection.

*

*Lieberman, Rosicky, Vasey, Universal Abstract Elementary classes and Locally multi-presentable categories.


*Taylor, Locally Finitely Poly-Presentable Categories.
