Concrete functors determined by their restrictions to the \(T_0\) objects (Q645204)

A topological construct is a pair \((\mathcal{A},U)\), where \(\mathcal{A}\) is a category and \(U\) is a faithful functor to the category of sets and functions, such that every \(U\)-structured source has a unique \(U\)-initial lift. Given a set \(X\), the collection of objects \(A\) with \(UA=X\) is pre-ordered by the relation \(\leq\), where \(A_1\leq A_2\) just in case there is an \(A\)-morphism \(i:A_2\to A_1\) with \(Ui\) the identity map on \(X\). A further assumption for topological constructs is that there are unique (up to isomorphism) \(\leq\)-maximal/minimal elements, referred to as the discrete/indiscrete \(U\)-structures on \(X\). In this setting, an object \(A\) is a \(\mathsf{T}_0\)-object just in case whenever \(f:I_0\to A\) is a morphism, where \(I_0\) is the indiscrete object with underlying set \(\{0,1\}\), the function \(Uf\) is constant. If \((\mathcal{A},U)\) and \((\mathcal{B},V)\) are topological constructs as above and \(T:\mathcal{A}\to\mathcal{B}\) is a functor, \(T\) is said to be concrete if : (i) \(VT=U\); (ii) \(T\) is surjective on objects; and (iii) \(T\) preserves initial sources. The authors provide sufficient conditions for when such concrete functors are uniquely determined by their restrictions to the \(\mathsf{T}_0\)-objects of their domain category. They also give an example where uniqueness may fail.