In the definition of a crossed module $(T,G,rho)$, the actions of the group $T$ and $G$ on themselves are given by conjugation. In this paper, we consider these actions to be arbitrary and thus generalize the concept of ordinary crossed module. Therefore, we get the category ${bf GCM}$, of all generalized crossed modules and generalized crossed module morphisms between them, and investigate som...

This paper will present the case for using a formal component-based speciication technique for reactive systems, such as the Object Calculus of Fiadeiro and Maibaum. The Object Calculus provides a modular, highly declarative and abstract speciication language, suitable for reenement using model-based design notations such as B or VDM. In the Object Calculus, pre/post style speciications of the ...

We investigate the nontrivial solutions for a class of the systems of the superquadratic nonlinear wave equations with Dirichlet boundary condition and periodic condition with a superquadratic nonlinear terms at infinity which have continuous derivatives. We approach the variational method and use the critical point theory on the manifold, in terms of the limit relative category of the sublevel...

In category theory, most set-theoretic constructions—union, intersection, etc.—have direct categorical counterparts. But up to now, there is no direct construction of a deletion operation like the set-theoretic complement. In rule-based transformation systems, deletion of parts of a given object is one of the main tasks. In the double pushout approach to algebraic graph transformation, the cons...

In this paper, we propose an email categorization method using fuzzy theory and inherent feature of messages set of email. The proposed method can automatically classify emails into category labels, which supports keyword search and directory search method to efficiently manage the classified result with relation to a large volume of emails. In addition, it can reorganize email category hierarc...

in this paper, new definitions of $l$-fuzzy closure operator, $l$-fuzzy interior operator, $l$-fuzzy remote neighborhood system, $l$-fuzzy neighborhood system and $l$-fuzzy quasi-coincident neighborhood system are proposed. it is proved that the category of $l$-fuzzy closure spaces, the category of $l$-fuzzy interior spaces, the category of $l$-fuzzy remote neighborhood spaces, the category of ...

Previous research has demonstrated that recall performance is facilitated by the order of presentation of salient stimuli, referred to as the category-order effect (Brooks & Watkins, 1990; Greene & Lasek, 1994). Specifically, recall is higher on the full list when numbers precede words. To extend and clarify this research, Experiment 1 modified Brooks and Watkins’ paradigm by presenting items a...