12
$\begingroup$

Let's start with the following random example: If $F$ is a presheaf, then for every chain of open subsets $U \subseteq V \subseteq W$, the morphisms $F(W) \to F(V) \to F(U)$ and $F(W) \to F(U)$ coindice. But this may be an evil (nlab link) definition, especially when the values of $F$ are categories (which occurs in my current research). So we should just impose that these morphisms are equivalent. But then we arrive at compatibility conditions between these equivalences, which are, again, equalities, and may be evil. So what is the consequence of this: Should every mathematical theory take place in a $\infty$-category? Or is 'real' mathematics basically evil? I know this question is quite imprecise, but currently I just don't see where and why this process of increasing the "depth" of category theory should end. Anyway, I have to admit that my knowledge of higher category theory is very, very rudimental.

Here is a evil question, which is part of my confusion: Let $Ring$ denote the category of rings, ring homomorphisms and $AbCat$ denote the category of abelian categories, functors. Then $Ring \to AbCat, A \to Mod_A$ should be a functor, right? If $A \to B$ is a ring homomorphism, just tensor with $B$ over $A$. But then functoriality is only satisfied up to equivalence ($2$-isomorphism) in $AbCat$. To get a honest functor, we might mod out these equivalences to get a $1$-category $\tilde{AbCat}$. But I don't think that this is the most natural way to handle this. Or we may define quasi-functors (cf. the presheaf example). Anyway, may we think of it as a usual functor, without turning into troubles? Or is it important, in practice, to have this higher category theoretic point of view? Or is it possible to turn this functor into a honest functor, by choosing the tensor products $M \otimes_A B$ carefully? I think the latter is interesting, although I know that nobody really cares about such evil equalities like $(M \otimes_A B) \otimes_B C = M \otimes_A C$.

$\endgroup$
5
  • 4
    $\begingroup$ You can always bloat up the category Mod_A into the category of presentations of A-modules (i.e. an object is a set X together with a submodule of relations in the free module on X), and this is functorial. $\endgroup$ Sep 14, 2010 at 17:51
  • $\begingroup$ A good way to avoid dealing with pseudofunctors is to use the construction of Grothendieck to deal with these things as fibered categories. To deal with $\infty$-categories and avoid evil, it is often enough to use derivators. Mike Shulman has some posts on the n-Category Cafe about this. It turns out that in a sense, all of the the $\infty$-categorical complexity can be boxed up and dealt with using ordinary 2-category theory. $\endgroup$ Sep 14, 2010 at 18:24
  • 1
    $\begingroup$ This issue about functoriality of the module category comes up in algebraic K-theory, where you want to define the K-theory groups in terms of the category of modules, and you want this to be functorial. The problem is usually resolved in approximately the way Tyler says (although in K-theory you care more about projectives than all modules, and can work with idempotent matrices instead of presentations). $\endgroup$
    – Dan Ramras
    Sep 14, 2010 at 20:07
  • $\begingroup$ There certainly are situations in which your first example comes into play. For example, a monoidal category is the same as a ("weak") 2-category with one object, and monoidal functors are functors along with some coherent natural isomorphisms. The coherency conditions are that the isomorphism respect the various associator structures, and sometimes fail. A notable example is that of a the representation theory of a quasi-Hopf algebra: the category of representations has a monoidal structure coming from the quasi-Hopf structure, but the forgetful map does not respect the associators. $\endgroup$ Sep 15, 2010 at 5:18
  • $\begingroup$ The article "Turning monoidal categories into strict ones" by Peter Schauenburg (nyjm.albany.edu/j/2001/7-16.pdf) provides a construction of "strict" tensor products without changing the objects. $\endgroup$ Nov 29, 2010 at 13:21

1 Answer 1

13
$\begingroup$

There are a lot of questions here, but I'll try to answer them all.

Should every mathematical theory take place in a ∞-category? Or is 'real' mathematics basically evil?

I would say that all mathematics should take place in its natural context. Sometimes you have things that are sets where equality makes sense, like an ordinary presheaf, and then you work in a 1-category. Sometimes you have things where only isomorphism makes sense, like a presheaf of categories, and then you work in a 2-category. Etc.

It is true that any n-category for finite n can be considered a special case of an ∞-category with only identity cells above n, so in this degenerate sense all n-categories are ∞-categories, and thus one might say that "all mathematics takes place in an ∞-category" — at least if one believes that all mathematics takes place in an n-category for some n! But even that is not clear, e.g. some mathematics naturally takes place in other categorical structures, such as a double category or a proarrow equipment. Some mathematics uses no category theory at all (at least as far as anyone has noticed so far), and so it would be a stretch to say that it takes place in any sort of category.

Anyway, may we think of it as a usual functor, without turning into troubles? Or is it important, in practice, to have this higher category theoretic point of view? Or is it possible to turn this functor into a honest functor, by choosing the tensor products $M\otimes_A B$ carefully?

I would say qualified yes, yes, and yes, respectively. You can think of it as a usual functor as long as doing so doesn't cause you to think that it behaves in any way that a pseudofunctor doesn't! Which is sort of a vacuous statement, but the point is that pseudofunctors really shouldn't be a very scary concept (as opposed to a technical definition, which might be a bit complicated, though cf. Harry's comment) — they really are just like ordinary functors, except that you're dealing with things (e.g. categories) for which it doesn't really make sense to ask morphisms to be equal, only isomorphic.

On the other hand, the "higher category theoretic" fact that pseudofunctors are not all strict functors is very important. I believe that Benabou, the inventor of bicategories, once said that the important thing about bicategories is not that they themselves are "weak," but that the morphisms between them are weak. In particular, although every bicategory is equivalent to a strict 2-category, not every pseudofunctor between bicategories is equivalent to a strict functor.

But on the third hard, it is true that any pseudofunctor with values in the 2-category Cat is equivalent to a strict functor. In the language of fibrations, this says that any fibration is equivalent to a split one. Tyler mentioned one construction of an equivalent strict functor in the case of modules and tensor products. There is also a general construction which, applied to the case of modules, will replace $Mod_A$ by a category whose objects are pairs (M,φ) where M is an R-module and φ:R→A is a ring homomorphism. We regard such a pair as a formal representative of $M\otimes_R A$ and define morphisms between them accordingly, to get a category eequivalent to $Mod_A$. Now the extension-of-scalars functor $\psi_!:Mod_A \to Mod_B$ is represented by the functor taking a pair (M,φ) to (M,ψφ), which is strictly functorial since composition of ring homomorphisms is so.

$\endgroup$
1
  • 2
    $\begingroup$ "Some mathematics uses no category theory at all (at least as far as anyone has noticed so far), and so it would be a stretch to say that it takes place in any sort of category." +100 -- from someone who's interested in and has worked on corners of functional analysis where categorical aspects do play a useful or informative role $\endgroup$
    – Yemon Choi
    Sep 14, 2010 at 21:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.