The concept of indexing of a category (a part of indexed category, see [14]) is introduced as a pair formed by a many sorted category and a many sorted functor. The indexing of a category C against to [14] is not a functor but it can be treated as a functor from C into some categorial category (see [1]). The goal of the article is to work out the notation necessary to define institutions (see [...

The funding proposed here will provide an apparatus for precisely displaying 3D sounds, advancing understanding of how humans use sound to locate sources and analyze their environment, and exploring how audition affects and is affected by vision. Specifically the proposed research aims to answer the complementary questions • What information is used to locate the source of a sound within a list...