{"id":"https://openalex.org/W2050367563","doi":"https://doi.org/10.1142/s0218196702001061","title":"THE HOMOTOPY THEORY OF INVERSE SEMIGROUPS","display_name":"THE HOMOTOPY THEORY OF INVERSE SEMIGROUPS","publication_year":2002,"publication_date":"2002-12-01","ids":{"openalex":"https://openalex.org/W2050367563","doi":"https://doi.org/10.1142/s0218196702001061","mag":"2050367563"},"language":"en","primary_location":{"id":"doi:10.1142/s0218196702001061","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196702001061","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Algebra and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080215352","display_name":"Mark V. Lawson","orcid":"https://orcid.org/0000-0001-8868-6796"},"institutions":[{"id":"https://openalex.org/I161548249","display_name":"Bangor University","ror":"https://ror.org/006jb1a24","country_code":"GB","type":"education","lineage":["https://openalex.org/I161548249"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"MARK V. LAWSON","raw_affiliation_strings":["Mathematics Divison, School of Informatics, University of Wales, Bangor, Dean Street, Bangor, Gwynedd LL571UT, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics Divison, School of Informatics, University of Wales, Bangor, Dean Street, Bangor, Gwynedd LL571UT, United Kingdom","institution_ids":["https://openalex.org/I161548249"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102508133","display_name":"Joseph Matthews","orcid":null},"institutions":[{"id":"https://openalex.org/I161548249","display_name":"Bangor University","ror":"https://ror.org/006jb1a24","country_code":"GB","type":"education","lineage":["https://openalex.org/I161548249"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"JOSEPH MATTHEWS","raw_affiliation_strings":["Mathematics Divison, School of Informatics, University of Wales, Bangor, Dean Street, Bangor, Gwynedd LL571UT, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics Divison, School of Informatics, University of Wales, Bangor, Dean Street, Bangor, Gwynedd LL571UT, United Kingdom","institution_ids":["https://openalex.org/I161548249"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032089582","display_name":"Timothy Porter","orcid":"https://orcid.org/0000-0001-7962-8471"},"institutions":[{"id":"https://openalex.org/I161548249","display_name":"Bangor University","ror":"https://ror.org/006jb1a24","country_code":"GB","type":"education","lineage":["https://openalex.org/I161548249"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"TIM PORTER","raw_affiliation_strings":["Mathematics Divison, School of Informatics, University of Wales, Bangor, Dean Street, Bangor, Gwynedd LL571UT, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics Divison, School of Informatics, University of Wales, Bangor, Dean Street, Bangor, Gwynedd LL571UT, United Kingdom","institution_ids":["https://openalex.org/I161548249"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I161548249"],"apc_list":null,"apc_paid":null,"fwci":0.4626,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.59805825,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"12","issue":"06","first_page":"755","last_page":"790"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.9369133710861206},{"id":"https://openalex.org/keywords/fibration","display_name":"Fibration","score":0.8552697896957397},{"id":"https://openalex.org/keywords/whitehead-theorem","display_name":"Whitehead theorem","score":0.707167387008667},{"id":"https://openalex.org/keywords/homotopy","display_name":"Homotopy","score":0.7013500332832336},{"id":"https://openalex.org/keywords/homotopy-lifting-property","display_name":"Homotopy lifting property","score":0.6862614154815674},{"id":"https://openalex.org/keywords/n-connected","display_name":"n-connected","score":0.6650441884994507},{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.6312520503997803},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.584429144859314},{"id":"https://openalex.org/keywords/homotopy-category","display_name":"Homotopy category","score":0.5717887878417969},{"id":"https://openalex.org/keywords/homotopy-group","display_name":"Homotopy group","score":0.5645667314529419},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.5596172213554382},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5210880041122437},{"id":"https://openalex.org/keywords/regular-homotopy","display_name":"Regular homotopy","score":0.4951564371585846},{"id":"https://openalex.org/keywords/homotopy-hypothesis","display_name":"Homotopy hypothesis","score":0.4785057604312897},{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.46138954162597656},{"id":"https://openalex.org/keywords/homotopy-sphere","display_name":"Homotopy sphere","score":0.45999276638031006},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.35700318217277527}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.9369133710861206},{"id":"https://openalex.org/C54486226","wikidata":"https://www.wikidata.org/wiki/Q493941","display_name":"Fibration","level":3,"score":0.8552697896957397},{"id":"https://openalex.org/C119720664","wikidata":"https://www.wikidata.org/wiki/Q3527185","display_name":"Whitehead theorem","level":4,"score":0.707167387008667},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.7013500332832336},{"id":"https://openalex.org/C35234519","wikidata":"https://www.wikidata.org/wiki/Q3983973","display_name":"Homotopy lifting property","level":4,"score":0.6862614154815674},{"id":"https://openalex.org/C191752858","wikidata":"https://www.wikidata.org/wiki/Q6358325","display_name":"n-connected","level":3,"score":0.6650441884994507},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.6312520503997803},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.584429144859314},{"id":"https://openalex.org/C79236096","wikidata":"https://www.wikidata.org/wiki/Q14775269","display_name":"Homotopy category","level":3,"score":0.5717887878417969},{"id":"https://openalex.org/C147688034","wikidata":"https://www.wikidata.org/wiki/Q1626416","display_name":"Homotopy group","level":3,"score":0.5645667314529419},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.5596172213554382},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5210880041122437},{"id":"https://openalex.org/C168334404","wikidata":"https://www.wikidata.org/wiki/Q7309601","display_name":"Regular homotopy","level":4,"score":0.4951564371585846},{"id":"https://openalex.org/C164043645","wikidata":"https://www.wikidata.org/wiki/Q16879377","display_name":"Homotopy hypothesis","level":5,"score":0.4785057604312897},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.46138954162597656},{"id":"https://openalex.org/C18003601","wikidata":"https://www.wikidata.org/wiki/Q5891833","display_name":"Homotopy sphere","level":4,"score":0.45999276638031006},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.35700318217277527},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218196702001061","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196702001061","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Algebra and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1965854131","https://openalex.org/W2042932698","https://openalex.org/W2060557881","https://openalex.org/W2062371257","https://openalex.org/W2087385678","https://openalex.org/W2120713972","https://openalex.org/W2167108357","https://openalex.org/W3040586665"],"related_works":["https://openalex.org/W1966906304","https://openalex.org/W121514703","https://openalex.org/W85903140","https://openalex.org/W1511021991","https://openalex.org/W3141701452","https://openalex.org/W1510022467","https://openalex.org/W2326841407","https://openalex.org/W1974423157","https://openalex.org/W2106875185","https://openalex.org/W4214641007"],"abstract_inverted_index":{"We":[0,62],"show":[1,63],"that":[2,47,64],"abstract":[3],"homotopy":[4,15,56],"theory":[5],"can":[6,51],"be":[7,52],"used":[8],"to":[9,69],"define":[10],"a":[11,28,55,60,82],"suitable":[12],"notion":[13],"of":[14,23,39,84],"equivalence":[16,57],"for":[17,30],"inverse":[18,31],"semigroups.":[19],"As":[20],"an":[21],"application":[22],"our":[24],"theory,":[25],"we":[26],"prove":[27],"theorem":[29],"semigroup":[32],"homomorphisms":[33],"which":[34,45],"is":[35,67],"the":[36,40,70],"exact":[37],"counterpart":[38],"well-known":[41],"result":[42],"in":[43,75],"topology":[44],"states":[46],"every":[48],"continuous":[49],"function":[50],"factorized":[53],"into":[54],"followed":[58],"by":[59,73],"fibration.":[61],"this":[65],"factorization":[66],"isomorphic":[68],"one":[71],"constructed":[72],"Steinberg":[74],"his":[76],"\"Fibration":[77],"Theorem\",":[78],"originally":[79],"proved":[80],"using":[81],"generalization":[83],"Tilson's":[85],"derived":[86],"category.":[87]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}