MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is there a notion of fibered category with box products? By this I roughly mean a fibration $C\rightarrow B$ where $B$ has finite products, along with functors $$\boxtimes: C(X)\times C(Y)\rightarrow C(X\times Y)$$ and some coherent isomorphisms, for example:

$$(f\times g)^* (M\boxtimes N) \leftrightarrow (f^* M) \boxtimes (g^* N)$$ and $$(M\boxtimes N)\boxtimes L \leftrightarrow M\boxtimes (N \boxtimes L) $$

This situation occurs often in geometry, for example:

B=Varieties, C=quasi coherent sheaves, D-modules

share|cite|improve this question
up vote 4 down vote accepted

Yes, there is. In this paper I called it a monoidal fibration (with cartesian monoidal base), but I'm sure that other people had thought about it before. There are some nice things you can say especially in the case when the base is cartesian; for instance you automatically get a monoidal structure on each fiber defined by $M\otimes N = \Delta^*(M\boxtimes N)$, and you can recover the box-product from the fiberwise monoidal structure via $M\boxtimes N = \mathrm{pr}_1^* M \otimes \mathrm{pr}_2^* N$.

share|cite|improve this answer
This looks good, thanks! – Jan Weidner Jun 14 '10 at 21:07

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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