{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T22:18:58Z","timestamp":1791411538289,"version":"4.3.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T00:00:00Z","timestamp":1184889600000},"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":[[2007,10,17]]},"DOI":"10.1007\/s10485-007-9082-7","type":"journal-article","created":{"date-parts":[[2007,7,19]],"date-time":"2007-07-19T10:05:06Z","timestamp":1184839506000},"page":"387-414","source":"Crossref","is-referenced-by-count":25,"title":["Components of the Fundamental Category II"],"prefix":"10.1007","volume":"15","author":[{"given":"E.","family":"Goubault","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"E.","family":"Haucourt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,7,20]]},"reference":[{"key":"9082_CR1","unstructured":"Bednarczyk, M., Borzyszkowski, A., Pawlowski, W.: Generalized congruences-Epimorphisms in CAT. Theory Appl. Categ. 5(11), (1999)"},{"key":"9082_CR2","volume-title":"Encyclopedia of Mathematics and Its Applications, vol.\u00a050","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of categorical algebra 1 : basic category theory. In: Encyclopedia of Mathematics and Its Applications, vol.\u00a050. Cambridge University Press, Cambridge, MA (1994a)"},{"key":"9082_CR3","volume-title":"Encyclopedia of Mathematics and Its Applications, vol.\u00a052","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of categorical algebra 3 : categories of sheaves. In: Encyclopedia of Mathematics and Its Applications, vol.\u00a052. Cambridge University Press, Cambridge, MA (1994b)"},{"key":"9082_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12494-9","volume-title":"Metric Spaces of Non-positive Curvature","author":"M. Bridson","year":"1999","unstructured":"Bridson, M., Haefliger, A.: Metric Spaces of Non-positive Curvature. Springer, Berlin Heidelberg New York (1999)"},{"key":"9082_CR5","unstructured":"Cohen, R.L., Jones, D.S., Segal, G.B.: Morse theory and classifying spaces. Technical report, Warwick University Preprint (1995)"},{"key":"9082_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3472-0_2","volume-title":"Cooperating Sequential Processes","author":"E. Dijkstra","year":"1968","unstructured":"Dijkstra, E.: Cooperating Sequential Processes. Academic, New York (1968)"},{"key":"9082_CR7","volume-title":"Tensor Geometry","author":"C. Dodson","year":"1997","unstructured":"Dodson, C., Poston, T.: Tensor Geometry, 2nd edn. Springer, Berlin Heidelberg New York (1997)","edition":"2"},{"key":"9082_CR8","doi-asserted-by":"crossref","unstructured":"Eilenberg, S.: Ordered topological spaces. Amer. J. Math. (63), 39\u201345 (1941)","DOI":"10.2307\/2371274"},{"issue":"1","key":"9082_CR9","first-page":"81","volume":"12","author":"L. Fajstrup","year":"2004","unstructured":"Fajstrup, L., Goubault, E., Haucourt, E., Raussen, M.: Component categories and the fundamental category. APCS 12(1), 81\u2013108 (2004)","journal-title":"APCS"},{"key":"9082_CR10","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/j.tcs.2006.03.022","volume":"357","author":"L. Fajstrup","year":"2006","unstructured":"Fajstrup, L., Goubault, E., Raussen, M.: Algebraic topology and concurrency. Theor. Comp. Sci. 357, 241\u2013278 (2006) (and also technical report, Aalborg University 1999)","journal-title":"Theor. Comp. Sci."},{"key":"9082_CR11","volume-title":"Mathematical Library, vol. 39","author":"P. Freyd","year":"1990","unstructured":"Freyd, P., Scedrov, A.: Categories, allegories. In: Mathematical Library, vol. 39. North-Holland, Amsterdam (1990)"},{"key":"9082_CR12","volume-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete, no.\u00a035","author":"P. Gabriel","year":"1967","unstructured":"Gabriel, P., Zisman, M.: Calculus of fractions and homotopy theory. In: Ergebnisse der Mathematik und ihrer Grenzgebiete, no.\u00a035. Springer, Berlin Heidelberg New York (1967)"},{"issue":"1","key":"9082_CR13","doi-asserted-by":"crossref","first-page":"549","DOI":"10.4310\/HHA.2003.v5.n1.a20","volume":"5","author":"P. Gaucher","year":"2003","unstructured":"Gaucher, P.: A model category for the homotopy theory of concurrency. Homology, Homotopy Appl. 5(1), 549\u2013599 (2003)","journal-title":"Homology, Homotopy Appl."},{"issue":"2","key":"9082_CR14","doi-asserted-by":"crossref","first-page":"95","DOI":"10.4310\/HHA.2003.v5.n2.a5","volume":"5","author":"E. Goubault","year":"2003","unstructured":"Goubault, E.: Some geometric perspectives in concurrency theory. Homology, Homotopy Appl. 5(2), 95\u2013136 (2003)","journal-title":"Homology, Homotopy Appl."},{"key":"9082_CR15","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/11539452_38","volume-title":"CONCUR 2005 \u2013 Concurrency Theory: 16th International Conference, San Francisco, USA, August 23\u201326. Lecture Notes in Computer Science, vol. 3653","author":"E. Goubault","year":"2005","unstructured":"Goubault, E., Haucourt, E.: A practical application of geometric semantics to static analysis of concurrent programs. In: Abadi, M., de\u00a0Alfaro, L. (eds.), CONCUR 2005 \u2013 Concurrency Theory: 16th International Conference, San Francisco, USA, August 23\u201326. Lecture Notes in Computer Science, vol. 3653, pp. 503\u2013517. Springer, Berlin Heidelberg New York (2005)"},{"key":"9082_CR16","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/3-540-45995-2_8","volume-title":"LATIN 2002: Theoretical Informatics. Lecture Notes in Computer Science, Cancun, Mexico, vol.\u00a02286","author":"E. Goubault","year":"2002","unstructured":"Goubault, E., Raussen, M.: Dihomotopy as a tool in state space analysis. In: Rajsbaum, S. (ed.), LATIN 2002: Theoretical Informatics. Lecture Notes in Computer Science, Cancun, Mexico, vol.\u00a02286, pp. 16\u201337. Springer, Berlin Heidelberg New York (2002)"},{"key":"#cr-split#-9082_CR17.1","unstructured":"Grandis, M.: Directed homotopy theory, I. The fundamental category. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g 44, 281\u2013316 (2003) (Preliminary version: Dip. Mat. Univ. Genova, Preprint 443 (Oct 2001);"},{"key":"#cr-split#-9082_CR17.2","unstructured":"Revised: 5 Nov 2001, 26 pp (2003))"},{"issue":"4","key":"9082_CR18","first-page":"95","volume":"15","author":"M. Grandis","year":"2005","unstructured":"Grandis, M.: The shape of a category up to directed homotopy. Theory Appl. Categ. 15(4), 95\u2013146 (2005)","journal-title":"Theory Appl. Categ."},{"issue":"1\u20132","key":"9082_CR19","doi-asserted-by":"crossref","first-page":"275","DOI":"10.5802\/aif.1292","volume":"42","author":"A. Haefliger","year":"1992","unstructured":"Haefliger, A.: Extension of complexes of groups. Ann. Inst. Fourier 42(1\u20132), 275\u2013311 (1992)","journal-title":"Ann. Inst. Fourier"},{"key":"9082_CR20","unstructured":"Haucourt, E.: Topologie alg\u00e9brique dirig\u00e9e et Concurrence. Ph.D. thesis, Universit\u00e9 Paris 7, Denis Diderot (2005)"},{"issue":"27","key":"9082_CR21","first-page":"736","volume":"16","author":"E. Haucourt","year":"2006","unstructured":"Haucourt, E.: Categories of components and loop-free categories. Theory Appl. Categ. 16(27), 736\u2013770 (2006)","journal-title":"Theory Appl. Categ."},{"key":"9082_CR22","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511524646","volume-title":"The large scale structure of spacetime. Cambridge monographs on mathematical physics","author":"S. Hawkins","year":"1973","unstructured":"Hawkins, S., Ellis, G.: The large scale structure of spacetime. Cambridge monographs on mathematical physics. Cambridge University Press, Cambridge (1973)"},{"key":"9082_CR23","unstructured":"Higgins, P.J.: Categories and Groupoids. Van Nostrand Reinhold, London (1971) (available as TAC reprint at http:\/\/www.tac.mta.ca\/tac\/reprints\/ )"},{"key":"9082_CR24","volume-title":"Stone Spaces","author":"P.T. Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge, MA (1982)"},{"key":"9082_CR25","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\u00a0Lane, S.: Categories for the Working Mathematician. Springer, Berlin Heidelberg New York (1971)"},{"key":"9082_CR26","volume-title":"Spatial Representation: Discrete vs. Continuous Computational Models","author":"K. Martin","year":"2005","unstructured":"Martin, K., Panangaden, P.: A domain of spacetime intervals in general relativity. In: Kopperman, R., Smyth, M.B., Spreen, D., Webster, J. (eds.), Spatial Representation: Discrete vs. Continuous Computational Models. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2005)"},{"key":"9082_CR27","volume-title":"Topology and Order","author":"L. Nachbin","year":"1965","unstructured":"Nachbin, L.: Topology and Order. Van Nostrand, Princeton (1965)"},{"key":"9082_CR28","doi-asserted-by":"crossref","unstructured":"Smale, S.: On gradient dynamical systems. Ann. of Math. 74, 199\u2013206","DOI":"10.2307\/1970311"},{"key":"9082_CR29","volume-title":"Encyclopaedia of Mathematical sciences, vol.\u00a0124","author":"M. Takesaki","year":"2002","unstructured":"Takesaki, M.: Theory of Operator Algebra I, 2nd edn. In: Encyclopaedia of Mathematical sciences, vol.\u00a0124. Springer, Berlin Heidelberg New York (2002) (first edition 1979)","edition":"2"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-007-9082-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-007-9082-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-007-9082-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:24:26Z","timestamp":1559154266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-007-9082-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,20]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,10,17]]}},"alternative-id":["9082"],"URL":"https:\/\/doi.org\/10.1007\/s10485-007-9082-7","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,20]]}}}