Higher categorical analogue of concreteness - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T13:11:15Z http://mathoverflow.net/feeds/question/110048 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/110048/higher-categorical-analogue-of-concreteness Higher categorical analogue of concreteness John Berman 2012-10-18T22:15:21Z 2012-11-02T16:22:00Z <p>I am going to make this question deliberately vague.</p> <p>A category is concrete if its objects can be realized as sets with extra structure (in particular, it admits a faithful functor to Set).</p> <p>The examples I know of non-concretizable categories (the homotopy category, Cat with naturally isomorphic functors identified) are obviously derived from forgetting structure of higher categories. Is there some sense in which, given any locally small category, the objects of that category can be realized themselves as (small) higher categories with extra structure, analogous to considering faithful functors to Set?</p> <p>EDIT: I think my question is as Jeremy suggested below: Given a locally small category, is it always the homotopy category of a concrete $(\infty,1)$-category, for some reasonable definition of concrete?</p> http://mathoverflow.net/questions/110048/higher-categorical-analogue-of-concreteness/110059#110059 Answer by Nate Ackerman for Higher categorical analogue of concreteness Nate Ackerman 2012-10-19T02:36:51Z 2012-10-19T02:36:51Z <p>If you require you category to be actually small (and not just locally small) then the answer is yes. </p> <p>Suppose $C$ is a small category. We can then define the category $C'$ as follows:</p> <ul> <li>Objects($C'$) = ${ C/t: t \in$ Object(C)$}$</li> <li>Morphisms($C'$) are functors between the corresponding categories</li> </ul> <p>There is then a functor $F:C \rightarrow C'$ where </p> <ul> <li>$F(t) = C/t$ for any object $t$ of $C$</li> <li><p>For any map $\alpha:s \rightarrow t$ in $C$, $F(\alpha):C/s \rightarrow C/t$ is the functor where:</p> <ul> <li><p>When $\beta:p \rightarrow s$ is an object of $C/s$ then $F(\alpha)(\beta) = \alpha \circ \beta:p \rightarrow t$ is the corresponding object of $C/t$.</p></li> <li><p>Suppose $P:p\rightarrow s$ and $Q:q\rightarrow s$ are objects of $C/s$ and $g: P \rightarrow Q$ is a morphism in $C/s$ (i.e. a map $g:p \rightarrow q$ such that $q \circ g = p$). </p> <p>Then $F(\alpha)(\gamma) = g$ (as a map from $F(\alpha)(P) \rightarrow F(\alpha)(Q)$)</p></li> </ul></li> </ul> <p>When dealing with locally small (but not necessarily small) categories however you have to be careful about set theoretic size issues. </p>