• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.23-36
• /
• 2012

Dual monoidal category $\mathcal{C}^*$ of a monoidal functor F : $\mathcal{C}\;{\rightarrow}\;\mathcal{V}$ has been constructed by S. Majid. In this paper, we extend the construction of dual structures for an Ann-functor F : $\mathcal{B}\;{\rightarrow}\;\mathcal{A}$. In particular, when F = $id_{\mathcal{A}}$, then the dual category $\mathcal{A}^*$ is indeed the center of $\mathcal{A}$ an this is a braided Ann-category.

• Journal of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.351-381
• /
• 2021

In this paper we introduce the notion of strong Galois H-progenerator object for a finite cocommutative Hopf quasigroup H in a symmetric monoidal category C. We prove that the set of isomorphism classes of strong Galois H-progenerator objects is a subgroup of the group of strong Galois H-objects introduced in [3]. Moreover, we show that strong Galois H-progenerator objects are preserved by strong symmetric monoidal functors and, as a consequence, we obtain an exact sequence involving the associated Galois groups. Finally, to the previous functors, if H is finite, we find exact sequences of Picard groups related with invertible left H-(quasi)modules and an isomorphism Pic(HMod) ≅ Pic(C)⊕G(H∗) where Pic(HMod) is the Picard group of the category of left H-modules, Pic(C) the Picard group of C, and G(H∗) the group of group-like morphisms of the dual of H.

• Journal of the Korean Mathematical Society
• /
• v.50 no.4
• /
• pp.865-877
• /
• 2013

The disjoint union of mapping class groups of surfaces forms a braided monoidal category $\mathcal{M}$, as the disjoint union of the braid groups $\mathcal{B}$ does. We give a concrete and geometric meaning of the braidings ${\beta}_{r,s}$ in $\mathcal{M}$. Moreover, we find a set of elements in the mapping class groups which correspond to the standard generators of the braid groups. Using this, we can define an obvious map ${\phi}\;:\;B_g{\rightarrow}{\Gamma}_{g,1}$. We show that this map ${\phi}$ is injective and nongeometric in the sense of Wajnryb. Since this map extends to a braided monoidal functor ${\Phi}\;:\;\mathcal{B}{\rightarrow}\mathcal{M}$, the integral homology homomorphism induced by ${\phi}$ is trivial in the stable range.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1077-1095
• /
• 2015

In this paper we study equivariant crossed modules in its link with strict graded categorical groups. The resulting Schreier theory for equivariant group extensions of the type of an equivariant crossed module generalizes both the theory of group extensions of the type of a crossed module and the one of equivariant group extensions.