Weakly terminal objects in quasicategories of SET endofunctors
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).
This page was built for publication: Weakly terminal objects in quasicategories of \(\mathcal{SET}\) endofunctors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q816650)
