For a stratified topological space we introduce the category of (mixed) IC-modules which are linear algebra devices with the relations described by the equation d = 0. We prove that the category of (mixed) IC-modules is equivalent to the category of (mixed) perverse sheaves for flag varieties.

The original definition of a topological space given by Hausdorff used neighborhood systems. Lattice-valued maps appear in this context when you identify a topology with a monoid in the Kleisli category of the filter monad on SET. H?hle’s notion of a lattice-valued topology [2] uses the same idea and it’s inspired in the classical lattice-valued topologies. Ltopological spaces are motivated by ...

Using the category of frames we consider various generalizations of the patch space of a topological space. Some of these constructions are old and some are new. We consider how these variants interact and under what circumstances they agree.

let $a$ be an abelian topological group and $b$ a trivial topological $a$-module. in this paper we define the second bilinear cohomology with a trivial coefficient. we show that every abelian group can be embedded in a central extension of abelian groups with bilinear cocycle. also we show that in the category of locally compact abelian groups a central extension with a continuous section can b...

In this paper, first a short history of the notion of equilibrium problem in Economics and Nash$acute{'}$ game theory is stated. Also the relationship between equilibrium problem among important mathematical problems like optimization problem, nonlinear programming, variational inequality problem, fixed point problem and complementarity problem is given. The concept of generalized pseudomonoton...

The topological complexity TC(X) is a numerical homotopy invariant of a topological space X which is motivated by robotics and is similar in spirit to the classical Lusternik–Schnirelmann category of X. Given a mechanical system with configuration space X, the invariant TC(X) measures the complexity of all possible motion planning algorithms designed for the system. In this paper, we compute th...

A strict 2-group is a 2-category with one object in which all morphisms and all 2morphisms 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...

A strict 2-group is a 2-category with one object in which all morphisms and all 2morphisms 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...

In a recent paper E. J. McShane [3]2 has given a theorem which is the common core of a variety of results about Baire sets, Baire functions, and convex sets in topological spaces including groups and linear spaces. In general terms his theorem states that if J is a family of open maps defined in one topological space Xi into another, X2, the total image JiS) of a second category Baire set S in ...

In a recent paper E. J. McShane [3]2 has given a theorem which is the common core of a variety of results about Baire sets, Baire functions, and convex sets in topological spaces including groups and linear spaces. In general terms his theorem states that if J is a family of open maps defined in one topological space Xi into another, X2, the total image JiS) of a second category Baire set S in ...