{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T07:20:27Z","timestamp":1649143227697},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1989,9,1]],"date-time":"1989-09-01T00:00:00Z","timestamp":620611200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1989,9]]},"DOI":"10.1007\/bf00370829","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T00:23:01Z","timestamp":1099441381000},"page":"361-376","source":"Crossref","is-referenced-by-count":15,"title":["Monoidal categories with natural numbers object"],"prefix":"10.1007","volume":"48","author":[{"given":"Robert","family":"Par\ufffd","sequence":"first","affiliation":[]},{"given":"Leopoldo","family":"Rom\ufffdn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"49","volume":"XXVII-1","author":"A. Burroni","year":"1986","unstructured":"A. Burroni, R\ufffdcursivit\ufffd graphique (1e partie): cat\ufffdgorie de fonctions r\ufffdcursives primitives formelles, Cahiers de Topologie et G\ufffdom\ufffdtrie Diff\ufffdrentielle Cat\ufffdgoriques XXVII-1 (1986), pp. 49?79.","journal-title":"Cahiers de Topologie et G\ufffdom\ufffdtrie Diff\ufffdrentielle Cat\ufffdgoriques"},{"issue":"7","key":"CR2","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1080\/00927877608822127","volume":"4","author":"T. Fox","year":"1976","unstructured":"T. Fox, Coalgebras and cartesian categories, Comm. Algebra 4(7) (1976), pp. 665?667.","journal-title":"Comm. Algebra"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0022-4049(76)90047-5","volume":"8","author":"T. Fox","year":"1976","unstructured":"T. Fox, Purity in locally-presentable monoidal categories, J. Pure Appl. Algebra 8 (1976), pp. 261?265.","journal-title":"J. Pure Appl. Algebra"},{"key":"CR4","first-page":"1","volume":"8","author":"A. Grothendieck","year":"1956","unstructured":"A. Grothendieck, R\ufffdsum\ufffd de la th\ufffdorie m\ufffdtrique des produits tensoriels topologiques, Boletin da Sociedade de Mathematica de S\ufffdo-Paulo 8 (1956), pp. 1?79.","journal-title":"Boletin da Sociedade de Mathematica de S\ufffdo-Paulo"},{"issue":"2","key":"CR5","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1016\/0021-8693(87)90093-7","volume":"107","author":"L. Grunenfelder","year":"1987","unstructured":"L. Grunenfelder and R. Par\ufffd, Families parametrized by coalgebras, J. Alg. 107(2) (1987), pp. 316?375.","journal-title":"J. Alg."},{"key":"CR6","volume-title":"London Mathematical Society Lecture Note Series, Vol. 64","author":"G. M. Kelly","year":"1982","unstructured":"G. M. Kelly, The Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Note Series, Vol. 64, Cambridge University Press, Cambridge\/New York, 1982."},{"key":"CR7","unstructured":"J. Lambek, Multicategories revisited, Proc. A. M. S. Conf. on Categories in Computer Science and Logic (1987)."},{"key":"CR8","unstructured":"J. Lambek, On the unity of algebra and logic, preprint."},{"key":"CR9","volume-title":"Cambridge Studies in Advanced Mathematics 7","author":"J. Lambek","year":"1986","unstructured":"J. Lambek and P. Scott, Introduction to Higher Order Categorical Logic, Cambridge Studies in Advanced Mathematics 7, Cambridge University Press, Cambridge, 1986."},{"key":"CR10","volume-title":"Graduate Texts in Mathematics 5","author":"S. Mac Lane","year":"1971","unstructured":"S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer, Berlin, 1971."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0022-4049(85)90087-8","volume":"37","author":"S. Mac Lane","year":"1985","unstructured":"S. Mac Lane and R. Par\ufffd, Coherence for bicategories and indexed categories, J. Pure Appl. Algebra 37 (1985), pp. 59?80.","journal-title":"J. Pure Appl. Algebra"},{"key":"CR12","unstructured":"L. Rom\ufffdn, Cartesian categories with natural numbers object, to appear, J. Pure Appl. Algebra."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370829.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370829\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T01:44:17Z","timestamp":1554774257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370829"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,9]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,9]]}},"alternative-id":["BF00370829"],"URL":"https:\/\/doi.org\/10.1007\/bf00370829","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,9]]}}}