• Korean Journal of Mathematics
• /
• v.21 no.2
• /
• pp.189-195
• /
• 2013

PosM is a category whose objects are ample spaces and morphisms are possibility mappings. We study some properties of the Category PosM. So we show that Category PosM is a cartesian closed category, and it forms a topos with some condition.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.671-682
• /
• 1999

Using a base-point free version of the infinite symmetric product we define a fibrewise infinite symmetric product for any fibration $E\;\longrightarrow\;B$. The construction works for any commutative ring R with unit and is denoted by $R_f(E)\;l\ongrightarrow\;B$. For any pointed space B let $G_I(B)\;\longrightarrow\;B$ be the i-th Ganea fibration. Defining $M_R-cat(B):= inf{i\midR_f(G_i(B))\longrihghtarrow\;B$ admits a section} we obtain an approximation to the Lusternik-Schnirelmann category of B which satisfies .g.a product formula. In particular, if B is a 1-connected rational space of finite rational type, then $M_Q$-cat(B) coincides with the well-known (purely algebraically defined) M-category of B which in fact is equal to cat (B) by a result of K.Hess. All the constructions more generally apply to the Ganea category of maps.

• Communications of the Korean Mathematical Society
• /
• v.25 no.4
• /
• pp.523-535
• /
• 2010

There are different categorifications of the notion of a ring such as Ann-category due to N. T. Quang, ring category due to M. M. Kapranov and V. A. Voevodsky. The main result of this paper is to prove that every axiom in the definition of a ring category, but the axiom $x_0 = y_0$, can be deduced from the axiomatics of an Ann-category.

• Bulletin of the Korean Mathematical Society
• /
• v.27 no.2
• /
• pp.189-196
• /
• 1990

In this paper, we try to generalize ultraproducts in the category of locally convex spaces. To do so, we introduce D-ultracolimits. It is known [7] that the topology on a non-trivial ultraproduct in the category T $V^{ec}$ of topological vector spaces and continuous linear maps is trivial. To generalize the category Ba $n_{1}$ of Banach spaces and linear contractions, we introduce the category L $C_{1}$ of vector spaces endowed with families of semi-norms closed underfinite joints and linear contractions (see Definition 1.1) and its subcategory, L $C_{2}$ determined by Hausdorff objects of L $C_{1}$. It is shown that L $C_{1}$ contains the category LC of locally convex spaces and continuous linear maps as a coreflective subcategory and that L $C_{2}$ contains the category Nor $m_{1}$ of normed linear spaces and linear contractions as a coreflective subcategory. Thus L $C_{1}$ is a suitable category for the study of locally convex spaces. In L $C_{2}$, we introduce $l_{\infty}$(I. $E_{i}$ ) for a family ( $E_{i}$ )$_{i.mem.I}$ of objects in L $C_{2}$ and then for an ultrafilter u on I. we have a closed subspace $N_{u}$ . Using this, we construct ultraproducts in L $C_{2}$. Using the relationship between Nor $m_{1}$ and L $C_{2}$ and that between Nor $m_{1}$ and Ba $n_{1}$, we show thatour ultraproducts in Nor $m_{1}$ and Ba $n_{1}$ are exactly those in the literatures. For the terminology, we refer to [6] for the category theory and to [8] for ultraproducts in Ba $n_{1}$..

• Korean Journal of Clinical Laboratory Science
• /
• v.45 no.3
• /
• pp.102-107
• /
• 2013

Hepatitis A (HA) is an acute infectious disease of the liver caused by the Hepatitis A virus (HAV). In acute HA, the presence of anti-HAV IgM is detectable and about 3 weeks after exposure, its titre increases over 4 to 6 weeks. Anti-HAV IgG is detectable within a few days of the onset of symptoms. IgG antibodies continue to last for years after infection and provide lifelong immunity to the host. This study was performed to investigate the current seroprevalence of anti-HAV antibodies in Jeonbuk province, South Korea. A total of 591 (male 322, female 269) serum samples were collected in July 2011 to June 2012. We tested the antibodies of anti-HAV IgG and IgM using a Modular E170 (Roche Diagnostics, Germany), and analysed the serum alanine aminotransferase (ALT) levels by HITACH 7600-100 (HITACH, Japan). The overall seroprevalence of anti-HAV IgG was 84.6% (500/591), and the rate of females (85.9%) was higher than males (83.5%). According to the decade of age, seroprevalence of anti-HAV IgG were as follows; 68.8% (11/16) in the under 10 years old category, 100% (19/19) in the 10~19 category, 96% (48/50) in the 20~29 category, 83.6% (56/67) in the 30~39 category, 84.3% (123/146) in the 40~49 category, 83.3% (135/162) in the 50~59 category, 83.1% (54/65) in the 60~69 category, 78.1% (32/41) in the 70~79 category, and 88% (22/25) in the over 80 category. Total seroprevalence of anti-HAV IgM was 3.4% (20/591), and according to gender, the seroprevalence of male (3.1%) was very similar to that of female (3.7%). Through this study, we know that the seroprevalence of anti-HAV antibody in north-west Jeonbuk province, South Korea, was high. Only children under the age of 10 remain susceptible to HAV infection. Vaccination against HAV is not needed at the present time for the people of Jeonbuk province, South Korea, but a vaccination should be recommended and the improvement in sanitary conditions and personal hygiene should be highlighted.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.273-280
• /
• 2024

Let I be an ideal of a commutative Noetherian semi-local ring R and M be an R-module. It is shown that if dim M ≤ 2 and Supp_R M ⊆ V (I), then M is I-weakly cofinite if (and only if) the R-modules Hom_R(R/I, M) and Ext¹_R(R/I, M) are weakly Laskerian. As a consequence of this result, it is shown that the category of all I-weakly cofinite modules X with dim X ≤ 2, forms an Abelian subcategory of the category of all R-modules. Finally, it is shown that if dim R/I ≤ 2, then for each pair of finitely generated R-modules M and N and each pair of the integers i, j ≥ 0, the R-modules Tor^R_i(N, H^j_I(M)) and Extⁱ_R(N, H^j_I(M)) are I-weakly cofinite.

• Journal of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.641-650
• /
• 1996

Let G denote an upper semicontinuous(usc) decomposition of an (n + k)-manifold M into closed, connected n-manifolds. What can be said about the decomposition space B = M/G\ulcorner What regularity properties are possessed by the decomposition map $p : M \to B \ulcorner$ Certain forms of these questions have been addressed by D. Coram and pp. Duvall [C-D].

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.361-367
• /
• 1994

An elliptic module is an analogue of an elliptic curve over a function field [D]. The dual of an elliptic curve E is represented by Ext(E, $G_{m}$) and the Cartier dual of an affine group scheme G is represented by Hom(G, G$G_{m}$). In the category of elliptic modules the Carlitz module C plays the role of $G_{m}$. Taguchi [T] showed that a notion of duality of a finite t-module can be represented by Hom(G, C) in a suitable category. Our computation shows that the Ext-group as it stands is rather too "big" to represent a dual of an elliptic module.(omitted)

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.365-375
• /
• 2011

In this paper, we study w-ity and (co-)semi-divisoriality of Hom-modules and the semi-divisorial envelope of $Hom_R$(M,N) under suitable conditions on R, M, and N. We also investigate an injective cogenerator of a quotient category.

• Korean Journal of Mathematics
• /
• v.18 no.2
• /
• pp.175-183
• /
• 2010

The classical group completion theorem states that under a certain condition the homology of ${\Omega}BM$ is computed by inverting ${\pi}_0M$ in the homology of M. McDuff and Segal extended this theorem in terms of homology fibration. Recently, more general group completion theorem for simplicial spaces was developed. In this paper, we construct a symmetric monoidal 2-category ${\mathcal{A}}$. The 1-morphisms of ${\mathcal{A}}$ are generated by three atomic 2-dimensional CW-complexes and the set of 2-morphisms is given by the group of path components of the space of homotopy equivalences of 1-morphisms. The main part of the paper is to compute the homotopy type of the group completion of the classifying space of ${\mathcal{A}}$, which is shown to be homotopy equivalent to ${\mathbb{Z}}{\times}BAut^+_{\infty}$.