{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T18:51:22Z","timestamp":1707850282204},"reference-count":5,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,2,1]],"date-time":"2003-02-01T00:00:00Z","timestamp":1044057600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3855,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2003,2]]},"DOI":"10.1016\/s0747-7171(02)00104-9","type":"journal-article","created":{"date-parts":[[2003,2,12]],"date-time":"2003-02-12T02:46:23Z","timestamp":1045017983000},"page":"127-135","source":"Crossref","is-referenced-by-count":12,"title":["A database of categories"],"prefix":"10.1016","volume":"35","author":[{"given":"Michael","family":"Fleming","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Gunther","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Rosebrugh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(02)00104-9_B1","series-title":"The AXIOM computer algebra system applied to computational category theory. Lecture at the 2nd IMACS Conference","author":"Brown","year":"1996"},{"key":"10.1016\/S0747-7171(02)00104-9_B2","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1006\/jsco.1995.1027","article-title":"The Todd\u2013Coxeter procedure and left Kan extensions","volume":"19","author":"Carmody","year":"1995","journal-title":"J. Symb. Comput."},{"key":"10.1016\/S0747-7171(02)00104-9_B3","series-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"10.1016\/S0747-7171(02)00104-9_B4","unstructured":"Rydeheard, D., 1996. Re: Mechanization of Category Theory. Available from http:\/\/www.mcs.anl.gov\/qed\/mail-archive\/volume-3\/0139.html"},{"key":"10.1016\/S0747-7171(02)00104-9_B5","series-title":"Categories and Computer Science","author":"Walters","year":"1991"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717102001049?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717102001049?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T01:52:21Z","timestamp":1553737941000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717102001049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,2]]},"references-count":5,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,2]]}},"alternative-id":["S0747717102001049"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(02)00104-9","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2003,2]]}}}