Weakly terminal objects in quasicategories of \(\mathcal{SET}\) endofunctors (Q816650)

Let \(\mathcal{Q}\) be the quasicategory of all set functors and all natural transformations, and \(\mathcal{S}\) be its subquasicategory. This paper concerns the following natural question about set functors: Does there exist a set functor \(W\in Ob(\mathcal{S})\) such that for every set functor \(G\in Ob(\mathcal{S})\) there exists a (resp. unique) natural transformation \(\mu :G\rightarrow W,\) \(\mu \in Mor(\mathcal{S})?\) The author gives the answer for the following quasicategories: \(\mathcal{F}:\) The objects are all faithful connected set functors, the morphisms are all natural transformations. \(\mathcal{B}:\) (respective \(\mathcal{B}^{k}\) , where \(k\) is a cardinal) The objects are all set functors, the morphisms are all natural transformations, which preserve filters of all points in the images of all sets (resp. in the images of all sets \(X\) with \(\left| X\right| <k)\). He proves that there exist a terminal object \(T\) in \(\mathcal{B}\) (and \(T^{k} \) in \(\mathcal{B}^{k}\) for \(k>2)\) and a smallest weakly terminal object \(W\) in \(\mathcal{F},\) which is rigid (the word smallest means, that for every weakly terminal \(V,\) there exists a monotransformation \(\mu :W\rightarrow V,\) therefore \(V\) has a subfunctor naturally equivalent to \(W;\) rigid means, that the identity is the only natural endotransformation of \(W.\) The quasicategory \(\mathcal{F}\) has no terminal object).