In this paper we develop a general representation theory for mv-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of mv-algebras and mv-chains, to the representation of commutative rings with unit as rings of global sec...

Concepts form the building blocks of thought and the present review demonstrates that concept learning is dynamic and complex. Various theories of concept representation and learning are reviewed, including classical, prototype, exemplar, and theory theories. Research suggests that the nature of conceptual organization changes as a function of expertise and cultural experience. Furthermore, res...

a general notion of completely monotone functionals on an ordered banach algebra b into a proper h*-algebra a with an integral representation for such functionals is given. as an application of this result we have obtained a characterization for the generalized completely continuous monotone functions on weighted foundation semigroups. a generalized version of bochner’s theorem on foundation se...

Estimation of the semantic relatedness between biomedical concepts has utility for many informatics applications. Automated methods fall into two broad categories: methods based on distributional statistics drawn from text corpora, and methods based on the structure of existing knowledge resources. In the former case, taxonomic structure is disregarded. In the latter, semantically relevant empi...

One of the earliest theorems in category theory stated that an abelian category could be represented faithfully by exact functors into the category Ab of abelian groups [Freyd, 1964], [Lubkin, 1961] and [Heron, unpublished]. Then Mitchell [1965] showed that every such category had a full exact embedding into a module category. An equivalent formulation is that every abelian category into a cate...

The authors develop an algorithm for a field theoretical implementation of mirror symmetry. This is based on the so-called quiver representation certain $N=1$ supersymmetric theories and non-abelian generalization piecewise dualization three-dimensional abelian theories. Extensions this local field-theoretic operations to non-supersymmetric are expected.

For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture more and more information according to the injective dimension of the images of the functor. The categories are obtained by using truncated versions of resolu...