{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:45:26Z","timestamp":1747579526807},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf00878101","type":"journal-article","created":{"date-parts":[[2004,12,24]],"date-time":"2004-12-24T20:35:30Z","timestamp":1103920530000},"page":"283-295","source":"Crossref","is-referenced-by-count":2,"title":["On the notion of bimodel for functorial semantics"],"prefix":"10.1007","volume":"2","author":[{"given":"Francis","family":"Borceux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico M.","family":"Vitale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","series-title":"Grundleheren der Mathematischen Wissenschaften","volume-title":"Toposes, Triples and Theories","author":"M. Barr","year":"1984","unstructured":"Barr M. and Wells C.:Toposes, Triples and Theories, Grundleheren der Mathematischen Wissenschaften 278, Springer-Verlag, Berlin-Heidelberg-New York (1984)."},{"key":"CR2","volume-title":"Algebraic K-Theory","author":"H. Bass","year":"1968","unstructured":"Bass H.:Algebraic K-Theory W. A. Benjamin Inc., New York (1968)."},{"key":"CR3","unstructured":"Benabou J.: Les Distributeurs,Rap. S\u00e9m. Math. Pures 33, Univ. Louvain (1973)."},{"key":"CR4","unstructured":"Borceux F.:A Handbook of Categorical Algebra, Cambridge University Press (to appear)."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.4064\/cm-55-1-11-17","volume":"55","author":"J. Dukarm","year":"1988","unstructured":"Dukarm J.: Morita Equivalence of Algebraic Theories,Colloquium Mathematicum 55 (1988), 11?17.","journal-title":"Colloquium Mathematicum"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1216\/RMJ-1976-6-2-199","volume":"6","author":"B. Elkins","year":"1976","unstructured":"Elkins B. and Zilber J.: Categories of Actions and Morita Equivalences,Rocky Mountain J. Math. 6 (1976), 199?225.","journal-title":"Rocky Mountain J. Math."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"89","DOI":"10.4064\/cm-14-1-89-106","volume":"14","author":"P. Freyd","year":"1966","unstructured":"Freyd P.: Algebra Valued Functors in General and Tensor Products in Particular,Colloquium Mathematicum 14 (1966), 89?106.","journal-title":"Colloquium Mathematicum"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Gabriel P. and Ulmer F.:Lokal Pr\u00e4sentierbare Kategorien, Springer Lecture Notes 221 (1971).","DOI":"10.1007\/BFb0059396"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Lawvere F.W.: Functorial Semantics of Algebraic Theories, Ph. D. Thesis Columbia University (1963).","DOI":"10.1073\/pnas.50.5.869"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF02924844","volume":"43","author":"F.W. Lawvere","year":"1973","unstructured":"Lawvere F.W.: Metric Spaces, Generalized Logic and Closed Categories,Rend. Sem. Mat. e Fisico di Milano 43 (1973), 135?166.","journal-title":"Rend. Sem. Mat. e Fisico di Milano"},{"key":"CR11","volume-title":"Some Aspects of Equational Categories","author":"F. Linton","year":"1966","unstructured":"Linton F.: Some Aspects of Equational Categories,Proceedings of the Conference on Categorical Algebra (La Jolla, 1965), Springer-Verlag, Berlin-Heidelberg-New York (1966)."},{"key":"CR12","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane S.:Categories for the Working Mathematician Graduate Texts in Mathematics 5, Springer-Verlag, Berlin-Heidelberg-New York (1971)."},{"key":"CR13","doi-asserted-by":"crossref","DOI":"10.1090\/conm\/104","volume-title":"Accessible Categories: the Foundations of Categorical Model Theory,Contemporary Mathematics 104","author":"M. Makkai","year":"1989","unstructured":"Makkai M. and Par\u00e9 R.: Accessible Categories: the Foundations of Categorical Model Theory,Contemporary Mathematics 104, Amer Math Society, Providence (1989)."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Pultr A.:The Right Adjoints into the Categories of Relational Systems, Reports Midwest Category Seminar IV, Springer Lecture Notes 137 (1970), pp. 100?113.","DOI":"10.1007\/BFb0060441"},{"key":"CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-65364-3","volume-title":"Categories","author":"H. Schubert","year":"1972","unstructured":"Schubert H.:Categories Springer-Verlag, Berlin-Heidelberg-New York (1972)."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00878101.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00878101\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00878101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:23:36Z","timestamp":1586042616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00878101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF00878101"],"URL":"https:\/\/doi.org\/10.1007\/bf00878101","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}