• Journal of the Chungcheong Mathematical Society
• /
• v.11 no.1
• /
• pp.1-12
• /
• 1998

In this paper we shall define a relative Lusternik-Schnirelmann category of a subset in a space with respect to a map which generalizes the category of a space, the category of a map and the relative category of a subset in a space. We shall study some properties of the relative Lusternik-Schnirelmann category of a subset in a space with respect to a map and generalize many results of the above categories.

• Journal of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.163-191
• /
• 2002

We introduce Clapp-Puppe type generalized Lusternik-Schnirelmann (co)category in a Quillen model category. We establish some of their basic properties and give various characterizations of them. As the first application of these characterizations, we show that our generalized (co)category is invariant under Quillen modelization equivalences. In particular, generalized (co)category is invariant under Quillen modelization equivalences. In particular, generalized (co)category of spaces and simplicial sets coincide. Another application of these characterizations is to define and study rational cocategory. Various other applications are also given.

• Korean Journal of Mathematics
• /
• v.31 no.1
• /
• pp.1-16
• /
• 2023

In this paper, we examine the relations of two closely related concepts, the digital Lusternik-Schnirelmann category and the digital higher topological complexity, with each other in digital images. For some certain digital images, we introduce κ-topological groups in the digital topological manner for having stronger ideas about the digital higher topological complexity. Our aim is to improve the understanding of the digital higher topological complexity. We present examples and counterexamples for κ-topological groups.

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.1
• /
• pp.87-94
• /
• 2000

In this paper we shall de ne a concept of ${\pi}_1$-category for a map relative to a subset which is a generalization of both the category for a map and the ${\pi}_1$-category of a space, and study some properties of the ${\pi}_1$-category for a map relative to a subset.

• 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.