The Smash Product of Monoidal Theories
The tensor product of props was defined by Hackney and Robertson as an extension of the Boardman-Vogt product of operads to more general monoidal theories. Theories that factor as tensor products include the theory of commutative monoids and the theory of bialgebras. We give a topological interpreta...
Uložené v:
| Vydané v: | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science s. 1 - 13 |
|---|---|
| Hlavný autor: | |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
29.06.2021
|
| Predmet: | |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | The tensor product of props was defined by Hackney and Robertson as an extension of the Boardman-Vogt product of operads to more general monoidal theories. Theories that factor as tensor products include the theory of commutative monoids and the theory of bialgebras. We give a topological interpretation (and vast generalisation) of this construction as a low-dimensional projection of a "smash product of pointed directed spaces". Here directed spaces are embodied by combinatorial structures called diagrammatic sets, while Gray products replace cartesian products. The correspondence is mediated by a web of adjunctions relating diagrammatic sets, pros, probs, props, and Gray-categories. The smash product applies to presentations of higher-dimensional theories and systematically produces higher-dimensional coherence data. |
|---|---|
| AbstractList | The tensor product of props was defined by Hackney and Robertson as an extension of the Boardman-Vogt product of operads to more general monoidal theories. Theories that factor as tensor products include the theory of commutative monoids and the theory of bialgebras. We give a topological interpretation (and vast generalisation) of this construction as a low-dimensional projection of a "smash product of pointed directed spaces". Here directed spaces are embodied by combinatorial structures called diagrammatic sets, while Gray products replace cartesian products. The correspondence is mediated by a web of adjunctions relating diagrammatic sets, pros, probs, props, and Gray-categories. The smash product applies to presentations of higher-dimensional theories and systematically produces higher-dimensional coherence data. |
| Author | Hadzihasanovic, Amar |
| Author_xml | – sequence: 1 givenname: Amar surname: Hadzihasanovic fullname: Hadzihasanovic, Amar email: amar@cs.ioc.ee organization: Tallinn University of Technology,Department of Software Science,Tallinn,Estonia |
| BookMark | eNotj0FLwzAYQCMoqLO_QJCcvLV-35ekSY5SdA4qCpvnkfZLWWVrpJkH_72CO73DgwfvWpxPaYpC3CFUiOAf2lWzNkS1rggIK68tGGvOROGtw7o2Wjtv6ktR5PwJAOQsgvZX4n6zi3J9CHkn3-fE3_1RpkG-pimNHPbyz6Z5jPlGXAxhn2Nx4kJ8PD9tmpeyfVuumse2DOT8seTo2CjjIQy263tHHpxmVgFAKUWdjcjRstN68IzO9AAWNCMROghdpxbi9r87xhi3X_N4CPPP9nSjfgGYb0Ch |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1109/LICS52264.2021.9470575 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9781665448956 1665448954 |
| EndPage | 13 |
| ExternalDocumentID | 9470575 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IH ACM ALMA_UNASSIGNED_HOLDINGS APO CBEJK GUFHI LHSKQ RIE RIO |
| ID | FETCH-LOGICAL-a289t-de8d53590af7bcc829084dd3a003332b7e1de7d844f9d185c00704d122180abb3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 3 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000947350400031&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:23:08 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a289t-de8d53590af7bcc829084dd3a003332b7e1de7d844f9d185c00704d122180abb3 |
| PageCount | 13 |
| ParticipantIDs | ieee_primary_9470575 |
| PublicationCentury | 2000 |
| PublicationDate | 2021-June-29 |
| PublicationDateYYYYMMDD | 2021-06-29 |
| PublicationDate_xml | – month: 06 year: 2021 text: 2021-June-29 day: 29 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science |
| PublicationTitleAbbrev | LICS |
| PublicationYear | 2021 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0002871049 |
| Score | 2.2105353 |
| Snippet | The tensor product of props was defined by Hackney and Robertson as an extension of the Boardman-Vogt product of operads to more general monoidal theories.... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1 |
| SubjectTerms | Coherence Computer science Tensors |
| Title | The Smash Product of Monoidal Theories |
| URI | https://ieeexplore.ieee.org/document/9470575 |
| WOSCitedRecordID | wos000947350400031&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB7a4sFT1Va0PshBPLnt7ibdJOdiUZBSqEJvJdnMYkG70oe_30y6rghevIWQEJJhmEfmmw_gRsSGDw0hejI0kdCJjWye80hqzGVqRIbOBLIJOZmo-VxPG3BXY2EQMRSfYZ-G4S_flfmOUmUDLSS5F01oSpntsVp1PoU8f-_tViDgJNaDp8fRjLwLypykSb_a_ItFJRiRcft_xx9B9weNx6a1nTmGBq5OoP1Nx8Aq7ezArRc5m72bzSstpz6urCyYV9py6cwbCyh8Hxd34WV8_zx6iCoahMj4aGgbOVRuyIc6NoX070g_n0o4xw3xsPHUSkwcSqeEKLTz5jenFj7CJam33rGxlp9Ca1Wu8AyYsqhj6jgnYwwVTsittVh4vRZKF-ocOnTtxce-08WiunHv7-kLOKSXpcKpVF9Ca7ve4RUc5J_b5WZ9HcTzBeyGjxA |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB5qFfRUtRXf5iCe3HYfaZOci6XFWgqt0FtJNrNY0F3pw99vJq4VwYu3EBJIMgzzyHzzAdzyUCdtTYieDuqAq8gEJk2TQChMRax5B632ZBNiNJKzmRpX4H6LhUFEX3yGTRr6v3xbpBtKlbUUF-Re7MAuMWeVaK1tRoV8f-fvljDgKFSt4aA7If-Ccidx1Cy3_-JR8WakV_vfAQ6h8YPHY-OtpTmCCubHUPsmZGClftbhzgmdTd706oWWUydXVmTMqW2xsPqVeRy-i4wb8Nx7mHb7QUmEEGgXD60Di9K2k7YKdSbcS9Lfp-TWJpqY2JLYCIwsCis5z5R1BjilJj7cRrGz36E2JjmBal7keApMGlQh9ZwTIfoaJ0yMMZg5zeZSZfIM6nTt-ftXr4t5eePzv6dvYL8_fRrOh4PR4wUc0CtTGVWsLqG6Xm7wCvbSj_Vitbz2ovoElnySWQ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+36th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=The+Smash+Product+of+Monoidal+Theories&rft.au=Hadzihasanovic%2C+Amar&rft.date=2021-06-29&rft.pub=IEEE&rft.spage=1&rft.epage=13&rft_id=info:doi/10.1109%2FLICS52264.2021.9470575&rft.externalDocID=9470575 |