‎This paper develops a basic theory of $H$-groups‎. ‎We‎ ‎introduce a special quotient of $H$-groups and‎ ‎extend some algebraic constructions of topological groups to the category‎ ‎of H-groups and H-maps and then present a functor from this category to the category of quasitopological groups‎.

Recently, the algebraic theory of MV -algebras is intensively studied. In this paper, we extend the concept of derivation of $MV$-algebras and we give someillustrative examples. Moreover, as a generalization of derivations of $MV$ -algebraswe introduce the notion of $f$-derivations and $(f; g)$-derivations of $MV$-algebras.Also, we investigate some properties of them.

This report contains a collection of notes on abstract additive and multiplicative Schwarz methods for self-adjoint positive linear operator equations. We examine closely one of the most elegant and useful modern convergence theories for these methods, following the recent work in the finite element multigrid and domain decomposition literature. Our motivation is to fully understand the structu...

This paper extends the notion of geometric control in algebraic K-theory from additive categories with split exact sequences to other exact structures. In particular, we construct exact categories of modules over a noetherian ring filtered by subsets of a metric space and sensitive to the large scale properties of the space. The algebraic K-theory of these categories is related to the controlle...

In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown...

We give an algebraic formalization of SLD-trees and their abstractions (ob-servables). We can state and prove in the framework several useful theorems (AND-compositionality, correctness and full abstraction of the denotation, equivalent top-down and bottom-up constructions) about semantic properties of various observables. Observables are represented by Galois co-insertions and can be used to m...

Algebraic graph theory comprises both the study of algebraic objects arising in connection with graphs, for example, automorphism groups of graphs along with the use of algebraic tools to establish interesting properties of combinatorial objects. One of the oldest themes in the area is the investigation of the relation between properties of a graph and the spectrum of its adjacency matrix. A ce...