arxiv:math/ v1 [math.gr] 24 Oct 2006

Transcription

1 PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOID GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK arxv:math/ v1 [math.gr] 24 Oct 2006 Abstract. We show how the categoral approach to nverse monods can be descrbed as a certan endounctor whch we call the partalzaton unctor o some category. In ths paper we show that ths unctor can be used to obtan several recently dened nverse monods, and use t to dene a new obect, whch we call the nverse brad-permutaton monod. A presentaton or ths monod s obtaned. Fnally, we study some abstract propertes o the partalzaton unctor and ts teratons. Ths leads to a categorcaton o a monod o all order preservng maps, and seres o orthodox generalzatons o the symmetrc nverse semgroup. Contents 1. Introducton 2 Acnowledgments 3 2. Partalzatons o a category The partalzaton unctor P P and nverse semgroups The partalzaton unctor Q Q and nverse semgroups Dual constructons 6 3. Examples rom the theory o semgroups Fnte symmetrc nverse semgroup Dual symmetrc nverse semgroup The semgroup PT n o all partal transormatons Partal endomorphsms o a group Partal automorphsms o a group Partal lnear endomorphsms Partal lnear automorphsms Partally dened co-nte automorphsms o ntegers Leech s approach to nverse monods Bsmple nverse monod 7 4. The nverse brad monod 8 5. The nverse brad-permutaton monod Denton Idempotents and actorzablty o IBP n Presentaton o IBP n Iteratons o the partalzaton unctor P and monomorphsms Quas-teratons o P P and regular semgroups 14 Date: February 2, G. K. was supported by the Royal Swedsh Academy o Scences. V. M. was supported by STINT, the Royal Swedsh Academy o Scences, the Swedsh Research Councl. 1

2 2 GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK 6.4. PC does not have to satsy Condton P n as an endounctor Multplcaton or P Natural transormatons Connecton between P n and P n P n and orthodox semgroups Applcatons to nte sets 21 Reerences Introducton The study o nverse semgroups orms a classcal part o the theory o semgroups. Several approaches to constructon o nverse semgroups are nown. The most abstract one seems to be the categorcal approach, whch was wored out n varous varatons n [Ho, Le, La]. In Secton 2 we gve a short overvew o ths approach n the nterpretaton, most sutable or our urther purposes. Roughly speang, startng wth a small category wth pullbacs or monomorphsms, there s a unctoral way to enlarge the set o morphsms o ths category by what s naturally to call partal morphsms. Ths denes a unctor, whch we call the partalzaton unctor. Under some mld assumptons the endomorphsm monods o the new category turn out to be nverse monods. For example, startng rom the category o all nte sets n whch the morphsms are all monomorphsms, the descrbed above partalzaton procedure gves us a new category, where the endomorphsm monods are ust symmetrc nverse monods. Several other examples are dscussed n Secton 3. One can apply ths approach to produce several nverse monods whch recently appeared n the lterature. The man example whch we have n mnd s the nverse brad monod, dened and studed n [EL]. The dea s the ollowng: the brad group can be realzed as the mappng class group o homeomorphsms wth compact support o a punctured plane. In Secton 4 we dene the category, whose obects are punctured planes wth derent punctures and whose morphsm sets are sotopy classes o homeomorphsms between such planes. It turns out that the procedure o categorcal partalzaton s drectly applcable. The result s a new category, n whch the endomorphsm monods are exactly the nverse brad monods rom [EL]. The latter example has an mmedate generalzaton. Instead o the punctured plane let us consder the space o n unnotted and unlned smple closed orented curves n R 3. The correspondng moton group s the so-called brad-permutaton group, dened n [Da] and studed n [Wa, Ru, Mc, FRR]. The categorcal partalzaton s agan drectly applcable and produces a category, n whch t s natural to call endomorphsm monods the nverse brad-permutaton monods. These monods are new. We descrbe all constructons necessary or ts denton n Secton 5, where we also obtan a presentaton or ths monod. Fnally, n Secton 6 we go bac to the abstract study o the partalzaton unctor. We show that ths unctor s n act an endounctor o a certan category. We explctly descrbe ts teratons and show how they are connected wth each other by some canoncal natural transormatons. In ths way we obtan a categorcaton o the monod o all order preservng maps on a chan, whch x the endponts. We also descrbe certan quas-teratons o the partalzaton unctor on a somewhat bgger category. In natural examples the teratons o the partalzaton unctor produce orthodox monods. We pay specal attenton to orthodox generalzatons o the symmetrc nverse monod.

3 PARTIALIZATION OF CATEGORIES 3 For a monod, S we denote by ES the set o all dempotents o S and by GS the group o unts o S. Green s relatons on S are denoted by L, R, H, D, and J. Recall that a monod S s called actorzable S = ESGS. Acnowledgments. We would le to than Ryszard Rubnszten or many helpul dscussons. 2. Partalzatons o a category In ths secton we recall the partalzaton procedure or small categores, wored out n [Ho, Le, La]. However, our setup s slghtly derent rom the one avalable n the lterature. It s more adapted to our urther needs The partalzaton unctor P. In what ollows C s a small category. For, C we denote by C, the set o morphsms rom to. For C we denote by 1 the dentty morphsms n C,. Assume that C satses the ollowng condton: Condton 1. For any,, C, any C,, and any monomorphsm C, there exsts a pullbac dagram m ˆ We are now gong to dene a new category, PC, as ollows: PC has the same obects as C. For, PC to dene PC, we consder all possble dagrams o the orm 2.1 D,,,, :. or We wll say that the dagrams D,,,, and D,,,, are equvalent provded that =, =, and there s an somorphsm, γ, whch maes the ollowng dagram commutatve: 2.2 γ 1 γ. Denote by PC, the set o all equvalence classes. We dene the composton o D,,,, wth D,m,n,, g as D,m,l, γ, gh va the ollowng pullbac dagram, whose exstence s guaranteed by Condton 1: 2.3 γ l h n It s straghtorward to very that the above composton s well-dened and assocatve and hence PC s a category. g m..

4 4 GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK For C set = PC; and or C, set = D,,,1,. Ths obvously denes a athull unctor, : C PC, whch we wll call the canoncal ncluson. Let now C and C be two categores satsyng Condton 1 and let F : C C be a unctor, whch preserves monomorphsms. Then F maps the dagram D,,,, to DF, F, F, F, F and the unctoral propertes o F ensure that the equvalent dagrams end up n equvalent dagrams. Hence F nduces a unctor rom PC to PC, whch we wll denote by PF. In partcular, P becomes a unctor rom the category o all small categores, satsyng Condton 1, where morphsms are all unctors, preservng monomorphsms, to the category o all small categores. We wll call P the rst partalzaton unctor. The unctor, when appled to all possble categores satsyng Condton 1, gves a natural transormaton rom the canoncal ncluson unctor to P P and nverse semgroups. From now on we always assume that C s a small category satsyng Condton 1. The connecton o P to nverse semgroups s gven by the ollowng statement: Proposton 2. Suppose that all morphsms n C are monomorphsms. Then End PC s an nverse semgroup or every obect ObC. Proo. We start the proo wth the ollowng easy observaton, whch one proves by a drect calculaton: Lemma 3. Let,,l C. Let urther Cl, and Cl, be monomorphsms. Then the elements x = D,,l,, and y = D,,l,, satsy xyx = x and yxy = y. It ollows rom Lemma 3 that End PC s a regular semgroup. Hence, to prove our proposton we have ust to show that the dempotents o End PC commute. We proceed by descrbng the dempotents: Lemma 4. The element x = D,,l,, PC, s an dempotent and only =. Proo. I =, then x 2 = x s checed by a drect calculaton. Consder the pullbac dagram 2.4 l l l. Then x 2 = D,,l,,. Usng 2.2, the equvalence o x 2 and x mples the exstence o an somorphsm γ C l,l such that γ = and γ =. Snce and are monomorphsms, the latter equaltes mply γ = =, n partcular, both and are somorphsms. Now 2.4 mples =. Let now x = D,,l,, and y = D,,l,, and δ t l γ be the pullbac. Then γ = δ and a drect calculaton mply xy = yx. Ths completes the proo. l,

5 PARTIALIZATION OF CATEGORIES The partalzaton unctor Q. Let C be as n Subsecton 2.1. For, C denote by QC, the subset o PC, consstng o all D,,,, or whch there exsts C, mang the ollowng dagram commutatve: 2.5. It s easy to see that QC s a subcategory o PC and that the natural ncluson C PC actors through QC. From ths n the same way as n Subsecton 2.1 one gets that Q denes a unctor, whch we wll call the second partalzaton unctor. The natural transormaton then actors as =, where s the natural transormaton rom the natural ncluson to Q, and s the natural transormaton ncluson rom Q to P. The phlosophcal derence between P and Q s how one understands the noton o a partal map: or P a partal map s a map, dened on a subobect; whereas or Q a partal map s a restrcton o an ordnary map to a subobect. Both notons have ther advantages and dsadvantages, whch could be seen or example ater comparng Subsecton 2.2 and Subsecton 2.4. The element n 2.5 wll be denoted by D,,,,,. Note that = by denton Q and nverse semgroups. Proposton 5. Suppose that C s as above and ObC s such that End C s a group. Then the semgroup End QC s an nverse monod. Proo. We wll show that End QC s a regular monod wth commutng dempotents. Lemma 6. End QC s regular. Proo. Let x = D,,,,, g, where = g, be an element o QC,. Snce End C s a group, we can consder y = D,,,1, g 1, g 1. A drect calculaton shows that xyx = x and hence x s regular. Ths completes the proo. Lemma 7. EEnd QC = {D,,,,,1 }. Proo. That each D,,,,,1 s an dempotent s obtaned by a drect calculaton. Now let x = D,,,,, g, g = be an dempotent. Then x = D,,,, s an dempotent as well. Snce g s an somorphsm, s a monomorphsm and hence Lemma 4 mples that wthout loss o generalty we can assume =. The statement ollows. Now a drect calculaton shows that or x, y {D,,,,,1 } we have xy = yx. Ths completes the proo o the proposton. Corollary 8. Assume all condtons o Proposton 5. The monod End QC s actorzable. End QC s a maxmal actorzable subset o EndPC. End QC = EndPC and only EndPC s actorzable.

6 6 GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK Proo. ollows rom the denton o Q. From the proos o Proposton 2 and Proposton 5 we have EEnd QC = EEndPC and GEndQC = GEndPC. Ths and mply, and ollows rom Dual constructons. All the constructons above admt obvous dualzaton n other words, the dualzaton reduces the dual constructons to the two constructons descrbed above. The semgroup-theoretcal eect o ths s that one obtans the opposte semgroup category. Ths mght loo trval, but n act t s not. Natural categores mght have rather non-symmetrc structure. Thus the category o all nte sets, where morphsms are all nectons o sets, s not dual to the category o all nte sets, where morphsms are all surectons o sets. The latter category satses the condton o pushouts or epmorphsms, and hence ts opposte category satses Condton 1. Appled to these two very derent categores, our constructon produces derent nverse monods. Ths wll be dscussed later on n examples. 3. Examples rom the theory o semgroups In ths secton we show that many classcal examples o nverse semgroups can be obtaned usng P or Q Fnte symmetrc nverse semgroup. Let C 1 denote the category, whose obects are nte sets and morphsms are nectve maps. In partcular, all morphsms n ths category are monomorphsms. I X, Y, Z C 1, : X Y, g : Z Y, we can dene U = {x X : x gz} and or u U dene hu as the unque element o Z such that u = ghu. The map h s obvously an necton. One shows that the commutatve dagram: ncl U X Y g h Z s a pullbac. Hence C 1 satses Condton 1. For X C 1 we have that End C1 X s the symmetrc group on X. A drect computaton shows that End PC1 X = End QC1 X s the ull symmetrc nverse semgroup ISX on X. Note that, although End PC1 X = EndQC1 X or each X C1, the categores PC 1 and QC 1 are derent: X, Y C 1 and 0 < X < Y, then PC 1 Y, X whle QC 1 Y, X = Dual symmetrc nverse semgroup. Let C 2 denote the category, whose obects are nte sets and morphsms are surectve maps. In partcular, we have that all morphsms n ths category are epmorphsms. One shows that the opposte category C op 2 satses Condton 1. For X C 1 we have that End C1 X s the symmetrc group on X. A drect computaton shows that End PC op 2 X s the dual symmetrc nverse monod IX, and End QC op 2 X s the greatest actorzable submonod FX o I X, see [FL] The semgroup PT n o all partal transormatons. Let C 3 denote the category, whose obects are all nte sets and morphsms are all maps between these sets. One shows that C 3 satses Condton 1. For X C 3 we have that End C3 X = T X s the ull transormaton semgroup on X. A drect calculaton shows that End PC3 X s the semgroup PT X o all partal transormatons

7 PARTIALIZATION OF CATEGORIES 7 on X. One can consder the dual stuaton as n Subsecton 3.2. It mght be nterestng to try to understand the resultng monod Partal endomorphsms o a group. Consder the category C 4, whose obects are nte groups and morphsms are group homomorphsms. One shows that C 4 satses Condton 1. I G s a nte group, the monod End C4 G s the monod o all endomorphsms o G. The monod End PC4 G the monod o all partal endomorphsms o G, see [NN]. Note that End PC4 G EndQC4 G n general Partal automorphsms o a group. Consder the category C 5, whose obects are nte groups and morphsms are group monomorphsms. One shows that C 5 satses Condton 1. I G s a nte group, End C5 G s the group o all automorphsms o G. The monod End PC5 G s the nverse monod o all partal automorphsms o G. The dual constructon usng epmorphsms gves the monod o bcongruences o a group, dened n [F] even n a more general setup o unversal algebras Partal lnear endomorphsms. Let be a eld. Denote by C 6 the category, whose obects are n, n = 0, 1,..., and morphsms are all lnear maps. One shows that C 6 satses Condton 1. The monod End C6 n s the monod o all n n matrces over. The monod End PC6 n s the monod o all partal lnear maps on n Partal lnear automorphsms. Denote by C 7 the category, whose obects are n, n = 0, 1,..., and morphsms are all nectve lnear maps. One shows that C 7 satses Condton 1. The monod End C7 n s the group o all nvertble n n matrces over. The nverse monod End PC7 n s the monod o all partal lnear automorphsms o n, studed n e.g. [Ku] Partally dened co-nte automorphsms o ntegers. Consder Z as a metrc space wth respect to the usual metrc ρm, n = m n. Let C 8 be the category, whose obects are all co-nte subsets o Z and morphsms are all sometres. One shows that C 8 satses Condton 1. The monod End C8 Z s the group o all sometres o Z, whch s n act somorphc to the nnte dhedral group. The nverse monod End PC8 Z s the nverse monod o all partally dened co-nte automorphsms o ntegers, studed n [Be] Leech s approach to nverse monods. Let C 9 be an abstract dvson category wth ntal obect I n the sense o [Le, 1.1]. Then C op 9 satses Condton 1. The monod End PC op 9 I s somorphc to the nverse monod assocated wth C9 as dened n [Le, 2.1]. In partcular, C 9 has one obect and all morphsms n C 9 are monomorphsms, then Condton 1 descrbes exactly the stuaton, dual to the one dscussed n [Le, 1.2] Bsmple nverse monod. Let C 10 denote the category, whose obects are conte subsets o N and morphsms are all possble nectons wth conte mage n partcular, all obects o C 10 are somorphc. In the same way as or C 1 one shows that C 10 satses Condton 1. The monod End PC op 10 N s a bsmple nverse monod.

8 8 GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK 4. The nverse brad monod In ths secton we gve one more example. The semgroup we wll tal about s the nverse brad monod, recently dened n [EL]. But our approach to ths monod wll be qute derent. We wll obtan ths monod as one more applcaton o the unctor P. Consder the category B dened as ollows: The obects o B are ndexed by nte subsets o N. I X N, then the obect, assocated wth X, s the plane P X = R 2 wth mared ponts, 0, X. For X, Y N, X, Y, the set BP X, P Y s the set o all sotopy classes o homeomorphsms wth compact support rom P X to P Y, whch map mared ponts to mared ponts. The composton s nduced by the usual composton o maps. In partcular, X > Y then BP X, P Y = ; X = Y = n then BP X, P Y s dented elementwse wth Artn s brad group B n, see [B, Theorem 1.10]; X < Y we have Y X ways to choose the set A o values or the mared ponts rom P X and ater xng t the part o BP X, P Y correspondng to A s agan dented elementwse wth B X va [B, Theorem 1.10]. We also have that BP X, P X = B X as a group. Frst we note that obvously all morphsms n B are monomorphsms. Further, B satses Condton 1. Indeed, let BP X, P Y and g BP Z, P Y. We have X Y and Z Y. Let A and B denote the set o mared ponts n P Y, whch are mages o mar ponts rom P X and P Z under and g respectvely. Let C = A B, l = C, and V N be such that V = l. Let h BP V, P X be any map, whch sends the mared ponts to 1 C. Consder the set S o all morphsms rom BP V, P Z, whch send mared ponts to g 1 C. Then gs s dented wth B l va [B, Theorem 1.10] and hence there exsts a unque h X such that gh = h. One now easly shows that the dagram P X P Y h P V h s a pullbac. Ths mples Condton 1. In partcular, we have the partalzaton PB and rom Proposton 2 we get that the monod End PB P X s an nverse monod. Let X = {1, 2,..., n}. We now clam that End PB P X s somorphc to the nverse brad monod IB n as dened n [EL]. The monod IB n s dened as the set o geometrcal brads wth n strands n whch some strands can be mssng wth the obvous multplcaton nduced by the multplcaton o geometrcal brads. Let us construct a becton rom IB n to End PB P X as ollows: Denote the base ponts or geometrc brads by 1, 2,..., n. Tae some partal geometrcal brad IB n. Assume that conssts o m strands. Then s gven by two subsets A, B {1, 2,..., n} and a usual brad on m strands, namely, connects ntal ponts rom A wth the termnal ponts rom n B. The class o the dentty transormaton o R 2 s a morphsm n BP A, P X, whch we denote by A, X. Let g BP A, P X be the sotopy class o maps, whch maps {, 0 : A}, to {, 0 : B} and corresponds to under the dentcaton, gven by [B, Theorem 1.10]. Then t ollows mmedately that the map g P Z IB n End PB P X P A,X X P A s n act an somorphsm o monods. g P X

9 PARTIALIZATION OF CATEGORIES 9 5. The nverse brad-permutaton monod In ths secton we generalze the example rom the prevous secton and construct a new nverse monod wth topologcal orgn. Agan our constructon s an mmedate applcaton o the unctor P Denton. Consder the category B dened as ollows: The obects o B are ndexed by nte subsets o N. I X N, then the obect, assocated wth X, s the space Q X = R 3 wth mared crcles {cosa, sna, : a [0, 2π}, X, wth the orentaton nduced by the natural order on [0, 2π. For X, Y N, X, Y, the set BQ X, Q Y s the set o all sotopy classes o deomorphsms wth compact support rom Q X to Q Y, whch map mared crcles to mared crcles preservng the orentaton. The composton s nduced by the usual composton o maps. In partcular, X > Y then BQ X, Q Y = ; X = Y = n then BQ X, Q Y s dented elementwse wth the brad-permutaton group BP n, see [Da, Wa] see also [FRR, Ru]; X < Y we have Y X ways to choose the set A o mared crcles n Q Y or the values o the mared crcles rom Q X and ater xng t the part o BQ X, Q Y correspondng to A s agan dented elementwse wth BP n. It ollows that BQ X, Q X = BP X as a group. Agan all morphsms n B are monomorphsms. In the same way as n the prevous secton one shows that B satses Condton 1. Hence we can apply P and by Proposton 2 we get that the monod End PB Q X s an nverse monod. We call ths monod the nverse brad-permutaton monod and denote t by IBP n, where n = X Idempotents and actorzablty o IBP n. Let Y X. Then the class o the dentty transormaton o R 3 s a monomorphsm n BQ Y, Q X, whch we denote by Y. Denote by ε Y the element Q X Y Y Q Y Q X n IBP n. Lemma 9. EIBP n = {ε Y : Y X}. In partcular, EIBP n s canoncally somorphc to the Boolean 2 X, o X. Proo. Consder the element x IBP n gven by Q X Q Y Q X, where BQ Y, Q X. Let and Z = Y. Then the class o 1 s an element o BQ Z, Q Y, call t g. Note that g s an somorphsm snce Y = Z. It ollows that the ollowng dagram commutes: Q X Q X Z g Q Y Q Z g 1 Q X Z Q X Hence Lemma 4 mples that EIBP n = {ε Y : Y X}. A drect calculaton shows that ε Y Y s an epmorphsm rom EIBP n to 2 X,. Hence t s an somorphsm snce EIBP n 2 n by above. By constructon, we have GIBP n = End B Q X = BP n. Lemma 10. IBP n s a actorzable monod. Proo. Let x IBP n. By the same arguments as n the proo o Lemma 9 we can assume that x s gven by Q X Y Q Y Q X or some BQ Y, Q X. Choose a representatve, whch preserves the set o mared crcles, gven by

10 10 GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK X. Then we can also consder the class g BQ X, Q X contanng. The class g denes an element o BP n = GIBP n, whch we call y. A drect calculaton shows that x = yε Y. Ths completes the proo Presentaton o IBP n. A presentaton or BP n was obtaned n [Mc, FRR]. A presentaton or IB n was obtaned n [EL]. In ths subsecton we obtan a presentaton or IBP n. In some sense t s a uncaton o the results o rom [FRR] and [EL]. Our arguments are based on the approach to presentatons o actorzable nverse monods, wored out n [EEF]. To ormulate the result we wll need to recall the presentaton o BP n, obtaned n [FRR]. To smply notaton we assume X = {1, 2,..., n}. Let {1, 2,..., n 1}. Denote by τ the element o BP n gven by a homeomorphsm o R 3, whose support contans only the -th and the + 1-st crcles, and whch nterchanges these two crcles wthout movng them through each other. Denote by σ the element o BP n gven by a homeomorphsm o R 3, whose support contans only the -th and the + 1-st crcles, and whch nterchanges these two crcles by movng the -th crcle through the + 1-st see [Ru, Secton 2]. It turns out that {σ, τ : = 1,...,n 1} s a generatng set or BP n. We even have: Theorem 11. [FRR] The group BP n s generated by {σ, τ : = 1,...,n 1} wth the ollowng denng relatons: { σ σ 5.1 brad group relatons = σ σ, > 1; σ σ +1 σ = σ +1 σ σ +1 ; 5.2 permutaton group relatons 5.3 mxed relatons τ 2 = 1; τ τ = τ τ, > 1; τ τ +1 τ = τ +1 τ τ +1 ; σ τ = τ σ, > 1; τ τ +1 σ = σ +1 τ τ +1 ; σ σ +1 τ = τ +1 σ σ +1. For = 1,...,n denote by ε the element ε Y, where Y = X \ {}. We have the ollowng: Theorem 12. The monod IBP n s generated by the elements {σ, σ 1, τ : = 1,...,n 1} and {ε : = 1,...,n} wth the denng relatons and the ollowng addtonal relatons: { 5.4 nverse relaton σ σ 1 = σ 1 σ = 1; 5.5 semlattce relatons { ε 2 = ε ; ε ε = ε ε ; 5.6 acton relatons 5.7 ernel relatons σ ε = ε σ,, + 1; τ ε = ε τ,, + 1; σ ε = ε +1 σ ; σ ε +1 = ε σ ; τ ε = ε +1 τ ; { ε ε +1 σ = ε ε +1 τ = ε ε +1 ; ε σ 2 = ε σ τ = ε

11 PARTIALIZATION OF CATEGORIES 11 Proo. The generators {σ, σ 1, τ : = 1,...,n 1} and relatons gve a presentaton or BP n by Theorem 11. The relatons 5.5 gve a presentaton or the semlattce BX,. The relatons 5.6, whch are vered by a drect calculaton, gve an acton o BP n on BX,. Accordng to [EEF, Theorem 6], the only relatons, whch are let are the ones o the orm eg = e, where e EIBP n and g BP n. So, to complete the proo we have only to show that all these relatons can be derved rom the ones descrbed above together wth 5.7 the latter ones are agan easly vered by a drect calculaton. For Y X set G Y = {g BP n : e Y g = e Y }. By denton, the group G Y conssts o classes o deomorphsms wth compact support rom Q X to Q X, whose support does not ntersect any o the crcles, correspondng to Y. One easly shows that G Y s generated by: a The canoncal mage o BQ X\Y, Q X\Y n BP n, gven by the natural ncluson. b Extra moves, whch can be descrbed as ollows: Tae two crcles, the rst one or Y and the second one or Y. Move the rst crcle through the second one and return t bac wthout nvolvng any other crcles. The group BQ X\Y, Q X\Y s somorphc to BP m, where m = X Y and hence s generated by the correspondng σ s and τ s. Hence n the equalty eg = e we can assume g to be one o these generators. Usng conugaton by elements wth BP n.e. relatons 5.6 we thus reduce eg = e to the rst lne o the ernel relatons 5.7. The extra moves descrbed n b can be o two derent nds: ater movng the rst crcle through the second one we can return t bac wth or wthout movng the second crcle through the rst one. Ths means that these extra moves are ether o the orm xσ 2 x 1 or o the orm xσ τ x 1 or xτ σ x 1, where x BP n. Note that ε τ σ = ε ollows rom ε σ τ = ε, τ 2 = 1 and ε σ 2 = ε. Hence, up to conugaton by elements wth BP n.e. relatons 5.6 the condton eg = e, where g s our extra move, reduces to the second lne o the ernel relatons 5.7. Now the statement o Theorem 12 ollows mmedately rom [EEF, Theorem 6]. Remar 13. The system o generators o IBP n, presented n Theorem 12 s reducble: relatons 5.6 show that IBP n s already generated by {σ, σ 1, τ : = 1,...,n 1} and the element ε = ε 1. From Theorem 12 one easly derves that wth repsect to ths rreducble system o generators the denng relatons are together wth the ollowng addtonal relatons: ε 2 = ε = εσ1 2 = εσ = σ ε, > 2; σ1ε 2 = εσ 1 τ 1 ; ετ = τ ε, > 2; εσ 1 ε = εσ 1 εσ 1 = σ 1 εσ 1 ε. Remar 14. The same approach as we used n Theorem 12 can be used to derve a presentaton or IB n, substantally shortenng the arguments rom [EL]. 6. Iteratons o the partalzaton unctor 6.1. P and monomorphsms. To be able to terate P or Q one has to ensure that PC or QC respectvely satses Condton 1. Ths s wrong n the general case, we wll gve an example n Subsecton 6.4. The rst mportant step to understand Condton 1 or PC QC s the ollowng result, whch descrbes monomorphsms n partalzed categores:

12 12 GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK Proposton 15. a Let x = D,,,,. Then x s a monomorphsm and only x = γ or some monomorphsm γ C,. b Let y = D,,,,, g. Then y s a monomorphsm and only x = γ or some monomorphsm γ C,. Proo. The statement b s a specal case o the statement a, so we prove a. Suppose x s a monomorphsm. Let a = D,,,, and b = D,,,1,1. By a drect calculaton one obtans xa = xb = x, mplyng that a = b. In partcular, s an somorphsm. Wthout loss o generalty we hence can assume x =. Let g 1, g 2 Cl, be such that g 1 g 2. Snce s nectve, we have g 1 g 1. Snce x s a monomorphsm n PC we get g 1 = xg 1 xg 1 = g 2. Hence g 1 g 2. Ths mples that s a monomorphsm n C. Now let C, be a monomorphsm and x =. Let c = D,,l,, g and d = D,,l,, h be such that xc = xd. Hence there exsts an somorphsm γ Cl,l such that the sold part o the ollowng dagram commutes: γ 1 l g γ l h Snce s a monomorphsm, the mddle square o the dagram commutes as well, mplyng that c and d are equvalent. Ths means that x s a monomorphsm Quas-teratons o P. Let C be a category satsyng Condton 1. Then the category PC s well-dened, however, t does not have to satsy Condton 1 ths problem wll be addressed later on n ths secton. Anyway, we can ust ormally consder the morphsms n the second partalzaton PPC as dened n 2.1. These wll be elements D,,,,, where s a morphsm rom PC, hence, n turn, have the orm D,,l,, g or some morphsm g rom C. Because o Proposton 15, the element D,,,, can be vewed as the dagram g l, whch conssts only o elements rom the orgnal category C. Ths suggests the ollowng denton: Let n N. We dene the category P C as ollows: The obects o P C are the same as the same obects as C. For, C the set P C, s the set o equvalence classes o dagrams n 6.1 Dn,,,,, : n 1 n , where Dn,,,,, and Dn,,,,, are sad to be equvalent there exst somorphsms γ mang the ollowng dagram commutatve: n 6.2 n 1 n n γ 1 n n γ n γ 1 1 γ 1 n Dene the composton o Dn,,,l,, and Dn,,,m,, g as the element Dn,,,n, γ, g 1 where γ n = n... 1 γ n rom the ollowng dagram, where all

13 PARTIALIZATION OF CATEGORIES 13 squares all pullbacs: 6.3 n n l 1 l n n n 1 m n... 1 m 1 γ n n n n γ n 1 γ 1... n 1 It s straghtorward to very that the above composton s well-dened and assocatve. In partcular, P C s a category. We have the canoncal ncluson : C P C, whch s dened by sendng C, to the element Dn,,,,1,. I C and C are two categores, satsyng Condton 1 and F : C C s a unctor, whch preserves monomorphsms, then F denes a unctor rom P C to P C by mappng Dn,,,l,, to Dn, F, F, Fl, F, F. In partcular, P becomes a unctor rom the category o all small categores, satsyng Condton 1, where morphsms are all unctors, preservng monomorphsms, to the category o all small categores. We wll call P the -th quas-teraton o P. The unctor dened above s a natural transormaton rom the canoncal ncluson unctor to P. It s convenent to let P 0 denote the dentty unctor or the natural ncluson nto the category o all small categores. For 0 we dene a natural transormaton : P P +1 va n n 1 n g 1 n n 1 n It s straghtorward to very that s ndeed a natural transormaton, moreover, t s nectve. We obvously have 0 =. For > 1 we dene a natural transormaton p : P P 1 va n n n n n It s straghtorward to very that p s ndeed a natural transormaton, moreover, t s surectve. We have the ollowng pcture o unctors and natural transormatons: 6.4 P 0 0 P 1 p 2 1 P 2 n p 3 2 P 3 Furthermore, we have the ollowng easy act, whch ollows drectly rom the dentons: Lemma 16. For each 1 the composton p +1 s the dentty. Remar 17. Although 6.4 and Lemma 16 s enough or our purposes, whch wll be explaned n the next subsectons, the real structure o {P } s rcher. In act, or each 1 and each s, 1 s, we can dene the natural transormaton : P P +1 as ollows: In the element Dn,,,,, we substtute the ragment s wth the ragment s s. Further, or each 2 and each s p

14 14 GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK s, 2 s, we can dene the natural transormaton p s : P P 1 as ollows: In the element Dn,,,,, we sp s and let the map rom s 1 to s+1 be s s 1 here by +1 we mean. In partcular, n the above notaton we have = 1 and p = p 2. For all and all approprate s we have that the compostons p s +1 s and p s+1 +1 s are denttes. We wll descrbe n more detals the analogous structure or P later on n Subsecton 6.7. In act the analogous structure or P s even rcher P and regular semgroups. Theorem 18. Let C be a category n whch all morphsms are monomorphsms and whch satses Condton 1. For each 0 and or each C the monod End P C s regular. For each 1 and or each C the monod End P C s a retract o the monod End P +1 C. Proo. In the case = 2 the statement ollows rom the ollowng dagram, n whch all squares are pullbacs: l γ γ l γ In the general case the argument s the same but requres more space to draw. The statement ollows mmedately rom 6.4 and Lemma 16. Applyng Theorem 18 to the category C 1 rom Subsecton 3.1 we obtan a seres o regular monods or whch IS n s a retract and such that each monod n the seres s a retract o the next one. These monods mght be nterestng obects to study. Later on n Subsecton 6.10 we shall dscuss slghtly derent orthodox generalzatons o IS n PC does not have to satsy Condton 1. Here we gve an example o a category C satsyng Condton 1 such that PC does not satsy ths condton. Let the obects o C be the set N and all ts nte subsets. Set { all nectons rom X to Y, X N or Y N CX, Y = 1 N, X = Y = N. One easly checs that C s a category. Exactly n the same way as n Subsecton 3.1 one shows that C satses Condton 1. Let A = {1}, B = {1, 2} and = DN, B, B,ncl,1 B. We clam that the sold part o the ollowng dgram n PC does not have a pullbac note that ncl s a monomorphsm n PC by Proposton 15: 6.5 N B D g A ncl

15 PARTIALIZATION OF CATEGORIES 15 Assume that ths s not the case. Fx some {1, 3, 4,... }. Set D = {1, 3,..., } and denote by ι the natural ncluson D N. Let g = g = DD, A, A, ncl,1 A, = = DD, N, D,1 D, ι. A drect calculaton shows that the dagram 6.5 commutes or each {1, 3, 4,... }. I a pullbac would exst, one easly checs that or the pullbac D, N. Further, one shows that, wthout loss o generalty, n the pullbac we have D = D or some {1, 3, 4,... } and even g = g and =. The pullbac condton and the commutatvty o our dgram or +1 would now mply the exstence o a map, γ PC D +1, D such that ι +1 = ι γ. A drect computaton shows that such γ does not exst. A contradcton. Hence PC does not satsy Condton P n as an endounctor. We would le to dene some category on whch P would be an endounctor. Ater the prevous subsecton t s clear that we can not ust tae the category o all categores, satsyng Condton 1. Hence we mpose one more condton, whch at rst glance loos rather artcal. The naturalty o ths condton wll become clear later on, when we show that t wors. Assume that C s a category, satsyng Condton 1 and the ollowng condton: Condton 19. For each,, C and monomorphsms C, and C, there exsts l C and monomorphsms γ C,l and δ Cl, such that: a The sold square on the dagram 6.6 s a pullbac: 6.6 n ζ ϕ δ η l m γ ξ b For every m,n C and monomorphsms ξ C m,, η C m,n and ζ Cn, such that the outer square on the dagram 6.6 commutes and s a pullbac, there exsts ϕ Cn, l mang the whole dagram 6.6 commutatve. It s easy to see that n Condton 19 the map ϕ, exsts, s automatcally unque and a monomorphsm. Moreover, the let square o the dagram s a pullbac snce the outer one s and the dagram commutes. It s also straghtorward to very that l, γ and δ are dened unquely up to an somorphsm. We wll call the rght square o 6.6 the complement dagram. As an example, later on n Subsecton 6.10 we wll show that the category C 1 rom Subsecton 3.1 satses Condton 19. Denote by S the category, whose obects are small categores, satsyng Condton 1 and Condton 19, and whose morphsms are all possble unctors, whch preserve monomorphsms. Theorem 20. The unctor P s an endounctor o the category S. Proo. Let C S. Then Proposton 15 guarantees that PC satses Condton 19. Let C S and F : C C be a unctor, whch preserves monomorphsms. Then agan Proposton 15 guarantees that PF preserves monomorphsms. Hence we need only to chec that PC satses Condton 1. Because o Proposton 15 we can denty the monomorphsms n the categores C and PC. Let x = D,,,, and Cl, be a monomorphsm.

16 16 GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK Consder the pullbac dagram gven by the rght square o the dagram 6.7: 6.7 n m l Applyng Condton 19 to the monomorphsm and we obtan n, and. The upper row o 6.7 s the element x. The lower row o 6.7 s an element rom PCn,l, say y. Snce both squares o 6.7 are pullbacs, a drect calculaton shows that we have the ollowng commutatve dagram n PC : 6.8 n x y l We clam that 6.8 s n act a pullbac. Assume that or some p C there s a monomorphsm δ C p, and z PC p,l such that z = xδ. Suppose that z = Dp,l,q, ξ, g and consder the ollowng dagram, the sold part o whch commutes because o 6.7: 6.9 p δ δ ϕ n m l ξ q g η Usng 2.2 and 2.3 one shows that the condton z = xδ mples the exstence o δ as on 6.9 such that the part o the dgram 6.9 ormed by all sold arrows and δ commutes and the square δ = δξ s a pullbac. Now the act that the rght square s a pullbac mples the exstence o η as on 6.9 such that the part o 6.9 ormed by all sold arrows, δ and η commutes. Fnally, Condton 19 mples now the exstence o ϕ as on 6.9 such that the whole dgram 6.9 commutes. The commutatvty o 6.9 mples δ = ϕ and yϕ = z. Hence the dagram 6.8 s a pullbac. Ths completes the proo Multplcaton or P. Let C S. Then, by Theorem 20 we have that P n C S or all n 0 we assume P 0 = ID. By nducton one gets that the morphsms n P n C are exactly the equvalence classes o the dagrams 6.1 wth respect to the equvalence dened on 6.2. However, the multplcaton o these elements s qute derent rom the multplcaton n P n C descrbed n 6.3. The product n P n C n terms o the orgnal catgory C s descrbed n the ollowng statement:

17 PARTIALIZATION OF CATEGORIES 17 Proposton 21. Let Dn,,,l,, and Dn,,,m,, g be two morphsms n P n C. The product Dn,,,m,, gdn,,,l,, n P n C s the element Dn,,,n, γ, h shown on the dagonal o the ollowng commutatve dagram 6.10 γ n n l n n 1 n 2 l n l 2 l 1 n 2 n n n n 1 n n 1 n n pn n 1 n n 2... γ n 1 n 1 n 1 n 1 n 2 n n 1 γ n 2... n 2 p 2 n n 1 2 p 2 n 1 γ 2 n 2 2 n 1 n 1 n n 2 p 1 n 1 n n 1 n 1 m n n n 1 p 1 n 1 m n 1 n 1 p n γ 1 n 1 2 m 2 where the rght column conssts o pullbacs and all other small squares are complement dagrams. Proo. Follows rom the constructon o pullbacs n the category PC see the proo o Theorem 20 by nducton on n Natural transormatons. Let C S and, C. For n 1 and s {1, 2,..., n + 1} we dene the ncluson s n : P n, P n+1, by mappng the element Dn,,,,, to the element h n m 1 n n 1... s+1 s s+1 s 1 s s s 2 s n where or convenence we put n+1 :=. Further, or each n 2 and each s, 2 s n, we dene the surecton t s n : P n, P n 1, by mappng the element Dn,,,,, to the element n n 1 n... s+1 s s 1 s+1 s 2 s We have the ollowng statement: Proposton 22. Let s and n be as above. s n s an nectve natural transormaton rom P n to P n+1. t s n s an surectve natural transormaton rom P n to P n 1. g,

18 18 GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK Both t s n+1 s n and t s+1 n+1 s n are the dentty transormatons. v t r n+1 s n = s n 1 tr 1 n n 2 and s + 1 < r. v t r n+1 s n = s 1 n 1 tr n n 2 and r < s. We remar that or the quas-teraton P n there s no analogue o n+1 n. Proo. To prove we have to show that s n behaves well wth respect to the composton o morphsms. The latter one s descrbed by the dagram 6.10 Proposton 21. Applyng s n we double one row and one column n 6.10 nsertng the equalty sgnes between the doubled elements. The clam would ollow we would show that the obtaned dagram s agan o the orm Ths reduces to the ollowng acts: Lemma 23. a For any, C and C, the dagrams and are pullbacs. b For any, C and any monomorphssm C, the dagrams are complement dagrams to the dagrams respectvely. and and Proo. The whole statement a and the statement b or the rght dagram are obvous. To prove b or the let dgram consder the sold part o the commutatve dagram δ l γ γδ 1 and assume that the outer square s a pullbac. Because o the latter assumpton and a we get that δ s an somorphsm and hence we have the nduced map γδ 1 as requred by Condton 19. Ths completes the proo. The statement s more complcated. We agan have to show that t s behaves well wth respect to the composton o morphsms. Applyng t s to 6.10 ust orgets one row and one column n the dagram The clam would ollow we would show that the obtaned dagram s agan o the orm Ths reduces to [M, Proposton 7.2] and the ollowng statement:

19 n n n l n PARTIALIZATION OF CATEGORIES 19 Lemma 24. Assume that all small squares on the ollowng dagrams are complement dagrams: and l m Then the outer rectangles o both dagrams are complement dagrams as well. Proo. We start rom the let dagram whch s easer to deal wth. Consder the extended dagram y x l such that the sold part commutes and the outer square s a pullbac. Snce the rght small square s a complement dagram, we obtan the dashed map, whch s automatcally a monomorphsm. The condton that the outer square s a pullbac mples that the square wth x, y, and m s a pullbac as well. Now snce the mddle small square s a complement dagram, we obtan the dotted map, mang the whole dagram commutatve. Ths mples that the outer rectangle o our two small squares s a complement dagram. Now we go on to the rght dagram. Consder the ollowng dagram: m m y l z x Assume that the outer square s a pullbac and that the square contanng z, y, l and s a pullbac as well. The latter condton mples the exstence o the curled map rom x to z as ndcated. Snce the outer square s a pullbac, t ollows that the square contanng x, z, l and n s a pullbac as well. Hence we can use the act that the rght bottom small square s a complement dagram and obtan a dashed map n act a monomorphsm rom z to as ndcated and everythng commutes. It s let to observe that the rght top small square s a complement dagram, and hence there should exst the dotted map rom y to mang the whole dagram commutatve. The necessary clam ollows. m The statements v are proved by a drect calculaton.

20 20 GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK Altogether we have the ollowng pcture: t P P 1 t P 2 t 3 3 t P 3 t 3 4 t Let A denote the category, whose obects are P n, n = 0, 1, 2..., and morphsms are all possble natural transormatons o unctors. Let B denote the category, whose obects are n N, and or m, n B we have Bm, n = { n : a 1 a 2... a n a 4 3 a 1 = 1; a a +1 ; a = ; a {1,...,m, } wth the obvous multplcaton. One shows that any morphsms n the category B can be wrtten as a composton o the ollowng morphsms: ϕ s s 1 s s + 1 s n n + 1 n =, s 1 s s s n 1 n where n N and s {1, 2,..., n}; and ϕ n+1 n = n n n τ n s s 1 s s n 1 n = s 1 s + 1 s n n + 1 where n > 1 and s {2,...,n}. Denote by O n the monod o all order-preservng transormatons on the chan {1,..., n, }, see or example [Gl], and by O n the submonod o O n consstng o all all transormatons, whch x the ponts 1 and. One easly shows that or n N the monod End B n s somorphc to O n. Proposton 25. The assgnment n P n, ϕ s n to a athul unctor, F : B A., } s n, and τ n s t s n, extends Proo. A drect calculaton shows that F exsts. Let ϕ, ψ Bm, n. To clam that F s athull t s enough to nd C S and C such that Fϕ and Fψ nduce derent morphsms rom End P m C to End P n C. Later on n Subsecton 6.10 we wll show that the category C 1 rom Subsecton 3.1 belongs to S. The property above s then easly vered by a drect calculaton one taes to be a nte set o cardnalty at least maxm, n + 1. As an mmedate corollary we obtan: Corollary 26. Let C S and C. Then the unctor F nduces an acton o the monod O n 1 on the monod End P n C by endomorphsms Connecton between P n and P n. As we have seen, or C S the morphsm sets n P n C and P n C can be canoncally dented. However, the products are rather derent. Nevertheless, there s a clear connecton between them, whch can be descrbed as ollows: Let us or the moment denote the product n P n C by and the product n P n C by. We have the ollowng: Proposton 27. Let x = Dn,,,l,, and y = Dn,,,m,, g. Set a = 1 n t 2 2 t n 1 n 1 t n n. Then x y = x ay.

21 PARTIALIZATION OF CATEGORIES 21 Proo. Follows rom Proposton 21 and Lemma 23 by a drect calculaton. Remar 28. The statement o Proposton 27 remnds o the ollowng act: S, s a semgroup and σ s an dempotent endomorphsm o S retracton, then S,, where x y := x σy, s a semgroup P n and orthodox semgroups. Theorem 29. Let C S be such that all morphsms n C are monomorphsms. Let x = Dn,,,,, and y = Dn,,, l,, g. Then x and y orm a par o nverse elements and only there s an somorphsm γ : 1 l 1 such that n = gγ and = n γ. For each 0 and or each C the monod End P C s regular and s a retract o the monod End P +1 C. The element Dn,,,,, s an dempotent and only = n v For each 0 and or each C the monod End P C s orthodox.e. t s regular and ts dempotents orm a subsemgroup. Proo. One shows by a drect calculaton usng Proposton 21 and Lemma 23 that any par o elements satsyng the condtons o s nverse to each other. Let x and y be a par o nverse elements. Consder the retracton a rom Proposton 27. Obvously, ax and ay consttute a par o nverse elements as well. Now the clam ollows rom Lemma 3 and Proposton 2 note that n an nverse semgroup the nverse element s unque. The statement now ollows rom and Proposton 22. That all elements havng the orm as n are dempotents s checed by a drect calculaton. Let x be an dempotent. Consder the retracton a rom Proposton 27. Obvously, ax s an dempotent as well. Now the clam ollows rom Lemma 4. From and t ollows that each nverse o an dempotent n the semgroup End P C s an dempotent tsel. Hence v ollows rom and [How, Theorem 1.1] Applcatons to nte sets. Proposton 30. C 1 S see Subsecton 3.1. Proo. From Subsecton 3.1 we now that C 1 satses Condton 1. Hence we have only to chec that C 1 satses Condton 19. Let X, Y, Z be nte sets, : X Y and : Y Z. Set U = X Z \ Y. We have the natural ncluson ncl : U Z. We also dene the map γ : X U va γx = x. Then γ n obvously an ncluson. A drect calculaton shows that the dagram γ U ncl Z X Y s a complement dagram. The clam ollows. Remar 31. The category C op 2 rom Subsecton 3.2 satses Condton 1. One can show that t does not satsy Condton 19. Proposton 30 allows us to consder the categores P C 1 or each N. In partcular, or each n N we have an orthodox semgroup RSn, := End P C 1n, where n = {1, 2,..., n}. We have RSn, 1 = IS n, the classcal symmetrc nverse semgroup. In what ollows we lst some bass propertes o RSn, the proos are let to the reader.

22 22 GANNA KUDRYAVTSEVA AND VOLODYMYR MAZORCHUK I Each element o RSn, can be unquely wrtten n the orm 6.12 D, A, : n ncl A ncl... ncl ncl A 2 A 1 n, where A 1 A 2 A n, ncl denotes the natural ncluson, and : A 1 n s an necton. II RSn, = n n 2! =0 n. III ERSn, = + 1 n. IV D, A, D D, B, g and only D, A, J D, B, g and only A 1 = B 1. V D, A, RD, B, g and only Im = Img. The R-class o the element D, A, contans n A1 dempotents. VI D, A, LD, B, g and only A = B. Each L-class o RSn, contans a unque dempotent. VII D, A, H D, B, g and only Im = Img and A = B. VIII All maxmal subgroups o RSn, are somorphc to symmetrc groups o ran n. IX ERSn, s a Boolean o rght sngular semgroups,.e. there s an epmorphsm nduced by a rom Proposton 27, whose mage s the Boolean 2 n, and such that each congruence class o the ernel s a semgroup o rght zeros. The ernel o ths epmorphsm concdes wth the mnmum semlatce congruence on ERSn,. X By I and Theorem 29 dempotents n RSn, are descrbed by lags A 1,..., A o subsets o n. In ths notaton, the multplcaton o dempotents s as ollows: B 1,...,B A 1,..., A = A 1 B A \ A 1 =1. Remar 32. Consder the category C 10 rom Subsecton One shows that C 10 satses Condton 19. One urther easly computes that End P C 10N s a bsmple orthodox monod or each 1 t s nverse or = 1. Reerences [Be] O. Bezushcha, On growth o the nverse semgroup o partally dened co-nte automorphsms o ntegers. Algebra Dscrete Math. 2004, no. 2, [B] J. S. Brman, Brads, lns, and mappng class groups. Annals o Mathematcs Studes, No. 82. Prnceton Unversty Press, Prnceton, N.J.; Unversty o Toyo Press, Toyo, x+228 pp. [Da] D. Dahm, A generalzaton o brad theory, Ph.D. Thess, Prnceton Unv., [EEF] D. Easdown, J. East, D. G. FtzGerald, Presentatons o actorzable nverse monods. Acta Sc. Math. Szeged , no. 3-4, [EL] D. Easdown and T. Lavers, The nverse brad monod. Adv. Math , no. 2, [FRR] R. Fenn, R. Rmány, C. Roure, The brad-permutaton group. Topology , no. 1, [F] D. FtzGerald, Inverse semgroups o bcongruences on algebras, partcularly semlattces. Lattces, semgroups, and unversal algebra Lsbon, 1988, 59 66, Plenum, New Yor, [FL] D. FtzGerald, J. Leech, Dual symmetrc nverse monods and representaton theory. J. Austral. Math. Soc. Ser. A , no. 3, [Gl] L. Glusn, Semgroups o transormatons. Uspeh Mat. Nau no , [Ho] H.-J. Hoehne, On certan classes o categores and monods constructed rom abstract Mal cev clones. I. Unversal and appled algebra Turawa, 1988, , World Sc. Publ., Teanec, NJ, [How] J. Howe, An ntroducton to semgroup theory. L.M.S. Monographs, No. 7. Academc Press, London-New Yor, 1976.

23 PARTIALIZATION OF CATEGORIES 23 [Ku] G. Kudryavtseva, Nlpotent subsemgoups o transormaton semgroup, Ph.D. Thess, Kyv Unversty, Kyv [La] M. Lawson, Constructng nverse semgroups rom category actons. J. Pure Appl. Algebra , no. 1, [Le] J. Leech, Constructng nverse monods rom small categores. Semgroup Forum , no. 1, [Mc] J. McCool, On bass-conugatng automorphsms o ree groups. Canad. J. Math , no. 6, [M] B. Mtchell, Theory o categores. Pure and Appled Mathematcs, Vol. XVII Academc Press, New Yor-London [NN] B. H. Neumann, H. Neumann, Extendng partal endomorphsms o groups. Proc. London Math. Soc. 3 2, [Ru] R. Rubnszten, On the group o motons o orented unled and unnotted crcles n R 3. I, Preprnt 2002:33, Uppsala Unversty [Wa] F. Wattenberg, Derentable motons o unnotted, unlned crcles n 3-space. Math. Scand , G. K.: Department o Mechancs and Mathematcs, Kyv Taras Shevcheno Unversty, 64 Volodymyrsa st., UA-01033, Kyv, UKRAINE. E-mal address: audr@unv.ev.ua V. M.: Department o Mathematcs, Uppsala Unversty, Box 480, SE-75106, Uppsala, SWEDEN. E-mal address: mazor@math.uu.se