most recent 30 from http://mathoverflow.net 2013-06-20T10:18:37Z http://mathoverflow.net/feeds/question/8508 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/8508/generation-of-object-internal-structure-in-a-strict-2-category Harry Gindi 2009-12-11T01:04:53Z 2009-12-11T04:00:09Z

<p>Suppose we're given a strict and small 2-category $C$, and an object of $C$ called $A$. Can we produce an internal category structure on $A$ in some canonical way (maybe by some sort of argument similar to the construction of a group object [see my comment])? </p> <p>If it's not possible in general, but it is possible in special (and nontrivial) situtations, what are the situations where it is possible?</p> <p>If it is possible, would this be functorial (pseudofunctorial maybe?) into 2-Cat, the 2-category of small categories, and if it is, is it full, faithful, both, or neither?</p> <p>If the answer to all of the above is true, does it generalize past the special case where n=2? I ask this because of the coherence result for bicategories, which fails to generalize past n=2. If this still works, can we drop the assumption of strictness?</p>

http://mathoverflow.net/questions/8508/generation-of-object-internal-structure-in-a-strict-2-category/8526#8526 Mike Shulman 2009-12-11T04:00:09Z 2009-12-11T04:00:09Z

<p>It's not entirely clear to me what you're asking, but I'll have a go at answering it anyway.</p> <p>An internal category in a category with pullbacks consists of objects $A_0$ and $A_1$, maps $s,t\colon A_1\to A_0$, $i\colon A_0\to A_1$, and $c\colon A_1\times_{A_0}A_1\to A_1$ satisfying the usual axioms. An equivalent way to describe this is that for each object $X$ you have a category whose objects are $Hom(X,A_0)$ and whose morphisms are $Hom(X,A_1)$, which varies with $X$ in a natural way. Of course the latter makes sense even if the category has no pullbacks. This is all just like the case of groups, and it requires only an ambient category, not even a 2-category.</p> <p>Now if I have a strict 2-category $C$ which has strict finite 2-limits, in particular its underlying 1-category $C^1$ has pullbacks. Moreover, any object $A$ gives rise to a canonical internal category in $C^1$ with $A_0 = A$ and $A_1 = A^{\mathbf{2}}$, the cotensor with the "walking arrow" $\mathbf{2} = (\cdot \to \cdot)$. This construction defines a strict 2-functor from $C$ to the 2-category $Cat(C^1)$ of internal categories, functors, and natural transformations in the 1-category $C^1$. Moreover, I believe that this 2-functor is strictly 2-fully-faithful, i.e. an isomorphism on hom-categories. For this reason, Street has called a strict 2-category with strict 2-pullbacks and strict cotensors with $\mathbf{2}$ (which is all you really need for this argument) a "representable 2-category": all the 2-dimensional structure of its objects can be "represented" as internal categories in some 1-category. Cf. for instance "Fibrations and Yoneda's lemma in a 2-category."</p> <p>If $C$ is a non-strict 2-category, then it doesn't have an underlying 1-category, so it's not as clear how to write this down. But I think that morally, it should still be true, if one takes the care to phrase it correctly. The question of $n$-categories for $n>2$ is quite a different matter, though; I don't know if anyone's thought about it.</p>