Schreier split extensions of preordered monoids
Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories are related between them by appropriate functors as well as with the categories of preordered sets and of monoids. Schreier split extensions are described i...
Saved in:
Published in | Journal of logical and algebraic methods in programming Vol. 120; p. 100643 |
---|---|
Main Authors | , |
Format | Journal Article |
Language | English |
Published |
Elsevier Inc
01.04.2021
|
Online Access | Get full text |
Cover
Loading…
Abstract | Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories are related between them by appropriate functors as well as with the categories of preordered sets and of monoids. Schreier split extensions are described in the full subcategory of preordered monoids whose preorder is determined by the corresponding positive cone. |
---|---|
AbstractList | Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories are related between them by appropriate functors as well as with the categories of preordered sets and of monoids. Schreier split extensions are described in the full subcategory of preordered monoids whose preorder is determined by the corresponding positive cone. |
ArticleNumber | 100643 |
Author | Martins-Ferreira, Nelson Sobral, Manuela |
Author_xml | – sequence: 1 givenname: Nelson surname: Martins-Ferreira fullname: Martins-Ferreira, Nelson email: martins.ferreira@ipleiria.pt organization: Instituto Politécnico de Leiria, Leiria, Portugal – sequence: 2 givenname: Manuela orcidid: 0000-0001-9289-6147 surname: Sobral fullname: Sobral, Manuela email: sobral@mat.uc.pt organization: Universidade de Coimbra, CMUC e Departamento de Matemática, Coimbra, Portugal |
BookMark | eNqFkD1PwzAQhj0UiVL6C1jyB5L6I27igQFVfEmVGIDZcuyzcJTEkW0h-Pe4hIkBppPuvedOz12g1eQnQOiK4Ipgst_1VT-oca4opiR38L5mK7SmjNOSUtyeo22MPcZ5tG1aRtZo96zfAjgIRZwHlwr4SDBF56dYeFvMAXwwEMAUo5-8M_ESnVk1RNj-1A16vbt9OTyUx6f7x8PNsdSs4alkqmM1g05YBrYGZfNF3mnVtBwss4IKDLwVRnSn0GiLc8o14YxiQSxnG8SWvTr4GANYOQc3qvApCZYnVdnLb1V5UpWLaqbEL0q7pFLWSUG54R_2emEha73nj8ioHUwajAugkzTe_cl_AfYTdRk |
CitedBy_id | crossref_primary_10_1007_s00233_024_10483_1 crossref_primary_10_1007_s00233_024_10497_9 |
Cites_doi | 10.1007/s00233-019-10070-9 10.1515/GMJ.1998.575 10.1007/BF02315974 10.2989/QM.2008.31.2.2.474 10.1016/0022-4049(92)90104-N 10.1016/0021-8693(82)90002-3 10.1016/0021-8693(88)90067-1 10.2989/16073606.2018.1448308 10.1081/AGB-120006484 10.1016/0016-660X(74)90016-6 10.1007/s00233-014-9571-6 10.1016/j.jpaa.2019.01.006 10.2307/1969317 10.1007/s10485-008-9167-y 10.1007/BF02679467 10.1016/j.jpaa.2012.06.022 10.1017/S0004972700006353 |
ContentType | Journal Article |
Copyright | 2021 Elsevier Inc. |
Copyright_xml | – notice: 2021 Elsevier Inc. |
DBID | AAYXX CITATION |
DOI | 10.1016/j.jlamp.2021.100643 |
DatabaseName | CrossRef |
DatabaseTitle | CrossRef |
DatabaseTitleList | |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Computer Science |
ExternalDocumentID | 10_1016_j_jlamp_2021_100643 S2352220821000067 |
GrantInformation_xml | – fundername: Fundação para a Ciência e a Tecnologia (FCT) and Centro2020 grantid: 022158; 17963 – fundername: Centre for Mathematics of the University of Coimbra grantid: UIDB/MAT/00324/2020 – fundername: CDRSP – fundername: MATIS grantid: CENTRO-01-0145-FEDER-000014 - 3362 – fundername: ESTG |
GroupedDBID | --M 0R~ 4.4 457 4G. 7-5 8P~ AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAXUO AAYFN ABBOA ABMAC ABVKL ABXDB ABYKQ ACDAQ ACGFS ACRLP ADBBV ADEZE AEBSH AEKER AENEX AFKWA AFTJW AGHFR AGUBO AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD AXJTR BKOJK BLXMC EBS EFJIC EFLBG EJD FDB FIRID FYGXN GBLVA GBOLZ HZ~ KOM M41 NCXOZ O9- OAUVE RIG ROL SPC SPCBC SSV SSZ T5K ~G- AATTM AAXKI AAYWO AAYXX ABJNI ACVFH ADCNI ADVLN AEIPS AEUPX AFJKZ AFPUW AFXIZ AGCQF AGRNS AIGII AIIUN AKBMS AKRWK AKYEP ANKPU BNPGV CITATION SSH |
ID | FETCH-LOGICAL-c375t-3ab343eb9f3ef4eaf0165bca785ef3f9290e589d9b4eafdcf05bc5c1532091f53 |
IEDL.DBID | AIKHN |
ISSN | 2352-2208 |
IngestDate | Tue Jul 01 05:06:49 EDT 2025 Thu Apr 24 22:51:31 EDT 2025 Fri Feb 23 02:46:36 EST 2024 |
IsDoiOpenAccess | false |
IsOpenAccess | true |
IsPeerReviewed | true |
IsScholarly | true |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c375t-3ab343eb9f3ef4eaf0165bca785ef3f9290e589d9b4eafdcf05bc5c1532091f53 |
ORCID | 0000-0001-9289-6147 |
OpenAccessLink | http://hdl.handle.net/10400.8/8254 |
ParticipantIDs | crossref_primary_10_1016_j_jlamp_2021_100643 crossref_citationtrail_10_1016_j_jlamp_2021_100643 elsevier_sciencedirect_doi_10_1016_j_jlamp_2021_100643 |
ProviderPackageCode | CITATION AAYXX |
PublicationCentury | 2000 |
PublicationDate | April 2021 2021-04-00 |
PublicationDateYYYYMMDD | 2021-04-01 |
PublicationDate_xml | – month: 04 year: 2021 text: April 2021 |
PublicationDecade | 2020 |
PublicationTitle | Journal of logical and algebraic methods in programming |
PublicationYear | 2021 |
Publisher | Elsevier Inc |
Publisher_xml | – name: Elsevier Inc |
References | Leech (br0150) 1975; 157 Garrão, Martins-Ferreira, Raposo, Sobral (br0050) 2020; 100 Mac Lane (br0170) 1998; vol. 5 Pin, Weil (br0220) 2002; 30 Pin, Weil (br0210) 1997; 30 Clementino, Martins-Ferreira, Montoli (br0040) 2019; 223 Bourn, Martins-Ferreira, Montoli, Sobral (br0030) 2014; 88 Green (br0060) 1951; 54 Janda, Vetterlein (br0110) 2019; 42 Wehrung (br0270) 1992; 83 Straubing, Thérien (br0260) 1985; 119 Lack (br0130) 2010; 18 Pin (br0200) 1995; 39 Adámek, Rosický (br0010) 1994 Porst (br0230) 2008; 31 Herrlich (br0100) 1974; 4 Martins-Ferreira, Montoli, Sobral (br0180) 2013; 217 Leech (br0140) 1982; 74 Simon (br0250) 1975; vol. 33 Henckell, Pin (br0090) 2000 Grillet (br0070) 1974; 7 Patchkoria (br0190) 1998; 5 MacDonald, Sobral (br0160) 2004 Hájek (br0080) 1988 Bourn, Martins-Ferreira, Montoli, Sobral (br0020) 2013; vol. 45 Kelly (br0120) 1980; 22 (br0240) 1997 Porst (10.1016/j.jlamp.2021.100643_br0230) 2008; 31 Martins-Ferreira (10.1016/j.jlamp.2021.100643_br0180) 2013; 217 Herrlich (10.1016/j.jlamp.2021.100643_br0100) 1974; 4 Clementino (10.1016/j.jlamp.2021.100643_br0040) 2019; 223 Henckell (10.1016/j.jlamp.2021.100643_br0090) 2000 Pin (10.1016/j.jlamp.2021.100643_br0220) 2002; 30 Leech (10.1016/j.jlamp.2021.100643_br0150) 1975; 157 Bourn (10.1016/j.jlamp.2021.100643_br0030) 2014; 88 Janda (10.1016/j.jlamp.2021.100643_br0110) 2019; 42 Wehrung (10.1016/j.jlamp.2021.100643_br0270) 1992; 83 (10.1016/j.jlamp.2021.100643_br0240) 1997 Mac Lane (10.1016/j.jlamp.2021.100643_br0170) 1998; vol. 5 MacDonald (10.1016/j.jlamp.2021.100643_br0160) 2004 Simon (10.1016/j.jlamp.2021.100643_br0250) 1975; vol. 33 Adámek (10.1016/j.jlamp.2021.100643_br0010) 1994 Grillet (10.1016/j.jlamp.2021.100643_br0070) 1974; 7 Pin (10.1016/j.jlamp.2021.100643_br0210) 1997; 30 Straubing (10.1016/j.jlamp.2021.100643_br0260) 1985; 119 Patchkoria (10.1016/j.jlamp.2021.100643_br0190) 1998; 5 Hájek (10.1016/j.jlamp.2021.100643_br0080) 1988 Pin (10.1016/j.jlamp.2021.100643_br0200) 1995; 39 Bourn (10.1016/j.jlamp.2021.100643_br0020) 2013; vol. 45 Kelly (10.1016/j.jlamp.2021.100643_br0120) 1980; 22 Lack (10.1016/j.jlamp.2021.100643_br0130) 2010; 18 Garrão (10.1016/j.jlamp.2021.100643_br0050) 2020; 100 Green (10.1016/j.jlamp.2021.100643_br0060) 1951; 54 Leech (10.1016/j.jlamp.2021.100643_br0140) 1982; 74 |
References_xml | – volume: 54 start-page: 163 year: 1951 end-page: 172 ident: br0060 article-title: On the structure of semigroups publication-title: Ann. Math. (2) – volume: 83 start-page: 43 year: 1992 end-page: 82 ident: br0270 article-title: Injective positively ordered monoids I publication-title: J. Pure Appl. Algebra – volume: 18 start-page: 17 year: 2010 end-page: 29 ident: br0130 article-title: Note on the construction of free monoids publication-title: Appl. Categ. Struct. – volume: 74 start-page: 1 year: 1982 end-page: 19 ident: br0140 article-title: Extending groups by monoids publication-title: J. Algebra – year: 1988 ident: br0080 article-title: Metamathematics of Fuzzy Logic – volume: 42 start-page: 319 year: 2019 end-page: 345 ident: br0110 article-title: The coextension of commutative pomonoids and its application to triangular norms publication-title: Quaest. Math. – volume: 119 start-page: 393 year: 1985 end-page: 399 ident: br0260 article-title: Partially ordered finite monoids and a theorem of I. Simon publication-title: J. Algebra – volume: 88 start-page: 739 year: 2014 end-page: 752 ident: br0030 article-title: Schreier split epimorphisms between monoids publication-title: Semigroup Forum – volume: 4 start-page: 125 year: 1974 end-page: 142 ident: br0100 article-title: Topological functors publication-title: Gen. Topol. Appl. – volume: 39 start-page: 80 year: 1995 end-page: 90 ident: br0200 article-title: A variety theorem without complementation publication-title: Izv. VUZ Math. – volume: 7 start-page: 200 year: 1974 end-page: 263 ident: br0070 article-title: Left coset extensions publication-title: Semigroup Forum – volume: 30 start-page: 1 year: 1997 end-page: 39 ident: br0210 article-title: Polynomial closure and unambiguous product publication-title: Theory Comput. Syst. – volume: 31 start-page: 127 year: 2008 end-page: 139 ident: br0230 article-title: On categories of monoids, comonoids and bimodules publication-title: Quaest. Math. – year: 1997 ident: br0240 publication-title: Handbook of Formal Languages, vol. 1 – volume: 22 start-page: 1 year: 1980 end-page: 83 ident: br0120 article-title: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on publication-title: Bull. Aust. Math. Soc. – volume: vol. 5 year: 1998 ident: br0170 article-title: Categories for the Working Mathematician publication-title: Graduate Texts in Mathematics – volume: 157 start-page: 1 year: 1975 end-page: 66 ident: br0150 article-title: H-coextensions of monoids publication-title: Mem. Am. Math. Soc. – volume: 30 start-page: 149 year: 2002 end-page: 169 ident: br0220 article-title: Semidirect product of ordered monoids publication-title: Commun. Algebra – volume: 100 start-page: 806 year: 2020 end-page: 836 ident: br0050 article-title: Cancellative conjugation semigroups and monoids publication-title: Semigroup Forum – volume: vol. 33 start-page: 214 year: 1975 end-page: 222 ident: br0250 article-title: Piecewise testable events publication-title: Proc. 2nd GI Conf. – volume: 217 start-page: 334 year: 2013 end-page: 347 ident: br0180 article-title: Semidirect products and crossed modules in monoids with operations publication-title: J. Pure Appl. Algebra – start-page: 213 year: 2004 end-page: 268 ident: br0160 article-title: Aspects of monads publication-title: Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory – volume: 5 start-page: 575 year: 1998 end-page: 581 ident: br0190 article-title: Crossed semimodules and Schreier internal categories in the category of monoids publication-title: Georgian Math. J. – volume: 223 start-page: 4226 year: 2019 end-page: 4245 ident: br0040 article-title: On the categorical behaviour of preordered groups publication-title: J. Pure Appl. Algebra – start-page: 121 year: 2000 end-page: 137 ident: br0090 article-title: Ordered monoids and J-trivial monoids publication-title: Algorithmic Problems in Groups and Semigroups – volume: vol. 45 year: 2013 ident: br0020 article-title: Schreier Split Epimorphisms in Monoids and in Semirings publication-title: Textos de Matemática Série B – year: 1994 ident: br0010 article-title: Locally Presentable and Accessible Categories – volume: 100 start-page: 806 year: 2020 ident: 10.1016/j.jlamp.2021.100643_br0050 article-title: Cancellative conjugation semigroups and monoids publication-title: Semigroup Forum doi: 10.1007/s00233-019-10070-9 – start-page: 121 year: 2000 ident: 10.1016/j.jlamp.2021.100643_br0090 article-title: Ordered monoids and J-trivial monoids – volume: 5 start-page: 575 issue: 6 year: 1998 ident: 10.1016/j.jlamp.2021.100643_br0190 article-title: Crossed semimodules and Schreier internal categories in the category of monoids publication-title: Georgian Math. J. doi: 10.1515/GMJ.1998.575 – volume: 7 start-page: 200 year: 1974 ident: 10.1016/j.jlamp.2021.100643_br0070 article-title: Left coset extensions publication-title: Semigroup Forum doi: 10.1007/BF02315974 – year: 1997 ident: 10.1016/j.jlamp.2021.100643_br0240 – volume: 31 start-page: 127 issue: 2 year: 2008 ident: 10.1016/j.jlamp.2021.100643_br0230 article-title: On categories of monoids, comonoids and bimodules publication-title: Quaest. Math. doi: 10.2989/QM.2008.31.2.2.474 – start-page: 213 year: 2004 ident: 10.1016/j.jlamp.2021.100643_br0160 article-title: Aspects of monads – volume: vol. 45 year: 2013 ident: 10.1016/j.jlamp.2021.100643_br0020 article-title: Schreier Split Epimorphisms in Monoids and in Semirings – year: 1988 ident: 10.1016/j.jlamp.2021.100643_br0080 – volume: 83 start-page: 43 issue: 1 year: 1992 ident: 10.1016/j.jlamp.2021.100643_br0270 article-title: Injective positively ordered monoids I publication-title: J. Pure Appl. Algebra doi: 10.1016/0022-4049(92)90104-N – volume: 74 start-page: 1 year: 1982 ident: 10.1016/j.jlamp.2021.100643_br0140 article-title: Extending groups by monoids publication-title: J. Algebra doi: 10.1016/0021-8693(82)90002-3 – volume: 119 start-page: 393 year: 1985 ident: 10.1016/j.jlamp.2021.100643_br0260 article-title: Partially ordered finite monoids and a theorem of I. Simon publication-title: J. Algebra doi: 10.1016/0021-8693(88)90067-1 – volume: 39 start-page: 80 year: 1995 ident: 10.1016/j.jlamp.2021.100643_br0200 article-title: A variety theorem without complementation publication-title: Izv. VUZ Math. – volume: 42 start-page: 319 issue: 3 year: 2019 ident: 10.1016/j.jlamp.2021.100643_br0110 article-title: The coextension of commutative pomonoids and its application to triangular norms publication-title: Quaest. Math. doi: 10.2989/16073606.2018.1448308 – volume: 30 start-page: 149 issue: 1 year: 2002 ident: 10.1016/j.jlamp.2021.100643_br0220 article-title: Semidirect product of ordered monoids publication-title: Commun. Algebra doi: 10.1081/AGB-120006484 – volume: 4 start-page: 125 year: 1974 ident: 10.1016/j.jlamp.2021.100643_br0100 article-title: Topological functors publication-title: Gen. Topol. Appl. doi: 10.1016/0016-660X(74)90016-6 – volume: 88 start-page: 739 year: 2014 ident: 10.1016/j.jlamp.2021.100643_br0030 article-title: Schreier split epimorphisms between monoids publication-title: Semigroup Forum doi: 10.1007/s00233-014-9571-6 – year: 1994 ident: 10.1016/j.jlamp.2021.100643_br0010 – volume: 223 start-page: 4226 year: 2019 ident: 10.1016/j.jlamp.2021.100643_br0040 article-title: On the categorical behaviour of preordered groups publication-title: J. Pure Appl. Algebra doi: 10.1016/j.jpaa.2019.01.006 – volume: 54 start-page: 163 issue: 1 year: 1951 ident: 10.1016/j.jlamp.2021.100643_br0060 article-title: On the structure of semigroups publication-title: Ann. Math. (2) doi: 10.2307/1969317 – volume: 157 start-page: 1 year: 1975 ident: 10.1016/j.jlamp.2021.100643_br0150 article-title: H-coextensions of monoids publication-title: Mem. Am. Math. Soc. – volume: 18 start-page: 17 year: 2010 ident: 10.1016/j.jlamp.2021.100643_br0130 article-title: Note on the construction of free monoids publication-title: Appl. Categ. Struct. doi: 10.1007/s10485-008-9167-y – volume: 30 start-page: 1 year: 1997 ident: 10.1016/j.jlamp.2021.100643_br0210 article-title: Polynomial closure and unambiguous product publication-title: Theory Comput. Syst. doi: 10.1007/BF02679467 – volume: 217 start-page: 334 issue: 2 year: 2013 ident: 10.1016/j.jlamp.2021.100643_br0180 article-title: Semidirect products and crossed modules in monoids with operations publication-title: J. Pure Appl. Algebra doi: 10.1016/j.jpaa.2012.06.022 – volume: vol. 5 year: 1998 ident: 10.1016/j.jlamp.2021.100643_br0170 article-title: Categories for the Working Mathematician – volume: vol. 33 start-page: 214 year: 1975 ident: 10.1016/j.jlamp.2021.100643_br0250 article-title: Piecewise testable events – volume: 22 start-page: 1 issue: 1 year: 1980 ident: 10.1016/j.jlamp.2021.100643_br0120 article-title: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on publication-title: Bull. Aust. Math. Soc. doi: 10.1017/S0004972700006353 |
SSID | ssj0001687831 |
Score | 2.204857 |
Snippet | Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories are related... |
SourceID | crossref elsevier |
SourceType | Enrichment Source Index Database Publisher |
StartPage | 100643 |
Title | Schreier split extensions of preordered monoids |
URI | https://dx.doi.org/10.1016/j.jlamp.2021.100643 |
Volume | 120 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1La8MwDBZde9ll77HuhQ87LiSxnYePpax0G-ulK_QW4he0jLa02f-fnDh7wNhhx8RRiD8rkizkTwB3ETp5k4ks0KguAdc6Dsqc4lYlUVI4xjZZuoT-yyQdz_jTPJl3YNiehXFlld72Nza9ttb-TujRDDeLRTilLnag6MLixujuQY-id4260Bs8Po8nX6mWNM_yujOhEwmcTMs_VFd6LRF7R11JY1czkHL2u4_65ndGR3DgA0YyaL7pGDpmdQKHbTMG4v_NUwinCpcFX0B2GFdWpM5uu1TYjqwt2WxNTbJpNEG9Wy_07gxmo4fX4Tjw3RACxbKkClgpGWdGCsuM5aa07iCSVGWWJ8Yyi2FOZJJcaCHdoFY2wtFExa7zg4htws6hu1qvzAUQk1GJ2zittOAYQFDBZW4jazm3sVIJ7QNt518oTxXuOla8FW1N2LKoQSscaEUDWh_uP4U2DVPG34-nLbDFjwUv0Jb_JXj5X8Er2HdXTdnNNXSr7bu5wYiikrdeYz4Aa4DIRA |
linkProvider | Elsevier |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3JbsIwELUoHNpL96p09aHHRkm8JPGxQkWhLBdA4mbFmwSqAAH9_9qJ00WqOPSayUTJ82RmPBq_AeApskFepywNlDWXgCgVB0WG7FaFSsEcY5soXEF_OEryKXmb0VkDdOqzMK6t0vv-yqeX3tpfCT2a4Xo-D8fI5Q7IhrC4croHoOXYqayZt156_Xz0XWpJsjQrJxM6lcDp1PxDZafXwmLvqCtR7HoGEoL_jlE_4k73FBz7hBG-VO90Bhp6eQ5O6mEM0P-bFyAcS7ss9gFwa_PKHSyr264UtoUrA9cbXZJsagWt3a3mansJpt3XSScP_DSEQOKU7gJcCEywFsxgbYgujDuIJGSRZlQbbGyaE2maMcWEEyppIiulMnaTH1hsKL4CzeVqqa8B1CkSdhunpGLEJhCIEZGZyBhCTCwlRW2A6u_n0lOFu4kV77zuCVvwEjTuQOMVaG3w_KW0rpgy9t-e1MDyXwvOrS_fp3jzX8VHcJhPhgM-6I36t-DISaoWnDvQ3G0-9L3NLnbiwVvPJ_rAyzM |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Schreier+split+extensions+of+preordered+monoids&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Martins-Ferreira%2C+Nelson&rft.au=Sobral%2C+Manuela&rft.date=2021-04-01&rft.issn=2352-2208&rft.volume=120&rft.spage=100643&rft_id=info:doi/10.1016%2Fj.jlamp.2021.100643&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2021_100643 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon |