creating and implementing a form space and denotator for...

39
Creating and Implementing a Form Space and Denotator for Bass Using the Category-Theoretic Concept Framework

Upload: others

Post on 02-Apr-2021

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Creating and Implementing a Form Space and Denotator for Bass Using

the Category-Theoretic Concept Framework

Page 2: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Introduction

• Both modern mathematical music theory and computer science are strongly influenced by the theory of categories and functors.

• The theory of categories and functors provides the framework for the design of the software system RUBATO COMPOSER.

Page 3: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Introduction

• In musical research software, the objects have to be named and defined in a recursive way.

• They also have to admit heterogeneous types, such as limits, colimits(of which products and coproducts are particular cases), power and list.

Page 4: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

The Dilemma

• The dilemma resides in how to maintain the algebraic structure of the category of modules(over any ring, with diaffine morphisms) and, at the same time, construct such objects as limits, colimits, and power, and classify truth.

Page 5: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

The Dilemma

The functorial approach leads to the resolution of

this dilemma by working in the category of

presheaves over modules (whose objects are the

functors F: Mod → Sets, and whose morphisms

are natural transformations of functors) and

which will be denoted as Mod@.

This category is a topos, which means that it allows all limits, colimits, and subobject classifiers Ω, while retaining the algebraic structure that is needed from the category Mod.

Page 6: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

My Research

My research consists of creating a form broad enough for the majority of simple electric bass scores, and a denotator which represents the jazz song “All of Me”. The recursivity of the mathematical definitions of form and denotator are made evident in this application

Page 7: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Definition of a Form

• A Form is a quadruple, (NF, TF, CF, IF) where

– NF is a string of unicode characters, called the Name of the Form.

– TF is one of the following:Simple, Power, Limit, and Colimit is called the Type of the Form.

Page 8: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Definition of a Form

– CF is one of the following, called the Coordinator of the Form

• For type Simple, CF is a module,

• For type Power, CF is a Form

• For types Limit and Colimit, CF is a diagram of Forms

• IF is a monomorphism of functors,

• IF : Fun(F) → X, IF in Mod@

Page 9: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Bass Score Form

Page 10: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Name Form Bass Score

Page 11: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

GeneralNotes

Page 12: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

SimpleNote

Page 13: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Definition of Denotator

• Let M be in Mod. An M addressed Denotator is a triple (ND, FD, CD) where:

– ND is a string of unicode characters, called the Name of the Denotator;

– FD is a Form, the Form of the Denotator;

– CD is an element of M@Fun(FD) and is called the Coordinates of the Denotator.

Page 14: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Denotator “SimpleNote”

• For an example of how to build a denotator I will take a small part of my denotator named “SimpleNote”

Page 15: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Creating the Denotator of “All of Me”

• A single denotator N1 of the form: SimpleNote

is created from the coordinates of the denotator which themselves are forms of type simple: Onset, Pitch, Duration, Loudness, and Voice.

Page 16: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Creating the Denotator of “All of Me”

• As we don't have time to see how all of the module morphisms are constructed we will build the pitch module morphism “mp”.

• All the others are built analogously.

Page 17: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Bassline for “All of Me”

Page 18: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Creating the Denotator in Rubato Composer

• To create the denotator for the Jazz song “All of Me” we must first create the Module Morphisms

Page 19: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Creating the Denotator in Rubato Composer

• Once we've opened our module morphism builder in Rubato Composer we will start creating a module morphism for pitch.

• First we must create “mp2” and “mp

1”

and then they will be used to make “mp”, which is a composition of the two.

Page 20: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Creating the Denotator in Rubato Composer

• For mp2 the domain is determined from the

number of musical notes in the bass line.

• For instance, the bass line I wrote for “All of Me” contains 64 notes.

• We establish the first note as the anchor note, so for our domain we use Z63.

Page 21: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Creating the Denotator in Rubato Composer

• mp2 is an embedding of the canonical vectors plus the zero

vector, that goes from Z63 → Q63.

Page 22: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

mp1

• mp1 will take us from Q63→ Q.

• We will set up the module morphism in the same way as mp

2,

except we will select affine instead of canonical.

Page 23: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

mp1

Page 24: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

mp

• To create mp, we bring up the module morphism builder, and create a module morphism with the domain of mp

2 and a

codomain of mp1.

• Which results in mp1○mp

2 = mp.

Page 25: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

mp

Page 26: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

mp

• mp: Z63 → Q63 → Q: x → (4, 7, 9, 7, 4, 0, 2, 4, 8, 11, 8, 4, 2, -1, -4, -3, -1, 1, 4, 7, 6, 5, 4, 2, 5, 9, 12, 11, 9, 5, 2, 4, -8, 3, 4, 8, 4, 0, -1, -3, -1, 0, 4, 9, 7, 5, 4, 2, 6, 12, 11, 9, 6, 0, 2, 5, 9, 2, 6, 7, -5, -1, 2)●x + 48

• Example, when x=(0,...,0)

(4,..., 2)●(0,...0) + 48 → 0+48 → 48

Which is the first note in our bassline.

Page 27: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Module Morphisms

• All of the Module Morphisms are made in the same way.

• Once all of the Module Morphisms are built we can arrange them using the denotator builder.

Page 28: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Denotator Builder

Page 29: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Creating Denotator

Page 30: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Using Rubettes in Rubato Composer

• To play our bass line in Rubato Composer, we must create a network using rubettes.

• We will need to set up three rubettes; the Source rubette, the @AddressEval rubette, and the Scoreplay rubette.

Page 31: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Source

Page 32: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Source

Page 33: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Source

Page 34: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

@AddressEval Rubette

• Next open the @AddressEval Rubette.

• This rubette will be directly connected to the Source rubette.

Page 35: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named
Page 36: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Scoreplay Rubette

• To play our bassline we need to open the scoreplay rubette and connect it to the @AddressEval rubette.

• This is done the same way as the Source and @AddressEval rubettes.

Page 37: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Finished Network

Page 38: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Pianola

Page 39: Creating and Implementing a Form Space and Denotator for ...marianamontiel.gsucreate.org/videos/RB09.pdfIntroduction • In musical research software, the objects have to be named

Run the program