{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T21:15:13Z","timestamp":1694121313743},"reference-count":28,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.384.10","type":"journal-article","created":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T06:51:47Z","timestamp":1692773507000},"page":"171-186","source":"Crossref","is-referenced-by-count":0,"title":["Moore-Penrose Dagger Categories"],"prefix":"10.4204","volume":"384","author":[{"given":"Robin","family":"Cockett","sequence":"first","affiliation":[{"name":"University of Calgary"}]},{"given":"Jean-Simon Pacaud","family":"Lemay","sequence":"additional","affiliation":[{"name":"Macquarie University"}]}],"member":"2720","published-online":{"date-parts":[[2023,8,30]]},"reference":[{"key":"baksalary2021moore","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1140\/epjh\/s13129-021-00011-y","article-title":"The Moore\u2013Penrose inverse: a hundred years on a frontline of physics research","volume":"46","author":"Baksalary","year":"2021","journal-title":"The European Physical Journal H"},{"key":"bapat1990generalized","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0024-3795(90)90229-6","article-title":"Generalized inverses over integral domains","volume":"140","author":"Bapat","year":"1990","journal-title":"Linear Algebra and its Applications"},{"key":"bapat1992moore","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0024-3795(92)90318-5","article-title":"The Moore-Penrose inverse over a commutative ring","volume":"177","author":"Bapat","year":"1992","journal-title":"Linear algebra and its applications"},{"key":"ben2002moore","doi-asserted-by":"publisher","first-page":"150","DOI":"10.13001\/1081-3810.1083","article-title":"The Moore of the Moore-Penrose Inverse","volume":"9","author":"Ben-Israel","year":"2002","journal-title":"The Electronic Journal of Linear Algebra"},{"key":"campbell2009generalized","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719048","volume-title":"Generalized inverses of linear transformations","author":"Campbell","year":"2009"},{"key":"cockett2002restriction","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/S0304-3975(00)00382-0","article-title":"Restriction categories I: categories of partial maps","volume":"270","author":"Cockett","year":"2002","journal-title":"Theoretical computer science"},{"key":"coecke2018picturing","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1017\/9781316219317","article-title":"Picturing quantum processes: A first course on quantum theory and diagrammatic reasoning","volume-title":"Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings 10","author":"Coecke","year":"2018"},{"key":"drazin1979regular","first-page":"29","article-title":"Regular semigroups with involution","volume-title":"Proc. Symp. on Regular Semigroups","author":"Drazin","year":"1979"},{"key":"freyd1990categories","volume-title":"Categories, Allegories","author":"Freyd","year":"1990"},{"key":"gumm2014coalgebraic","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-662-44124-4_7","article-title":"Coalgebraic simulations and congruences","volume-title":"Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers","author":"Gumm","year":"2014"},{"key":"hagen2000c","doi-asserted-by":"publisher","DOI":"10.1201\/9781482270679","volume-title":"C*-algebras and numerical analysis","author":"Hagen","year":"2000"},{"issue":"2","key":"heunen2010quantum","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/j.entcs.2011.01.024","article-title":"Quantum logic in dagger kernel categories","volume":"27","author":"Heunen","year":"2010","journal-title":"Order"},{"issue":"35","key":"heunen2016monads","doi-asserted-by":"publisher","first-page":"1016","DOI":"10.48550\/arXiv.1602.04324","article-title":"Monads on dagger categories","volume":"31","author":"Heunen","year":"2016","journal-title":"Theory and Applications of Categories"},{"issue":"18","key":"heunen2018limits","doi-asserted-by":"publisher","first-page":"468","DOI":"10.48550\/arXiv.1803.06651","article-title":"Limits in dagger categories","volume":"34","author":"Heunen","year":"2019","journal-title":"Theory and Applications of Categories"},{"key":"heunen2019categories","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198739623.001.0001","volume-title":"Categories for Quantum Theory: an introduction","author":"Heunen","year":"2019"},{"key":"higham2008functions","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717778","volume-title":"Functions of matrices: theory and computation","author":"Higham","year":"2008"},{"key":"huylebrouck1984moore","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1080\/03081088408817625","article-title":"The Moore-Penrose inverse of a matrix over a semi-simpie artinian ring","volume":"16","author":"Huylebrouck","year":"1984","journal-title":"Linear and Multilinear Algebra"},{"key":"moore1920reciprocal","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1090\/S0002-9904-1920-03322-7","article-title":"On the reciprocal of the general algebraic matrix","volume":"26","author":"Moore","year":"1920","journal-title":"Bull. Am. Math. Soc."},{"issue":"4","key":"pearl1968generalized","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/0024-3795(68)90028-1","article-title":"Generalized inverses of matrices with entries taken from an arbitrary field","volume":"1","author":"Pearl","year":"1968","journal-title":"Linear Algebra and its Applications"},{"key":"penrose1955generalized","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1017\/S0305004100030401","article-title":"A generalized inverse for matrices","volume-title":"Mathematical proceedings of the Cambridge philosophical society","volume":"51","author":"Penrose","year":"1955"},{"key":"puystjens1981moore","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0024-3795(81)90145-2","article-title":"The Moore-Penrose inverse of a morphism with factorization","volume":"40","author":"Puystjens","year":"1981","journal-title":"Linear Algebra and its Applications"},{"issue":"3","key":"puystjens1984moore","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1080\/00927878408823004","article-title":"The Moore-Penrose inverse of a morphism in an additive category","volume":"12","author":"Puystjens","year":"1984","journal-title":"Communications in algebra"},{"key":"robinson1985ep","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0024-3795(85)90273-3","article-title":"EP morphisms","volume":"64","author":"Puystjens","year":"1985","journal-title":"Linear algebra and its applications"},{"key":"robinson1987generalized","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0024-3795(87)90336-3","article-title":"Generalized inverses of morphisms with kernels","volume":"96","author":"Puystjens","year":"1987","journal-title":"Linear Algebra and Its Applications"},{"key":"puystjens1990symmetric","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0024-3795(90)90374-L","article-title":"Symmetric morphisms and the existence of Moore-Penrose inverses","volume":"131","author":"Puystjens","year":"1990","journal-title":"Linear Algebra and Its Applications"},{"issue":"2","key":"rao1975generalized","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0024-3795(75)90054-3","article-title":"On Generalized Inverses of Boolean Matrices","volume":"11","author":"Rao","year":"1975","journal-title":"Linear Algebra and its applications"},{"key":"selinger2007dagger","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.entcs.2006.12.018","article-title":"Dagger compact closed categories and completely positive maps","volume":"170","author":"Selinger","year":"2007","journal-title":"Electronic Notes in Theoretical computer science"},{"key":"selinger2008idempotents","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.entcs.2008.04.021","article-title":"Idempotents in dagger categories","volume":"210","author":"Selinger","year":"2008","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T07:39:37Z","timestamp":1693813177000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2308.16497v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,30]]},"references-count":28,"URL":"https:\/\/doi.org\/10.4204\/eptcs.384.10","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,30]]}}}