{"id":"https://openalex.org/W2027466518","doi":"https://doi.org/10.1142/s021819670300150x","title":"CATEGORIES AS ALGEBRA, II","display_name":"CATEGORIES AS ALGEBRA, II","publication_year":2003,"publication_date":"2003-12-01","ids":{"openalex":"https://openalex.org/W2027466518","doi":"https://doi.org/10.1142/s021819670300150x","mag":"2027466518"},"language":"en","primary_location":{"id":"doi:10.1142/s021819670300150x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s021819670300150x","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/A5056602969","display_name":"Benjamin Steinberg","orcid":"https://orcid.org/0000-0003-3636-4255"},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"education","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"BENJAMIN STEINBERG","raw_affiliation_strings":["School of Mathematics and Statistics, Carleton University, 1125 Colonel By Drive, Ottawa, ON K1S 5B6, Canada","School of Mathematics and Statistics, Carleton University, 1125 Colonel By Drive, Ottawa ON, K1S 5B6, Canada"],"affiliations":[{"raw_affiliation_string":"School of Mathematics and Statistics, Carleton University, 1125 Colonel By Drive, Ottawa, ON K1S 5B6, Canada","institution_ids":["https://openalex.org/I67031392"]},{"raw_affiliation_string":"School of Mathematics and Statistics, Carleton University, 1125 Colonel By Drive, Ottawa ON, K1S 5B6, Canada","institution_ids":["https://openalex.org/I67031392"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031331376","display_name":"Bret Tilson","orcid":null},"institutions":[{"id":"https://openalex.org/I4210136689","display_name":"Colfax (United States)","ror":"https://ror.org/0429eqk16","country_code":"US","type":"company","lineage":["https://openalex.org/I4210136689"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"BRET TILSON","raw_affiliation_strings":["14079 Lower Colfax Rd, Grass Valley, CA 95945, USA"],"affiliations":[{"raw_affiliation_string":"14079 Lower Colfax Rd, Grass Valley, CA 95945, USA","institution_ids":["https://openalex.org/I4210136689"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5056602969"],"corresponding_institution_ids":["https://openalex.org/I67031392"],"apc_list":null,"apc_paid":null,"fwci":1.3724,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.84444138,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"13","issue":"06","first_page":"627","last_page":"703"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9847000241279602,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9847000241279602,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9708999991416931,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9591000080108643,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.9138911962509155},{"id":"https://openalex.org/keywords/semidirect-product","display_name":"Semidirect product","score":0.890605628490448},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.8097124695777893},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5405361652374268},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.50344318151474},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.48195454478263855},{"id":"https://openalex.org/keywords/wreath-product","display_name":"Wreath product","score":0.48016825318336487},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.47818759083747864},{"id":"https://openalex.org/keywords/enriched-category","display_name":"Enriched category","score":0.4476286470890045},{"id":"https://openalex.org/keywords/monoidal-category","display_name":"Monoidal category","score":0.4412553906440735},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.3107221722602844},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.09918901324272156}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.9138911962509155},{"id":"https://openalex.org/C75066664","wikidata":"https://www.wikidata.org/wiki/Q291126","display_name":"Semidirect product","level":3,"score":0.890605628490448},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.8097124695777893},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5405361652374268},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.50344318151474},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.48195454478263855},{"id":"https://openalex.org/C95635736","wikidata":"https://www.wikidata.org/wiki/Q1786640","display_name":"Wreath product","level":3,"score":0.48016825318336487},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.47818759083747864},{"id":"https://openalex.org/C156163052","wikidata":"https://www.wikidata.org/wiki/Q5379515","display_name":"Enriched category","level":3,"score":0.4476286470890045},{"id":"https://openalex.org/C2779904274","wikidata":"https://www.wikidata.org/wiki/Q1945014","display_name":"Monoidal category","level":2,"score":0.4412553906440735},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.3107221722602844},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.09918901324272156},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"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/s021819670300150x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s021819670300150x","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":[{"id":"https://metadata.un.org/sdg/10","score":0.4000000059604645,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W36355091","https://openalex.org/W148415566","https://openalex.org/W1932782660","https://openalex.org/W1979971526","https://openalex.org/W1991777370","https://openalex.org/W2006765004","https://openalex.org/W2011729359","https://openalex.org/W2012079346","https://openalex.org/W2017208950","https://openalex.org/W2038638040","https://openalex.org/W2046268252","https://openalex.org/W2062371257","https://openalex.org/W2063867781","https://openalex.org/W2077950724","https://openalex.org/W2120713972","https://openalex.org/W2146900994","https://openalex.org/W2167010548","https://openalex.org/W2167954650","https://openalex.org/W2325975656","https://openalex.org/W2737776333","https://openalex.org/W2760720512","https://openalex.org/W4239661895","https://openalex.org/W4251535942","https://openalex.org/W4291439952","https://openalex.org/W4299651338"],"related_works":["https://openalex.org/W2359887815","https://openalex.org/W2382795630","https://openalex.org/W2064983515","https://openalex.org/W2376197622","https://openalex.org/W2362902062","https://openalex.org/W2146900994","https://openalex.org/W2036936245","https://openalex.org/W2054883886","https://openalex.org/W1986807064","https://openalex.org/W2726771738"],"abstract_inverted_index":{"A":[0],"theory":[1,76],"of":[2,6,12,30,51,73,77,81,83,95,103,115,120,122,140,144,163,187],"the":[3,9,27,70,78,98,118,123,133,141,156,159],"semidirect":[4,65,79,113,142],"product":[5,66,80,114,143],"categories":[7,52,96,164],"and":[8,67,117,167,185],"derived":[10,71,107],"category":[11,14,72,108],"a":[13,43,175],"morphism":[15,45],"is":[16,33,69,88,97,152],"presented.":[17],"In":[18,39],"order":[19],"to":[20,35,110,130,173],"include":[21,36],"division":[22],"(\u227a)":[23],"in":[24,132,158],"this":[25,40,148],"theory,":[26],"traditional":[28],"setting":[29],"these":[31],"constructions":[32],"expanded":[34,41],"relational":[37,44,104],"arrows.":[38],"setting,":[42],"\u03c6":[46],":":[47],"M":[48],"\u2192":[49],"N":[50],"determines":[53],"an":[54],"optimal":[55],"decomposition":[56],"[Formula:":[57,61,100,125,135,179],"see":[58,62,101,126,136,180],"text]":[59,63,102,127,137,181],"where":[60],"denotes":[64],"D(\u03c6)":[68],"\u03c6.":[74],"The":[75,112,138],"varieties":[82,116,145,162,184],"categories,":[84],"V":[85,94],"*":[86],"W,":[87],"developed.":[89],"Associated":[90],"with":[91],"each":[92],"variety":[93],"collection":[99],"morphisms":[105],"whose":[106],"belongs":[109],"V.":[111],"composition":[119],"classes":[121],"form":[124],"are":[128],"shown":[129],"stand":[131],"relationship":[134],"associativity":[139],"follows":[146],"from":[147],"result.":[149],"Finally,":[150],"it":[151],"demonstrated":[153],"that":[154,178],"all":[155],"results":[157],"article":[160],"concerning":[161],"have":[165],"pseudovariety":[166],"monoidal":[168],"versions.":[169],"This":[170],"allows":[171],"us":[172],"furnish":[174],"straightforward":[176],"proof":[177],"for":[182],"both":[183],"pseudovarieties":[186],"monoids.":[188]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}