{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T05:44:29Z","timestamp":1675835069070},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,5,23]],"date-time":"2007-05-23T00:00:00Z","timestamp":1179878400000},"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-9084-5","type":"journal-article","created":{"date-parts":[[2007,5,23]],"date-time":"2007-05-23T05:35:53Z","timestamp":1179898553000},"page":"341-353","source":"Crossref","is-referenced-by-count":2,"title":["Directed Algebraic Topology, Categories and Higher Categories"],"prefix":"10.1007","volume":"15","author":[{"given":"Marco","family":"Grandis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,5,23]]},"reference":[{"key":"9084_CR1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.tcs.2003.11.012","volume":"315","author":"A. Bauer","year":"2004","unstructured":"Bauer, A., Birkedal, L., Scott, D.S.: Equilogical spaces. Theoret. Comput. Sci. 315, 35\u201359 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"9084_CR2","first-page":"215","volume":"12","author":"A. Burroni","year":"1971","unstructured":"Burroni, A.: T-categories. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 12, 215\u2013321 (1971)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g"},{"key":"9084_CR3","volume-title":"Noncommutative Geometry","author":"A. Connes","year":"1994","unstructured":"Connes, A.: Noncommutative Geometry. Academic Press, San Diego CA (1994)"},{"key":"9084_CR4","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1014342114336","volume":"10","author":"A.C. Ehresmann","year":"2002","unstructured":"Ehresmann, A.C.: Localization of universal problems. Local colimits. Appl. Categ. Structures 10, 157\u2013172 (2002)","journal-title":"Local colimits. Appl. Categ. Structures"},{"key":"9084_CR5","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1023\/B:APCS.0000013812.75342.de","volume":"12","author":"L. Fajstrup","year":"2004","unstructured":"Fajstrup, L., Raussen, M., Goubault, E., Haucourt, E.: Components of the fundamental category. Appl. Categ. Structures 12, 81\u2013108 (2004)","journal-title":"Appl. Categ. Structures"},{"key":"9084_CR6","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, 549\u2013599 (2003)","journal-title":"Homology Homotopy Appl."},{"issue":"4","key":"9084_CR7","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1017\/S0960129500003133","volume":"10","author":"E. Goubault","year":"2000","unstructured":"Goubault, E.: Geometry and concurrency: a user\u2019s guide, in: geometry and concurrency. Math. Structures Comput. Sci. 10(4), 411\u2013425 (2000)","journal-title":"Math. Structures Comput. Sci."},{"key":"9084_CR8","doi-asserted-by":"crossref","unstructured":"Goubault, E., Haucourt, E.: Components of the fundamental category II. Appl. Categ. Structures (2007)","DOI":"10.1007\/s10485-007-9082-7"},{"key":"9084_CR9","unstructured":"Grandis, M.: Cubical monads and their symmetries. In: Proceedings of the Eleventh International Conference on Topology, Trieste 1993. Rend. Istit. Mat. Univ. Trieste 25, 223\u2013262 (1993)"},{"key":"9084_CR10","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF01758987","volume":"170","author":"M. Grandis","year":"1996","unstructured":"Grandis, M.: Cubical homotopical algebra and cochain algebras. Ann. Mat. Pura Appl. 170, 147\u2013186 (1996)","journal-title":"Ann. Mat. Pura Appl."},{"key":"9084_CR11","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1023\/A:1008620005400","volume":"5","author":"M. Grandis","year":"1997","unstructured":"Grandis, M.: Categorically algebraic foundations for homotopical algebra. Appl. Categ. Structures 5, 363\u2013413 (1997)","journal-title":"Appl. Categ. Structures"},{"key":"9084_CR12","first-page":"281","volume":"44","author":"M. Grandis","year":"2003","unstructured":"Grandis, M.: Directed homotopy theory, I. The fundamental category. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 44, 281\u2013316 (2003)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"9084_CR13","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1017\/S0305004104008217","volume":"138","author":"M. Grandis","year":"2005","unstructured":"Grandis, M.: Directed combinatorial homology and noncommutative tori (The breaking of symmetries in algebraic topology). Math. Proc. Cambridge Philos. Soc. 138, 233\u2013262 (2005)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"issue":"7","key":"9084_CR14","first-page":"114","volume":"13","author":"M. Grandis","year":"2004","unstructured":"Grandis, M.: Normed combinatorial homology and noncommutative tori. Theory Appl. Categ. 13(7), 114\u2013128 (2004)","journal-title":"Theory Appl. Categ."},{"key":"9084_CR15","doi-asserted-by":"crossref","first-page":"413","DOI":"10.4310\/HHA.2004.v6.n1.a21","volume":"6","author":"M. Grandis","year":"2004","unstructured":"Grandis, M.: Inequilogical spaces, directed homology and noncommutative geometry. Homology Homotopy Appl. 6, 413\u2013437 (2004)","journal-title":"Homology Homotopy Appl."},{"issue":"CT2004(4)","key":"9084_CR16","first-page":"95","volume":"15","author":"M. Grandis","year":"2005\/06","unstructured":"Grandis, M.: The shape of a category up to directed homotopy. Theory Appl. Categ. 15 (CT2004)(4), 95\u2013146 (2005\/06)","journal-title":"Theory Appl. Categ."},{"key":"9084_CR17","doi-asserted-by":"crossref","first-page":"31","DOI":"10.4310\/HHA.2006.v8.n1.a2","volume":"8","author":"M. Grandis","year":"2006","unstructured":"Grandis, M.: Modelling fundamental 2-categories for directed homotopy. Homology Homotopy Appl. 8, 31\u201370 (2006)","journal-title":"Homology Homotopy Appl."},{"key":"9084_CR18","first-page":"107","volume":"47","author":"M. Grandis","year":"2006","unstructured":"Grandis, M.: Lax 2-categories and directed homotopy. Cah. Topol. Geom. Diff. Categ. 47, 107\u2013128 (2006)","journal-title":"Cah. Topol. Geom. Diff. Categ."},{"key":"9084_CR19","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s10485-006-9017-8","volume":"14","author":"M. Grandis","year":"2006","unstructured":"Grandis, M.: Absolute lax 2-categories. Appl. Categ. Structures 14, 191\u2013214 (2006)","journal-title":"Appl. Categ. Structures"},{"key":"9084_CR20","unstructured":"Grandis, M.: The fundamental weighted category of a weighted space (From directed to weighted algebraic topology), Dip. Mat. Univ. Genova, Preprint 540 (2006). http:\/\/www.dima.unige.it\/~grandis\/wHtp.pdf"},{"key":"9084_CR21","doi-asserted-by":"crossref","first-page":"1092","DOI":"10.1073\/pnas.41.12.1092","volume":"41","author":"D.M. Kan","year":"1955","unstructured":"Kan, D.M.: Abstract homotopy I. Proc. Nat. Acad. Sci. U. S. A. 41, 1092\u20131096 (1955)","journal-title":"Proc. Nat. Acad. Sci. U. S. A."},{"key":"9084_CR22","unstructured":"Krishnan, S.: A convenient category of locally ordered spaces. Presented at GETCO (2005). Available at http:\/\/www.math.uchicago.edu\/~sanjeevi\/"},{"key":"9084_CR23","doi-asserted-by":"crossref","unstructured":"Lafont, Y.: Algebra and geometry of rewriting. Appl. Categ. Structures (this issue)","DOI":"10.1007\/s10485-007-9083-6"},{"key":"9084_CR24","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511525896","volume-title":"Higher Operads, Higher Categories","author":"T. Leinster","year":"2004","unstructured":"Leinster, T.: Higher Operads, Higher Categories. Cambridge University Press, Cambridge (2004)"},{"key":"9084_CR25","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF02924844","volume":"43","author":"F.W. Lawvere","year":"1974","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic and closed categories. Rend. Sem. Mat. Fis. Univ. Milano 43, 135\u2013166 (1974). Reprints Theory Appl. Categ. 1, 1\u201337 (2002). http:\/\/www.tac.mta.ca\/tac\/reprints\/articles\/1\/tr1.pdf","journal-title":"Reprints Rend. Sem. Mat. Fis. Univ. Milano"},{"key":"9084_CR26","first-page":"93","volume":"4","author":"M. Pimsner","year":"1980","unstructured":"Pimsner, M., Voiculescu, D.: Imbedding the irrational rotation C*-algebra into an AF-algebra. J. Operator Theory 4, 93\u2013118 (1980)","journal-title":"J. Operator Theory"},{"key":"9084_CR27","doi-asserted-by":"crossref","unstructured":"Raussen, M.: Invariants of directed spaces. Appl. Categ. Structures (this issue)","DOI":"10.1007\/s10485-007-9085-4"},{"key":"9084_CR28","doi-asserted-by":"crossref","first-page":"415","DOI":"10.2140\/pjm.1981.93.415","volume":"93","author":"M.A. Rieffel","year":"1981","unstructured":"Rieffel, M.A.: C*-algebras associated with irrational rotations. Pacific J. Math. 93, 415\u2013429 (1981)","journal-title":"Pacific J. Math."},{"key":"9084_CR29","unstructured":"Scott, D.: A new category? Domains, spaces and equivalence relations. Available at http:\/\/www.cs.cmu.edu\/Groups\/LTC\/ (1996)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-007-9084-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-007-9084-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-007-9084-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:24:26Z","timestamp":1559139866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-007-9084-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5,23]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,10,17]]}},"alternative-id":["9084"],"URL":"https:\/\/doi.org\/10.1007\/s10485-007-9084-5","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5,23]]}}}