{"id":"https://openalex.org/W2101416179","doi":"https://doi.org/10.1017/s0960129597002375","title":"Premonoidal categories and notions of computation","display_name":"Premonoidal categories and notions of computation","publication_year":1997,"publication_date":"1997-10-01","ids":{"openalex":"https://openalex.org/W2101416179","doi":"https://doi.org/10.1017/s0960129597002375","mag":"2101416179"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129597002375","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129597002375","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","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/A5082619162","display_name":"John Power","orcid":"https://orcid.org/0000-0002-3816-8509"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"JOHN POWER","raw_affiliation_strings":["Department of Computer Science, University of Edinburgh, King's Buildings, Edinburgh EH9 3JZ, Scotland","Department of Computer Science, University of Edinburgh, King's Buildings, Edinburgh, EH9 3JZ, Scotland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Edinburgh, King's Buildings, Edinburgh EH9 3JZ, Scotland","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Department of Computer Science, University of Edinburgh, King's Buildings, Edinburgh, EH9 3JZ, Scotland","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022301192","display_name":"E. Powell Robinson","orcid":"https://orcid.org/0000-0002-3075-2217"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"EDMUND ROBINSON","raw_affiliation_strings":["Department of Computer Science, Queen Mary and Westfield College, University of London, Mile End Road, London E1 4NS, UK","Dept of Computer Science, Queen Mary and Westfield College, University of London, Mile End Road, London E1 4NS, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Queen Mary and Westfield College, University of London, Mile End Road, London E1 4NS, UK","institution_ids":["https://openalex.org/I166337079"]},{"raw_affiliation_string":"Dept of Computer Science, Queen Mary and Westfield College, University of London, Mile End Road, London E1 4NS, UK","institution_ids":["https://openalex.org/I166337079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":20.7952,"has_fulltext":false,"cited_by_count":214,"citation_normalized_percentile":{"value":0.99377992,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"7","issue":"5","first_page":"453","last_page":"468"},"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.9988999962806702,"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.9988999962806702,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9969000220298767,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9765999913215637,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.7234594821929932},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.6646793484687805},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.605929970741272},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5873963236808777},{"id":"https://openalex.org/keywords/monad","display_name":"Monad (category theory)","score":0.5619642734527588},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5482107996940613},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5327781438827515},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.5008950233459473},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45882511138916016},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4371475875377655},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3792775869369507},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2787412405014038},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.25032657384872437}],"concepts":[{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.7234594821929932},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.6646793484687805},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.605929970741272},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5873963236808777},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.5619642734527588},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5482107996940613},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5327781438827515},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.5008950233459473},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45882511138916016},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4371475875377655},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3792775869369507},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2787412405014038},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.25032657384872437},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0960129597002375","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129597002375","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.23.1140","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.1140","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dcs.qmw.ac.uk/~edmundr/pubs/mscs97/premoncat.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6499999761581421}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1486076169","https://openalex.org/W1507692549","https://openalex.org/W1566009901","https://openalex.org/W1597434734","https://openalex.org/W1997143185","https://openalex.org/W2001462012","https://openalex.org/W2015034783","https://openalex.org/W2096619922","https://openalex.org/W2121576397","https://openalex.org/W2134089336","https://openalex.org/W2136376264","https://openalex.org/W2146255646","https://openalex.org/W2296390057"],"related_works":["https://openalex.org/W4288570799","https://openalex.org/W2915142316","https://openalex.org/W4300258627","https://openalex.org/W2738383450","https://openalex.org/W4382765585","https://openalex.org/W2467819319","https://openalex.org/W4287663723","https://openalex.org/W3087126312","https://openalex.org/W4286849957","https://openalex.org/W2071463650"],"abstract_inverted_index":{"We":[0,24],"introduce":[1],"the":[2,18,26,55],"notions":[3,34],"of":[4,21,29,35,47],"premonoidal":[5,8,43],"category":[6],"and":[7,10,49],"functor,":[9],"show":[11],"how":[12],"these":[13],"can":[14],"be":[15],"used":[16],"in":[17,45],"denotational":[19],"semantics":[20],"programming":[22],"languages.":[23],"characterize":[25],"semantic":[27],"definitions":[28],"Eugenio":[30],"Moggi's":[31],"monads":[32],"as":[33],"computation,":[36],"exhibit":[37],"a":[38,51],"representation":[39],"theorem":[40],"for":[41,54],"our":[42],"setting":[44,53],"terms":[46],"monads,":[48],"give":[50],"fibrational":[52],"structure.":[56]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":11},{"year":2012,"cited_by_count":9}],"updated_date":"2026-08-13T07:04:57.449891","created_date":"2025-10-10T00:00:00"}