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 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 foundation foundations functional-analysis functor galois-theory 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 planar 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).

nLab > Latest Changes: semisimple category

Bottom of Page

1 to 8 of 8

  1.  
    • CommentRowNumber1.
    • CommentAuthorJohn Baez
    • CommentTimeJun 27th 2010
    • (edited Jun 27th 2010)

    I was dissatisfied with the discussion at semisimple category because it only defined a semisimple monoidal Vect-enriched category, completely ignoring the more common notion of semsimple abelian category.

    So, I stuck in the definition of semisimple abelian category.

    However, I still think there is a lot that could be improved here: when is a semisimple abelian category which is also monoidal a semsimple monoidal category in some sense like that espoused here???

    I think this article is currently a bit under the sway of Bruce Bartlett’s desire to avoid abelian categories. This could be good in some contexts, but not necessarily in all!

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 27th 2010

    We don’t hear a lot from Bruce here, so I’m wondering who was under his sway… :-) Why does Bruce desire to avoid abelian categories?

    • CommentRowNumber3.
    • CommentAuthorJohn Baez
    • CommentTimeJun 27th 2010

    The article was under Bruce’s sway. He explains there why he wants to avoid abelian categories, but I sympathize too little to try to convey his point. I guess he’s trying to say that for semisimple categories, all that really matters are biproducts and splitting idempotents. Sounds vaguely familiar, eh? But I’m still not sure I agree…

    • CommentRowNumber4.
    • CommentAuthorCharles Rezk
    • CommentTimeFeb 19th 2017

    The second definition of semisimple category on this page is as a “monoidal linear category” with certain properties. But none of the properties or any of the later discussion on this page uses the monoidal structure, nor is it very consistent with the first defintion (as a semisimple abelian category, which makes no reference to monoidality).

    • CommentRowNumber5.
    • CommentAuthorJohn Baez
    • CommentTimeJan 6th 2023
    The definition of simple object on the page semisimple category (namely an object whose endomorphism algebra is the ground field) is only equivalent to the definition at simple object when the field is algebraically closed.
    • CommentRowNumber6.
    • CommentAuthorJohn Baez
    • CommentTimeJan 6th 2023
    • (edited Jan 6th 2023)

    I got rid of the unnecessary ’monoidal’ assumption in the definition of ’semisimple linear category’, following Charles Rezk’s suggestion above.

    diff, v31, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2023

    added more hyperlinks and more formatting to the Definition section (here)

    diff, v32, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2023

    also turned the previous subsection “Direct sums…” into a Proposition (now here) and adjusted wording and typesetting of the proof to make clear how the data from the definition is really being used.

    diff, v32, current

1 to 8 of 8

  1.