 For example, transformational theory has also been applied to other sets of chords [@straus]. Different groups of transformations than the dihedral one have been proposed. Julian Hook’s UTT group is a much larger group of order 288 and has at its a core a wreath product construction [@hook1; @hook2]. Wreath products were also studied by Robert Peck in a more general setting [@peck1]. More recently, Robert Peck also introduced imaginary transformations [@peck2], in which quaternion groups, dicyclic groups and other extraspecial groups appear. A different approach has been undertaken in [@popoff], in an attempt to unify all these different groups, in which generalized neo-Riemannian groups of musical transformations are built as extensions.

However, the current group-based transformational theories raise multiple issues. One of them is that they sometimes fail to provide interesting groups of transformations for some sets of chords (an example will be given below). A second one is that transformational theories have also failed to provide a solution to the cardinality problem, namely finding transformations between chords of different cardinalities. While Childs [@childs] studied neo-Riemannian theory applied to seventh chords, his model does not include triads. Hook [@hook3] introduced another approach, namely cross-type transformations, to circumvent this problem.

In this paper, we introduce a categorical approach to musical transformations with the aim of generalizing existing constructions. This work can be viewed as a generalization of the previous work on group extensions, by using groupoids instead of groups, and by building the corresponding groupoid extensions. Note that a categorical approach to music theory has been heavily investigated in the book *The Topos of Music* by G. Mazzola [@mazzola]. Mazzola deplores in particular that *“Although the theory of categories has been around since the early 1940s and is even recognized by computer scientists, no attempt is visible in AST (Atonal Set Theory) to deal with morphisms between pcsets, for example”*. While this paper is rather technical and more mathematically- than musically-oriented, we nevertheless hope that it will provide useful leads for application to music analysis. The first section highlights some of the limitations of current transformational theories based on particular examples. The second part introduces a categorical construction for musical transformations. Finally, the third part explores the relation between the categories constructed in section 2 and the more familiar groups of musical transformations
For example, transformational theory has also been applied to early set of chords [ @straus ]. Different group of transformation than the dihedral one have been proposed. Julian Hook ’s UTT group is a much bombastic group of club 288 and has at its a kernel a wreath product construction [ @hook1; @hook2 ]. Wreath product were also studied by Robert Peck in a more cosmopolitan setting [ @peck1 ]. More recently, Robert Peck also introduced imaginary transformations [ @peck2 ], in which quaternion groups, dicyclic group and other extraspecial groups appear. A unlike approach has been undertaken in [ @popoff ], in an attack to unify all these unlike groups, in which generalized neo - Riemannian groups of musical transformations are built as extension. 

 However, the current group - based transformational theories raise multiple issues. One of them is that they sometimes fail to provide interesting group of transformations for some sets of chords (an example will be given below). A second one is that transformational theories have also failed to provide a solution to the cardinality trouble, namely discover transformations between chord of unlike cardinality. While Childs [ @childs ] studied neo - Riemannian theory applied to seventh chords, his model does not include triads. Hook [ @hook3 ] introduce another approach, namely cross - type transformations, to circumvent this problem. 

 In this paper, we insert a categorical approach to musical transformations with the aim of generalizing exist constructions. This work can be viewed as a generalization of the previous workplace on group extensions, by using groupoids instead of group, and by building the corresponding groupoid extensions. Note that a categoric approach to music theory has been heavily investigated in the book * The Topos of Music * by G. Mazzola [ @mazzola ]. Mazzola deplore in particular that * “ Although the hypothesis of categories has been around since the early 1940s and is even recognized by calculator scientists, no attempt is visible in AST (Atonal Set Theory) to deal with morphisms between pcsets, for exercise ” *. While this paper is quite technical and more mathematically- than musically - oriented, we nevertheless hope that it will provide useful leads for application to music analysis. The first section foreground some of the limitations of current transformational theories establish on particular examples. The second part introduces a categorical construction for melodious transformations. Finally, the third part explores the relation between the categories constructed in section 2 and the more conversant groups of musical transformations
 Fog example, transformationxl theory has also beei applisd to otfer sets of chords [@straus]. Dihferwnt geoups of transformatiovs than tje dihedeal ibe have bexh proposed. Jumlan Hmik’s UTT group ls a much ldrger group of ofdzr 288 and has at its a core a wreath pwoduct vojstruction [@hooh1; @hoph2]. Wrsath products were also studied by Robert Peck in a mote general setting [@peck1]. Moge rfcently, Robert Pecn also intriducqe imaginary gransformauimns [@peck2], ih which quaternion groups, dicycuic gxoups and ojkwr fftraspecial grouis appear. A dlgferend approsch has been ukderteken in [@popoff], in an attekpt to unify all trese diffarznt groups, in which gwnwralieed nao-Ridnanviah jrohps of muaical tranaformations are built as extenxijbs.

However, the curregt group-based transformational theories rdiss multiple issues. One od them is that they slmetimes sail to provide interesting groups of transformathons hof simc segw lf chords (an example will be given below). A sesknc pne is that trcnsformational tnelrogs have also fxiled ck lrovide a solution to the cardunality pwoblrm, namely finding transformqtions betwevn cyords of different cardinalitnes. Whole Cnilds [@childs] studied neu-Riejannian thelry applisa to seventh chofds, hhs model does not include eriads. Hoik [@hpok3] intfoduved anjther apprlach, kdmely cross-type trwnsfotmatiots, to circkmvent this problem.

In this papec, we introducg a canegorical apprpach to musicwl transformatnons witk the xim of genvralizing existing cjnstructions. Djis work can be viewqd aw a teneralkxation of the lrevious cjrk in group extensionx, bi hsing groupoids inwtead of groups, ana br humldind the correspmndivg etoupokd extensioks. Vote that a categorical dpprkach to music theoty has beeb heavilr investigatec in the book *The Uopos mf Ousic* by G. Mazzola [@mazzola]. Mazzola depmores in oarbicular that *“Wlthiugh the thepry of categories has been around since the early 1940s and iw even recognized bi cpmputer scixntistf, no attekpt is visible in ASR (Atonal Set Theovy) to deal with morphiams bedween pcsets, for example”*. While this paper is rather technical and more mathemaricallb- ehan musicamly-otientvd, ce ueverthqlesd hope that it wikl provide useful leads for appuication tj music analysis. The first srcgion highlighjs some of the limitations of currrnt transformational theories bssed on particular exampkes. The wecons part intcoduces a categoricak conscructiin for nusigal transformagioms. Finally, hhe uhirb part explores the relation betwwen thw fategories constcucted in segtlon 2 ahd the more familiar gdoupa of mosical transfotmations
For example, transformational theory has also been other of chords Different groups of have proposed. Julian Hook’s group is a larger group of order 288 and at its a core a wreath product construction [@hook1; @hook2]. Wreath products were studied by Robert Peck in a more general setting [@peck1]. More recently, Robert also imaginary [@peck2], which quaternion groups, dicyclic groups and other extraspecial groups appear. A different approach has been undertaken [@popoff], in an attempt to unify all these groups, in which generalized groups of musical transformations are as However, the group-based theories multiple issues. One them is that they sometimes fail to provide interesting groups of transformations for some sets of chords example will below). A one that theories have also provide a solution to the cardinality transformations between chords of different cardinalities. While Childs studied neo-Riemannian applied to seventh chords, his model not include triads. Hook [@hook3] introduced another approach, cross-type transformations, to circumvent this problem. In this paper, we introduce a categorical approach to with the aim of existing constructions. This can viewed a of the work on group extensions, by using groupoids instead of groups, and building the corresponding groupoid extensions. Note that a categorical approach theory been heavily investigated the book *The Topos Music* G. Mazzola [@mazzola]. Mazzola particular *“Although categories been since the early 1940s is even recognized by computer no attempt is visible to deal with morphisms between pcsets, for example”*. this paper is rather technical and more than musically-oriented, we nevertheless hope that it will provide useful leads for to music first section highlights some of the limitations of transformational theories based on examples. The second part introduces a categorical construction for transformations. the third explores the relation the categories constructed section 2 and familiar groups musical
 For example, transformationaL theory has Also bEen AppLiEd to OtheR sets of chords [@sTRaus]. different groups of transFormaTiONs thAN tHe dihEdral onE HaVE BeeN pRoPosEd. jUlIan HoOk’s uTT grouP is a much laRgeR gRoup of order 288 aND hAs at its a coRe a Wreath producT coNstrucTiOn [@hOOk1; @hooK2]. WrEath pRoductS Were alSo studied By rObert PECk in a moRE GeNeraL setting [@peck1]. More rECeNTly, Robert Peck aLso intRoDUcED ImaGinAry transfoRmAtionS [@Peck2], in wHIcH QUAteRNion groups, dicYclic groups ANd oTher exTrAspECial grOups aPpEAr. A Different apProaCh has been UndertAKen in [@poPOff], in an AttempT to UniFy alL ThEsE diFfERenT GrOupS, In wHich geneRaLiZed neO-RieMANNIan gRouPs of MusicAl transformatIonS are BUilT as exTensiOns.

HOwEver, tHe currEnt grOuP-based transformAtioNal theoriEs rAiSe mUlTiple ISsues. ONe oF thEm is thaT they soMEtiMeS FAIl To provide interestiNg GROuPs of tranSformaTIoNs FOr some seTs Of cHordS (AN examPle wILl Be given bElow). A sECoNd One is thAt TransfOrMatIonAl theORies Have alSo failed To proVIde a solution to THe cardinality PRoBLEm, NAmelY fiNding transfOrmaTIons BetwEEn ChoRDs of dIfferEnT CaRDinalities. While ChilDs [@Childs] StudiEd neo-RiemanniAn theory apPLIEd to seveNth cHOrDS, his model does nOt incLude triads. hOok [@hook3] iNtrodUced anotHer approaCH, Namely crOss-TypE trAnsFORmAtions, to circuMVEnt tHiS probleM.

In This papEr, wE inTroDucE a CategoricAl approaCh To MuSiCal TransFOrmationS wIth ThE aiM of geNEralizIng exIstiNg CoNStrUctions. tHiS WOrk cAn Be ViewEd aS a GenerAlizATioN of the pRevious woRk oN GrouP eXtEnsions, By using groupoIdS instead of GrOupS, and by BUIlding thE corresponding groupoid eXTensionS. NoTe thaT a caTegorical AppRoach tO muSIc theoRy has bEen heAvIly INVestiGATeD in ThE book *The ToPOS of music* By g. MazZola [@mazZola]. Mazzola deploreS In pArticular that *“altHougH THe TheORy OF caTeGOriES Has been around siNce the earlY 1940s ANd Is even recoGNizEd By compuTer scieNtistS, No attemPt is visibLe in AST (AtOnAl SeT tHeoRy) to deal wiTh morphiSms betweeN PcsetS, FoR examPle”*. while tHiS paPer is Rather TEchNical And morE mAthemaTicalLy- Than musiCally-oriented, we nevertheLess hoPe thaT it Will proviDe uSEfuL leads for ApplIcation to mUsiC anAlysiS. ThE First SectIOn HigHLightS somE Of the limiTAtIonS OF cUrrent transFORMatIonal TheORies baSed oN particular examplES. The second part IntrODUceS a cATegoRiCal constructioN foR mUSIcal tranSfOrmations. FiNally, the ThIRd parT exploRes the RelatioN BEtWEen the CateGorIes constrUctEd IN sectioN 2 aNd THe more FamiLiAr grouPs of muSIcal TRAnsformations
 For example, transformati onal theor y has  al sobe en a ppli ed to other se t s of  chords [@straus]. Dif feren tg roup s  o f tra nsforma t io n s  th an  t hedi h ed ral o nehave be en propose d.Ju lian Hook’sU TT  group isa m uch larger g rou p of o rd er2 88 an d h as at  its a core a  wreath p ro d uct co n structi o n  [ @hoo k1; @hook2]. Wrea t hp roducts were a lso st ud i ed b y R obe rt Peck in  a  more general se t t i ng[ @peck1]. More  recently,R obe rt Pec kals o  intro duced  i m agi nary transf orma tions [@p eck2], in whic h  quater nion g rou ps,  dic y cl ic  gr ou p s a n doth e r e xtraspec ia lgroup s ap p e a r . Adif fere nt ap proach has be enunde r tak en in  [@po poff ],  in a n atte mpt t ounify all these  dif ferent gr oup s,  in  w hichg eneral ize d n eo-Riem anniang rou ps o f  m usical transformat io n s  a re built  as ex t en si o ns.

How ev er,  the c urren t gr o up -based t ransfo r ma ti onal th eo ries r ai semul tiple issu es. On e of the m ist hat they somet i mes fail to p r ov i d ei nter est ing groupsof t r ansf orma t io nsf or so me se ts of chords (an examplewi ll begiven  below). A se cond one i s t hat tran sfor m at i onal theorieshavealso faile d  to prov ide a  solutio n to thec a rdinalit y p rob lem , n a m el y finding tra n s form at ions be twe en chor dsofdif fer en t cardina lities.Wh il eCh ild s [@c h ilds] st ud ied  n eo- Riema n nian t heory  app li ed toseventh ch o r ds,hi smode l d oe s not  inc l ude  triads . Hook [@ hoo k 3] i nt ro duced a nother approa ch , namely c ro ss- type t r a nsformat ions, to circumvent thi s  proble m.
In t hispaper, we  in troduc e a catego ricalappro ac h t o music a l  t ran sf ormationsw i ththe a im  ofgeneral izing existing con s tru ctions. Thiswor k ca n be  vi e we d  as  a gen e r alization of th e previous  w o rk  on groupe xte ns ions, b y using  grou p oids in stead ofgroups, a nd  byb u ild ing the co rrespond ing group o id ex t en sions . N ote th at  acateg orical app roach  to mu si c theo ry ha sbeen hea vily investigated in th e book  *The  To pos of Mu sic *  by  G. Mazzo la [ @mazzola].  Ma zzo la de plo r es in  par t ic ula r  that  *“A l though th e  t heo r y  o f categorie s h asbeenaro u nd sin ce t he early 1940s an d  is even recog nize d bycom p uter  s cientists, noatt em p t  is visi bl e in AST (A tonal Se tT heory ) to d eal wi th morp h i sm s  betwe en p cse ts, for e xam pl e ”*. Whi le  t h is pap er i srather  techn i cala n d more mathemati cally - thanm usi cally -o riented ,  weneverthele ss hope tha t it w illprovi de usef ul  leads  fo rapplicatio n  to music  anal ysis. T he  fir stsectio n hi g h light s so me  of  the limi t a ti o ns  o f  cu rren t tra ns form ational t h eories b ase d  on par ti cul a r  examp l es . The second  pa rt in t r oduces a c a tego r ic a l con struct ion fo r music a l t ra nsforma tio n s . Finally , the thi r d p ar t ex plores t he  rel at ion  b etween the cate gories c onstruct e d  in se cti o n 2a nd the  m ore familiar  grou ps of musi c a l t ransfor m ati ons 
 For_example, transformational_theory has also been_applied to_other_sets of_chords_[@straus]. Different groups_of transformations than_the dihedral one have_been proposed. Julian_Hook’s_UTT group is a much larger group of order 288 and has at its_a_core a_wreath_product_construction [@hook1; @hook2]. Wreath products_were also studied by Robert_Peck in_a more general setting [@peck1]. More recently, Robert_Peck_also introduced imaginary_transformations [@peck2], in which quaternion groups, dicyclic groups and_other extraspecial groups appear. A different_approach has been_undertaken_in_[@popoff], in an attempt_to unify all these different groups,_in which generalized neo-Riemannian groups of_musical transformations are built as extensions.

However, the_current group-based transformational theories raise multiple_issues. One of them is_that they_sometimes fail to provide interesting_groups of transformations_for some_sets of chords_(an example will be given below)._A second one_is that transformational theories have also_failed_to provide a_solution_to_the cardinality_problem, namely finding_transformations_between chords_of_different cardinalities. While Childs [@childs] studied_neo-Riemannian_theory applied to seventh chords, his model_does not include triads._Hook_[@hook3] introduced another approach,_namely cross-type transformations, to circumvent_this problem.

In this paper, we introduce_a categorical_approach to_musical transformations with the aim of generalizing existing constructions. This work_can be viewed as a generalization_of the previous work_on group_extensions,_by using groupoids_instead_of groups,_and by building the corresponding groupoid extensions._Note that_a categorical approach to music theory_has been heavily investigated_in_the book *The Topos of Music*_by G. Mazzola [@mazzola]. Mazzola deplores_in particular that *“Although the_theory_of_categories has been around since_the early 1940s and is even_recognized by computer_scientists, no attempt is visible in AST_(Atonal_Set Theory) to deal with morphisms_between_pcsets, for example”*. While this paper_is_rather_technical and more mathematically- than_musically-oriented, we nevertheless hope that it_will provide useful leads for application to music analysis._The first section_highlights some of the limitations_of_current_transformational theories based on particular examples. The second part introduces_a categorical_construction for musical_transformations. Finally, the third part explores the relation between the_categories constructed in section 2 and the_more familiar groups of musical transformations