Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthordomenico_fiorenza
    • CommentTimeJun 26th 2011
    • (edited Jun 26th 2011)

    In one of its incarnations 2-Vect should be the 2-category whose objects are (commutative, with unit) algebras in Vect (to be thought of as placeholders for their categories of modules), whose 1-morphisms are bimodules (an AA-BB-bimodule is to be thought as a “linear” map from Mod AMod_A to Mod BMod_B), and whose 2-morphisms are morphisms of bimodules. There should be a natural 2-monoidal structure on 2-Vect, for which Vect is the unit object (I guess the tensor product uses the span AABBA\leftarrow A\otimes B\to B to define Mod A×Mod BMod AB×Mod ABMod ABMod_A\times Mod_B\to Mod_{A\otimes B}\times Mod_{A\otimes B}\stackrel{\otimes}{\to} Mod_{A\otimes B} which geometrically corresponds to pulling back quasicoherent sheaves from the factors to a product and taking their tensor product there).

    From this point of view, the dual of Mod AMod_A (if it exists) should be a category of modules Mod A Mod_{A^\vee}, where A A^\vee is an algebra endowed with an A AA^\vee\otimes A-𝕂\mathbb{K} bimodule (the pairing) and a 𝕂\mathbb{K}-A AA^\vee\otimes A-bimodule (the copairing) satisfying a few compatibility axioms.

    In particular, the composition of the pairing and the copairing should give a 𝕂\mathbb{K}-𝕂\mathbb{K}-bimodule (i.e. an element of Vect), to be thought as the dimension of Mod AMod_A.

    Is this correct?

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJun 26th 2011
    • (edited Jun 26th 2011)

    There should be a natural 2-monoidal structure on 2-Vect

    Yes, the 2-category of bimodules over algebras over a commutative ring is braided monoidal, with tensor product induced from tensoring of algebras. I think this was one of the examples that motivated Mike’s work on pro-arrow equipments (because that makes it easier to exhibit that braided monoidal structure by allowing one to use algebra homomorphisms as structure morphisms, instead of just the bimodules which they induce).

    […] Is this correct?

    Yes, that looks correct. I seem to remember that this and examples are also discussed in FHLT, but I can’t check right now.

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeJun 26th 2011

    I think this was one of the examples that motivated Mike’s work on pro-arrow equipments

    Yes, that’s right. And this example is not just braided monoidal, it’s symmetric monoidal (because the ground ring is commutative). In order to get a braided monoidal example you have to do fancier things that I don’t understand.

    And yes, what you describe about duality is also true. In fact, every object of this 2-category is dualizable; the dual of AA is A opA^{op}, the algebra with the opposite multiplication. The pairing and copairing bimodules are AA itself, regarded as a AA-AA-bimodule and thereby as a 𝕂\mathbb{K}-AA opA\otimes A^{op}-bimodule and dually. And the “dimension” or “Euler characteristic” of an algebra is its HH 0HH_0. (If you work with derived categories of bimodules instead, you can get all of Hochschild homology.)

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeJun 27th 2011

    There are similar issues with related truncation, the Loday-Pirashvili tensor category. Unfortunately, most objects there are not projective so things like dual basis do not seem to work, and I do not know a 2-categorical rescue.