Answer by Daniel Schäppi for Two questions about total categories
Totality is for example a consequence of cocompleteness and the existence of a small dense subcategory. If you have such a subcategory, with inclusion $K\colon A \rightarrow C$, say, then the functor...
View ArticleTwo questions about total categories
Let $C$ be a locally small category. Then we have the Yoneda embedding $Y : C \to \widehat{C} := [C^{op},Set]$. Recall that $C$ is called total when $Y$ has a left adjoint.My first question is: Why...
View Article