The abstraction of arbitrary categories

Color Categories Are Not Arbitrary Color Categories Are Not Arbitrary

1. Challenges to the Universals and Evolution theory of basic color term naming A theory of basic color term meanings based on the observation of semantic universals and evolutionary regularity in the naming of colors across languages was proposed by Berlin and Kay (1969). This model has undergone numerous revisions. I will refer to the various versions collectively as the UE model. A constant ...

The abstraction of form in semantic categories.

Undergraduates were asked to generate a name for a hypothetical new exemplar of a category. They produced names that had the same numbers of syllables, the same endings, and the same types of word stems as existing exemplars of that category. In addition, novel exemplars, each consisting of a nonsense syllable root and a prototypical ending, were accurately assigned to categories. The data demo...

On Satellites in Arbitrary Categories

We generalize the definition of satellites with respect to presheaves (and copresheaves) with trace in the sense of [1]; a presheaf with trace is replaced by a graph with a pair of diagrams defined on it. We show that the right satellite functor is left adjoint to the left satellite functor, and that a functor having a right (left) adjoint preserves right (left) satellites. In particular cases ...

Cohomology of Groups in Arbitrary Categories

An Abstraction of Multi-port Memories with Arbitrary Addressable Units

The paper describes a technique for automatic generation of abstract models of memories that can be used for efficient formal verification of hardware designs. Our approach is able to handle addressing of different sizes of data, such as quad words, double words, words, or bytes, at the same time. The technique is also applicable for memories with multiple read and write ports, memories with re...