Toward an ecological aesthetics: music as emergence

In this article we intend to suggest some ecological based principles to support the possibility of develop an ecological aesthetics. We consider that an ecological aesthetics is founded in concepts as “direct perception”, “acquisition of affordances and invariants”, “embodied embedded perception” and so on. Here we will purpose that can be possible explain especially soundscape music perception in terms of direct perception, working with perception of first hand (in a Gibsonian sense). We will present notions as embedded sound, detection of sonic affordances and invariants, and at the end we purpose an experience with perception/action paradigm to make soundscape music as emergence of a self-organized system

Tannakian approach to linear differential algebraic groups

Tannaka's Theorem states that a linear algebraic group G is determined by the category of finite dimensional G-modules and the forgetful functor. We extend this result to linear differential algebraic groups by introducing a category corresponding to their representations and show how this category determines such a group.Comment: 31 pages; corrected misprint

Division, adjoints, and dualities of bilinear maps

The distributive property can be studied through bilinear maps and various morphisms between these maps. The adjoint-morphisms between bilinear maps establish a complete abelian category with projectives and admits a duality. Thus the adjoint category is not a module category but nevertheless it is suitably familiar. The universal properties have geometric perspectives. For example, products are orthogonal sums. The bilinear division maps are the simple bimaps with respect to nondegenerate adjoint-morphisms. That formalizes the understanding that the atoms of linear geometries are algebraic objects with no zero-divisors. Adjoint-isomorphism coincides with principal isotopism; hence, nonassociative division rings can be studied within this framework. This also corrects an error in an earlier pre-print; see Remark 2.11

Four problems regarding representable functors

Let $R$, $S$ be two rings, $C$ an $R$-coring and ${}_{R}^C{\mathcal M}$ the category of left $C$-comodules. The category ${\bf Rep}\, ( {}_{R}^C{\mathcal M}, {}_{S}{\mathcal M} )$ of all representable functors ${}_{R}^C{\mathcal M} \to {}_{S}{\mathcal M}$ is shown to be equivalent to the opposite of the category ${}_{R}^C{\mathcal M}_S$. For $U$ an $(S,R)$-bimodule we give necessary and sufficient conditions for the induction functor $U\otimes_R - : {}_{R}^C\mathcal{M} \to {}_{S}\mathcal{M}$ to be: a representable functor, an equivalence of categories, a separable or a Frobenius functor. The latter results generalize and unify the classical theorems of Morita for categories of modules over rings and the more recent theorems obtained by Brezinski, Caenepeel et al. for categories of comodules over corings.Comment: 16 pages, the second versio

Tannaka-Krein duality for Hopf algebroids

We develop the Tannaka-Krein duality for monoidal functors with target in the categories of bimodules over a ring. The \coend of such a functor turns out to be a Hopf algebroid over this ring. Using the result of a previous paper we characterize a small abelian, locally finite rigid monoidal category as the category of rigid comodules over a transitive Hopf algebroid.Comment: 25 pages, final version, to appear in Israel Journal of Mathematic

The Dold-Kan Correspondence and Coalgebra Structures

By using the Dold-Kan correspondence we construct a Quillen adjunction between the model categories of non-cocommutative coassociative simplicial and differential graded coalgebras over a field. We restrict to categories of connected coalgebras and prove a Quillen equivalence between them.Comment: 24 pages. Accepted by the Journal of Homotopy and Related Structures. Online 28 November 201

Bicategories for boundary conditions and for surface defects in 3-d TFT

We analyze topological boundary conditions and topological surface defects in three-dimensional topological field theories of Reshetikhin-Turaev type based on arbitrary modular tensor categories. Boundary conditions are described by central functors that lift to trivializations in the Witt group of modular tensor categories. The bicategory of boundary conditions can be described through the bicategory of module categories over any such trivialization. A similar description is obtained for topological surface defects. Using string diagrams for bicategories we also establish a precise relation between special symmetric Frobenius algebras and Wilson lines involving special defects. We compare our results with previous work of Kapustin-Saulina and of Kitaev-Kong on boundary conditions and surface defects in abelian Chern-Simons theories and in Turaev-Viro type TFTs, respectively.Comment: 34 pages, some figures. v2: references added. v3: typos corrected and biliography update

Dynamical locality of the free Maxwell field

We consider the non-interacting source-free Maxwell field, described both in terms of the vector potential and the field strength. Starting from the classical field theory on contractible globally hyperbolic spacetimes, we extend the classical field theory to general globally hyperbolic spacetimes in two ways to obtain a "universal" theory and a "reduced" theory. The quantum field theory in terms of the unital $*$-algebra of the smeared quantum field is then obtained by an application of a suitable quantisation functor. We show that the universal theories fail local covariance and dynamical locality owing to the possibility of having non-trivial radicals in the classical and non-trivial centres in the quantum case. The reduced theories are both locally covariant and dynamically local. These models provide new examples relevant to the discussion of how theories should be formulated so as to describe the same physics in all spacetimes