In principle, many different abstractions of the set-theoretic notion of *point / element* are available in the framework of categories, but they are not equally effective and, what is more interesting to me, there doesn't seem to exist one of them subsuming all the others (hence to be preferred in every possible occurrence). Since this is a key issue in my current research on structures, I would appreciate much if

you could provide me with references to existing literature about various interpretations of the notion of point in category theory and, if possible, a (short) historical overview of its evolution

(I don't think it's really necessary to stress that *its* refers to the notion of point in category theory, and not to the theory of categories - in fact, I'm not really stressing it). Those which I'm already aware of are listed below.

Say that $\bf C$ is a category and $A$ an object of $\bf C$. Then:

- If $\bf C$ has a terminal object $\top$, a point of $A$ is any arrow $a$ to $A$ such that $\mathrm{src}(a) \cong \top$ (I use ${\rm src}(\cdot)$ for the source map of $\bf C$). This notion is fine, for instance, if you work with $\bf Set$ (sets + functions), $\bf Top$ (topological spaces + continuous functions), $\bf Pre$ (preordered sets + monotonic functions), etc, but not equally effective with algebraic categories such as $\bf Grp$ (groups + group homomorphisms), $\bf Rg$ (semirings + semiring homomorphisms) and ${\bf Mod}_R$ (left modules over a ring $R$ + homomorphisms of left modules over $R$), basically due to the the fact that, for each of these, terminals are zero objects [it doesn't even work well with $\bf Sgrp$ (semigroups + semigroup homomorphisms) but for other reasons]. A point in the sense of the present definition is usually called a
*global element* - A pont of $A$ is any morphism to $A$. In this case, one commonly speaks of
*generalized elements*. I cannot profit from this notion, and I won't spend one more word on it. - If $\bf C$ is a closed category and $I$ is one of its units (unique up to iso), a point of $A$ is any morphism $a$ to $A$ with ${\rm src}(a) \cong I$. I have no clue how such points are usually referred to. This generalizes Definition 1 in some relevant cases (notably including closed monoidal categories), but $\bf Top$ is not closed monoidal, and let me guess that it is not even closed (I've not checked).
- If $\mathcal{G}_1(\mathbf{C})$ is the class of the $1$-generators of $\bf C$, a point of $A$ is any arrow $a$ to $A$ with $\mathrm{src}(a) \in \mathcal G_1(\mathbf{C})$. I don't know how this kind of points are called in the literature.

I would be especially interested in variants, generalizations or alternatives to the previous definitions involving monomorphisms (as for the first one in the list) rather than arbitrary arrows. Thank you in advance for any help.