{"doi":"10.1016/j.entcs.2009.07.083","title":"Monoidal Indeterminates and Categories of Possible Worlds","abstract":null,"journal":"Electronic Notes in Theoretical Computer Science","year":2009,"id":37781,"datarank":0.23400474380583552,"base_score":1.0986122886681096,"endowment":1.0986122886681096,"self_citation_contribution":0.16479184330021646,"citation_network_contribution":0.06921290050561905,"self_endowment_contribution":0.16479184330021646,"citer_contribution":0.06921290050561905,"corpus_percentile":null,"corpus_rank":null,"citation_count":2,"citer_count":2,"citers_with_citation_signal":2,"citers_with_endowment":2,"datacite_reuse_total":0,"is_dataset":false,"is_dataset_confidence":null,"is_data_producer":false,"deposit_databanks":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"fair_score":null,"fair_percentile":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[{"id":188653,"name":"R.D. Tennent","orcid":null,"position":1,"is_corresponding":false},{"id":188652,"name":"C. Hermida","orcid":null,"position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":1.0986122886681096,"endowment":1.0986122886681096,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"18998881","pmcid":null,"openalex_id":"https://openalex.org/W2126973105","authors":[],"funders":[{"funder_name":"Natural Sciences and Engineering Research Council of Canada","grant_id":"unidentified","title":"unidentified"}],"total_grants":1,"fwci":0.4362,"citation_percentile":0.73734057,"influential_citations":8,"citation_trend":[{"year":2025,"count":1}],"oa_status":"gold","license":"cc-by-nc-nd","oa_locations":[{"url":"https://doi.org/10.1016/j.entcs.2009.07.083","host_type":"journal"},{"url":"https://doi.org/10.1016/j.tcs.2012.01.001","host_type":"BRONZE"},{"url":"https://doi.org/10.1016/j.entcs.2009.07.083","host_type":"publisher"},{"url":"https://api.elsevier.com/content/article/PII:S1571066109003053?httpAccept=text/xml","host_type":"publisher"},{"url":"https://api.elsevier.com/content/article/PII:S1571066109003053?httpAccept=text/plain","host_type":"publisher"},{"url":"http://dx.doi.org/10.1016/j.tcs.2012.01.001","host_type":""},{"url":"http://dx.doi.org/10.1016/j.entcs.2009.07.083","host_type":""},{"url":"https://zbmath.org/6039188","host_type":""},{"url":"https://dx.doi.org/10.1016/j.tcs.2012.01.001","host_type":""},{"url":"https://dx.doi.org/10.1016/j.entcs.2009.07.083","host_type":""}],"fields_of_study":["Logic, programming, and type systems","Homotopy and Cohomology in Algebraic Topology","Logic, Reasoning, and Knowledge","Computer Science","Mathematics","0102 computer and information sciences","01 natural sciences","0101 mathematics"],"mesh_terms":[],"keywords":["Enriched category","Symmetric monoidal category","Closed monoidal category","Functor","Mathematics","Higher category theory","Monoidal category","Closed category","Pure mathematics","Concrete category","Algebra over a field","Indexed Lawvere theory","possible-world semantics","Semantics in the theory of computing","Theories (e.g., algebraic theories), structure, and semantics","Universality","Theoretical Computer Science","Algebraic theory of languages and automata","indeterminates","symmetric monoidal categories","Categorical logic, topoi","Computer Science(all)"],"sdg_mappings":[{"sdg_number":0,"sdg_label":"Reduced inequalities"}],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-06-10T21:03:25.482930Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"fair_f":null,"fair_a":null,"fair_i":null,"fair_r":null,"fair_zscore":null,"fair_rationale":null,"fair_model":null,"fair_agent_version":null,"fair_fulltext_source":null,"fair_has_llm":null,"fair_computed_at":null,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}