Science-advisor
REGISTER info/FAQ
Login
username
password
     
forgot password?
register here
 
Research articles
  search articles
  reviews guidelines
  reviews
  articles index
My Pages
my alerts
  my messages
  my reviews
  my favorites
 
 
Stat
Members: 3645
Articles: 2'503'724
Articles rated: 2609

24 April 2024
 
  » arxiv » math.QA/0411468

 Article overview


2-Groups, trialgebras and their Hopf categories of representations
Hendryk Pfeiffer ;
Date 22 Nov 2004
Subject Quantum Algebra; Mathematical Physics MSC-class: 16W30; 18C10; 18D05; 18D10; 20C15; 22C05; 46L05 | math.QA math-ph math.MP
AbstractA strict 2-group is a 2-category with one object in which all morphisms and all 2-morphisms have inverses. 2-Groups have been studied in the context of homotopy theory, higher gauge theory and Topological Quantum Field Theory (TQFT). In the present article, we develop the notions of trialgebra and cotrialgebra, generalizations of Hopf algebras with two multiplications and one comultiplication or vice versa, and the notion of Hopf categories, generalizations of monoidal categories with an additional functorial comultiplication. We show that each strict 2-group has a `group algebra’ which is a cocommutative trialgebra, and that each strict finite 2-group has a `function algebra’ which is a commutative cotrialgebra. Each such commutative cotrialgebra gives rise to a symmetric Hopf category of corepresentations. In the semisimple case, this Hopf category is a 2-vector space according to Kapranov and Voevodsky. We also show that strict compact topological 2-groups are characterized by their C^*-cotrialgebras of `complex-valued functions’, generalizing the Gel’fand representation, and that commutative cotrialgebras are characterized by their symmetric Hopf categories of corepresentations, generalizing Tannaka--Krein reconstruction. Technically, all these results are obtained using ideas from functorial semantics, by studying models of the essentially algebraic theory of categories in various base categories of familiar algebraic structures and the functors that describe the relationships between them.
Source arXiv, math.QA/0411468
Services Forum | Review | PDF | Favorites   
 
Visitor rating: did you like this article? no 1   2   3   4   5   yes

No review found.
 Did you like this article?

This article or document is ...
important:
of broad interest:
readable:
new:
correct:
Global appreciation:

  Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.

browser Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)






ScienXe.org
» my Online CV
» Free


News, job offers and information for researchers and scientists:
home  |  contact  |  terms of use  |  sitemap
Copyright © 2005-2024 - Scimetrica