{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:20:27Z","timestamp":1776316827791,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:00:00Z","timestamp":1659398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,2]]},"DOI":"10.1145\/3531130.3532405","type":"proceedings-article","created":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T20:23:38Z","timestamp":1659644618000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Varieties of Quantitative Algebras and Their Monads"],"prefix":"10.1145","author":[{"given":"Jiri","family":"Adamek","sequence":"first","affiliation":[{"name":"Czech Technical University Prague, Czech Republic and Technical University Braunschweig, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"J. Ad\u00e1mek H. Herrlich and G.E. Strecker. 2004. Abstract and concrete categories(2nd ed.). Dover Publ. Mineola.  J. Ad\u00e1mek H. Herrlich and G.E. Strecker. 2004. Abstract and concrete categories(2nd ed.). Dover Publ. Mineola."},{"key":"e_1_3_2_1_2_1","unstructured":"J. Ad\u00e1mek S. Milius and L. Moss. 2022. Initial algebras terminal coalgebras and the theory of fixed points of functors. (2022). To appear in Cambridge University Press.  J. Ad\u00e1mek S. Milius and L. Moss. 2022. Initial algebras terminal coalgebras and the theory of fixed points of functors. (2022). To appear in Cambridge University Press."},{"key":"e_1_3_2_1_3_1","first-page":"1","article-title":"2021. Approximate injectivity and smallness in metric enriched categories","volume":"226","author":"Ad\u00e1mek J.","year":"2021","unstructured":"J. Ad\u00e1mek and J. Rosick\u00fd . 2021. Approximate injectivity and smallness in metric enriched categories . J. Pure Appl. Algebra 226 ( 2021 ), 1 \u2013 30 . J. Ad\u00e1mek and J. Rosick\u00fd. 2021. Approximate injectivity and smallness in metric enriched categories. J. Pure Appl. Algebra 226 (2021), 1\u201330.","journal-title":"J. Pure Appl. Algebra"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. 9th Conference on Algebra and Coalgebra in Computer Science(LIPICS, Vol.\u00a0211)","author":"Bacci G.","unstructured":"G. Bacci , R. Mardare , P. Panangaden , and G.D. Plotkin . 2021. Tensor of quantitative equational theories . In Proc. 9th Conference on Algebra and Coalgebra in Computer Science(LIPICS, Vol.\u00a0211) . Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, 7: 1\u20137:17. G. Bacci, R. Mardare, P. Panangaden, and G.D. Plotkin. 2021. Tensor of quantitative equational theories. In Proc. 9th Conference on Algebra and Coalgebra in Computer Science(LIPICS, Vol.\u00a0211). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, 7:1\u20137:17."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"M. Barr and C. Wells. 1985. Toposes Triples and Theories. Springer.  M. Barr and C. Wells. 1985. Toposes Triples and Theories. Springer.","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S096012951500050X"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2016.39"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. 31st Annual ACM\/IEEE Symposium on Logic in Computer Science. IEEE, 700\u2013709","author":"Mardare R.","unstructured":"R. Mardare , P. Panangaden , and G.D. Plotkin . 2016. Quantitative algebraic reasoning . In Proc. 31st Annual ACM\/IEEE Symposium on Logic in Computer Science. IEEE, 700\u2013709 . R. Mardare, P. Panangaden, and G.D. Plotkin. 2016. Quantitative algebraic reasoning. In Proc. 31st Annual ACM\/IEEE Symposium on Logic in Computer Science. IEEE, 700\u2013709."},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science. IEEE, 1\u201312","author":"Mardare R.","unstructured":"R. Mardare , P. Panangaden , and G.D. Plotkin . 2017. On the axiomatizability of quantitative algebras . In Proc. 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science. IEEE, 1\u201312 . R. Mardare, P. Panangaden, and G.D. Plotkin. 2017. On the axiomatizability of quantitative algebras. In Proc. 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science. IEEE, 1\u201312."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. 36th Annual ACM\/IEEE Symposium on Logic in Computer Science. IEEE, 1\u201313","author":"Mardare R.","unstructured":"R. Mardare , P. Panangaden , and G.D. Plotkin . 2021. Fixed-Points for Quantitative Equational Logics . In Proc. 36th Annual ACM\/IEEE Symposium on Logic in Computer Science. IEEE, 1\u201313 . R. Mardare, P. Panangaden, and G.D. Plotkin. 2021. Fixed-Points for Quantitative Equational Logics. In Proc. 36th Annual ACM\/IEEE Symposium on Logic in Computer Science. IEEE, 1\u201313."},{"key":"e_1_3_2_1_11_1","volume-title":"Categories for the working mathematician","author":"McLane S.","unstructured":"S. McLane . 1978. Categories for the working mathematician . Springer . S. McLane. 1978. Categories for the working mathematician. Springer."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. 22nd International Conference on Foundations of Software and Computation Structures(LNCS, Vol.\u00a011425)","author":"Milius S.","unstructured":"S. Milius and H. Urbat . 2019. Equational axiomatization of algebras with structure . In Proc. 22nd International Conference on Foundations of Software and Computation Structures(LNCS, Vol.\u00a011425) . Springer, 400\u2013417. S. Milius and H. Urbat. 2019. Equational axiomatization of algebras with structure. In Proc. 22nd International Conference on Foundations of Software and Computation Structures(LNCS, Vol.\u00a011425). Springer, 400\u2013417."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. 31st International Conference on Concurrency Theory(LIPICS, Vol.\u00a0171)","author":"Mio M.","unstructured":"M. Mio and V. Vignudelli . 2020. Monads and quantitative equational theories for nondeterminism and probability . In Proc. 31st International Conference on Concurrency Theory(LIPICS, Vol.\u00a0171) . Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, 28: 1\u201328:18. M. Mio and V. Vignudelli. 2020. Monads and quantitative equational theories for nondeterminism and probability. In Proc. 31st International Conference on Concurrency Theory(LIPICS, Vol.\u00a0171). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, 28:1\u201328:18."},{"key":"e_1_3_2_1_14_1","volume-title":"Notions of computation and monads. Information and computation 93 (1)","author":"Moggi E.","year":"1991","unstructured":"E. Moggi . 1991. Notions of computation and monads. Information and computation 93 (1) ( 1991 ), 55\u201392. E. Moggi. 1991. Notions of computation and monads. Information and computation 93 (1) (1991), 55\u201392."},{"key":"e_1_3_2_1_15_1","volume-title":"Metric monads. (2021). ArXiv","author":"Rosick\u00fd J.","year":"2012","unstructured":"J. Rosick\u00fd . 2021. Metric monads. (2021). ArXiv 2012 .14641. J. Rosick\u00fd. 2021. Metric monads. (2021). ArXiv 2012.14641."}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Haifa Israel","acronym":"LICS '22","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"]},"container-title":["Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3532405","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3532405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:09Z","timestamp":1750186929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3532405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":15,"alternative-id":["10.1145\/3531130.3532405","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3532405","relation":{},"subject":[],"published":{"date-parts":[[2022,8,2]]},"assertion":[{"value":"2022-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}