MONAD COMPOSITIONS I: GENERAL CONSTRUCTIONS AND RECURSIVE DISTRIBUTIVE LAWS

Name: Work Video:
Duration: 3 min 30 s
Description: New techniques for constructing a distributive law of a monad over another are studied using submonads, quotient monads, product mon- ads, recursively-defined distributive laws, and linear equations. Sequel papers will consider distributive laws in closed categories and will construct monad approximations for compositions which fail to be a monad.
Ernie Manes; Philip S. Mulry
{'id': 'https://openalex.org/W2138773009', 'doi': None, 'title': 'MONAD COMPOSITIONS I: GENERAL CONSTRUCTIONS AND RECURSIVE DISTRIBUTIVE LAWS', 'display_name': 'MONAD COMPOSITIONS I: GENERAL CONSTRUCTIONS AND RECURSIVE DISTRIBUTIVE LAWS', 'publication_year': 2007, 'publication_date': '2007-01-01', 'ids': {'openalex': 'https://openalex.org/W2138773009', 'mag': '2138773009'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'http://emis.icm.edu.pl/journals/TAC/volumes/18/7/18-07.pdf', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': [], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5111838809', 'display_name': 'Ernie Manes', 'orcid': None}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Ernie Manes', 'raw_affiliation_strings': [], 'affiliations': []}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5111842257', 'display_name': 'Philip S. Mulry', 'orcid': None}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Philip Mulry', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 0, 'institutions_distinct_count': 0, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.846, 'has_fulltext': False, 'cited_by_count': 43, 'citation_normalized_percentile': {'value': 0.93935, 'is_in_top_1_percent': False, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 93, 'max': 94}, 'biblio': {'volume': '18', 'issue': None, 'first_page': '172', 'last_page': '208'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9997, '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.9997, '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.9985, '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.9963, '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/monad', 'display_name': 'Monad (category theory)', 'score': 0.96943945}], 'concepts': [{'id': 'https://openalex.org/C11821877', 'wikidata': 'https://www.wikidata.org/wiki/Q187959', 'display_name': 'Distributive property', 'level': 2, 'score': 0.97655183}, {'id': 'https://openalex.org/C33959348', 'wikidata': 'https://www.wikidata.org/wiki/Q1630568', 'display_name': 'Monad (category theory)', 'level': 3, 'score': 0.96943945}, {'id': 'https://openalex.org/C2780801425', 'wikidata': 'https://www.wikidata.org/wiki/Q5164392', 'display_name': 'Construct (python library)', 'level': 2, 'score': 0.5989618}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.52010095}, {'id': 'https://openalex.org/C90673727', 'wikidata': 'https://www.wikidata.org/wiki/Q901718', 'display_name': 'Product (mathematics)', 'level': 2, 'score': 0.51373994}, {'id': 'https://openalex.org/C199539241', 'wikidata': 'https://www.wikidata.org/wiki/Q7748', 'display_name': 'Law', 'level': 1, 'score': 0.4699982}, {'id': 'https://openalex.org/C202444582', 'wikidata': 'https://www.wikidata.org/wiki/Q837863', 'display_name': 'Pure mathematics', 'level': 1, 'score': 0.433062}, {'id': 'https://openalex.org/C136119220', 'wikidata': 'https://www.wikidata.org/wiki/Q1000660', 'display_name': 'Algebra over a field', 'level': 2, 'score': 0.39489305}, {'id': 'https://openalex.org/C156772000', 'wikidata': 'https://www.wikidata.org/wiki/Q864475', 'display_name': 'Functor', 'level': 2, 'score': 0.2994678}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.26828268}, {'id': 'https://openalex.org/C17744445', 'wikidata': 'https://www.wikidata.org/wiki/Q36442', 'display_name': 'Political science', 'level': 0, 'score': 0.118444145}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.09360579}, {'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': [{'is_oa': False, 'landing_page_url': 'http://emis.icm.edu.pl/journals/TAC/volumes/18/7/18-07.pdf', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'display_name': 'Peace, justice, and strong institutions', 'id': 'https://metadata.un.org/sdg/16', 'score': 0.73}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 25, 'referenced_works': ['https://openalex.org/W1480860110', 'https://openalex.org/W1510067240', 'https://openalex.org/W1527324030', 'https://openalex.org/W1551521263', 'https://openalex.org/W1561269335', 'https://openalex.org/W1971163988', 'https://openalex.org/W1972892796', 'https://openalex.org/W1988235759', 'https://openalex.org/W1997143185', 'https://openalex.org/W2016710471', 'https://openalex.org/W2017778827', 'https://openalex.org/W2020531742', 'https://openalex.org/W2029611215', 'https://openalex.org/W2037984920', 'https://openalex.org/W2047862786', 'https://openalex.org/W2078516608', 'https://openalex.org/W2088544307', 'https://openalex.org/W2092582066', 'https://openalex.org/W2102459565', 'https://openalex.org/W2120713972', 'https://openalex.org/W2142799663', 'https://openalex.org/W2604066929', 'https://openalex.org/W2913378306', 'https://openalex.org/W648194725', 'https://openalex.org/W889118672'], 'related_works': ['https://openalex.org/W3214473273', 'https://openalex.org/W3176870867', 'https://openalex.org/W3101634683', 'https://openalex.org/W3099810744', 'https://openalex.org/W2913378306', 'https://openalex.org/W2905459795', 'https://openalex.org/W2904778759', 'https://openalex.org/W2330760217', 'https://openalex.org/W2177291786', 'https://openalex.org/W2138811321', 'https://openalex.org/W2127005761', 'https://openalex.org/W2120713972', 'https://openalex.org/W2088189323', 'https://openalex.org/W2052577206', 'https://openalex.org/W2051508582', 'https://openalex.org/W2047862786', 'https://openalex.org/W2037775432', 'https://openalex.org/W2017778827', 'https://openalex.org/W1997143185', 'https://openalex.org/W1970904244'], 'abstract_inverted_index': {'New': [0], 'techniques': [1], 'for': [2, 41], 'constructing': [3], 'a': [4, 8, 47], 'distributive': [5, 22, 31], 'law': [6], 'of': [7], 'monad': [9, 39], 'over': [10], 'another': [11], 'are': [12], 'studied': [13], 'using': [14], 'submonads,': [15], 'quotient': [16], 'monads,': [17], 'product': [18], 'mon-': [19], 'ads,': [20], 'recursively-defined': [21], 'laws,': [23], 'and': [24, 36], 'linear': [25], 'equations.': [26], 'Sequel': [27], 'papers': [28], 'will': [29, 37], 'consider': [30], 'laws': [32], 'in': [33], 'closed': [34], 'categories': [35], 'construct': [38], 'approximations': [40], 'compositions': [42], 'which': [43], 'fail': [44], 'to': [45], 'be': [46], 'monad.': [48]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2138773009', 'counts_by_year': [{'year': 2023, 'cited_by_count': 4}, {'year': 2022, 'cited_by_count': 4}, {'year': 2021, 'cited_by_count': 5}, {'year': 2020, 'cited_by_count': 7}, {'year': 2019, 'cited_by_count': 3}, {'year': 2018, 'cited_by_count': 4}, {'year': 2017, 'cited_by_count': 3}, {'year': 2016, 'cited_by_count': 1}, {'year': 2015, 'cited_by_count': 4}, {'year': 2014, 'cited_by_count': 2}, {'year': 2013, 'cited_by_count': 3}, {'year': 2012, 'cited_by_count': 1}], 'updated_date': '2025-01-17T02:20:18.592988', 'created_date': '2016-06-24'}
Publication Information

Basic Information

Access and Citation

AI Researcher Chatbot

Primary Location

Authors

Topics

Keywords

Related Works
