Weakly Terminal Objects in Quasicategories of $\mathbb{SET}$ Endofunctors
暂无分享,去创建一个
AbstractThe quasicategory ℚ of all set functors (i.e. endofunctors of the category
$\mathbb{SET}$
of all sets and mappings) and all natural transformations has a terminal object – the constant functor C1. We construct here the terminal (or at least the smallest weakly terminal object, which is rigid) in some important subquasicategories of ℚ – in the quasicategory
$\mathbb{F}$
of faithful connected set functors and all natural transformations, and in the quasicategories
$\mathbb{B}^{(\kappa)}$
of all set functors and natural transformations which preserve filters of points (up to cardinality κ).
[1] H. Herrlich,et al. The Emergence of Functors , 2001 .
[2] Václav Koubek. Set functor. II: Contravariant case , 1973 .
[3] Věra Trnková,et al. Some properties of set functors , 1969 .
[4] Horst Herrlich,et al. Abstract and concrete categories , 1990 .
[5] H. Herrlich,et al. The Functor that "Wouldn't be , 2001 .
[6] Věra Trnková,et al. On descriptive classification of set-functors. II. , 1971 .