Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
add comment

1 Answer

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|improve this answer
    
This looks good, thanks! –  Jan Weidner Jun 14 '10 at 21:07
add comment

Your Answer

 
discard

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.