{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T03:46:07Z","timestamp":1768967167829,"version":"3.49.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2008,6,28]],"date-time":"2008-06-28T00:00:00Z","timestamp":1214611200000},"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":[[2009,10]]},"DOI":"10.1007\/s10485-008-9140-9","type":"journal-article","created":{"date-parts":[[2008,6,27]],"date-time":"2008-06-27T12:14:50Z","timestamp":1214568890000},"page":"445-466","source":"Crossref","is-referenced-by-count":21,"title":["A Convenient Category of Locally Preordered Spaces"],"prefix":"10.1007","volume":"17","author":[{"given":"Sanjeevi","family":"Krishnan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,6,28]]},"reference":[{"key":"9140_CR1","first-page":"xviii+443","volume-title":"Encyclopedia of Mathematics and its Applications, vol. 51","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of categorical algebra 2: categories and structures. In: Encyclopedia of Mathematics and its Applications, vol. 51, pp. xviii+443. Cambridge University Press, Cambridge (1994)"},{"key":"9140_CR2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-1-4613-9730-4_6","volume":"23","author":"K. Brown","year":"1992","unstructured":"Brown, K.: The geometry of rewriting systems: a proof of the Anick-Groves-Squier theorem, algorithms and classification in combinatorial group theory, (Berekely, CA, 1989). Math. Sci. Res. Inst. Publ. 23, 137\u2013163 (1992)","journal-title":"Math. Sci. Res. Inst. Publ."},{"issue":"1","key":"9140_CR3","doi-asserted-by":"crossref","first-page":"263","DOI":"10.4310\/HHA.2006.v8.n1.a10","volume":"8","author":"P. Bubenik","year":"2006","unstructured":"Bubenik, P., Worytkiewicz, K.: A model category for local pospaces. Homology Homotopy Appl. 8(1), 263\u2013292 (2006)","journal-title":"Homology Homotopy Appl."},{"key":"9140_CR4","volume-title":"Proc. GETCO&CMCIM 2003, Electronic Notes in Theoretical Computer Science, vol. 100","author":"U. Fahrenberg","year":"2004","unstructured":"Fahrenberg, U.: Directed homology. In: Proc. GETCO&CMCIM 2003, Electronic Notes in Theoretical Computer Science, vol. 100. Elsevier, Amsterdam (2004)"},{"issue":"1","key":"9140_CR5","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1023\/B:APCS.0000013812.75342.de","volume":"12","author":"L. Fajstrup","year":"2004","unstructured":"Fajstrup, L., Goubault, E., Haucourt, E., Raussen, M.: Components of the fundamental category. Appl. Categ. Structures 12(1), 84\u2013108 (2004)","journal-title":"Appl. Categ. Structures"},{"issue":"1\u20133","key":"9140_CR6","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. Theoret. Comput. Sci. 357(1\u20133), 241\u2013278 (2006)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"9140_CR7","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."},{"key":"9140_CR8","volume-title":"Encyclopedia of Mathematics and Applications, vol. 63","author":"G. Gierz","year":"2003","unstructured":"Gierz, G., Hoffman, K.H., Keimel, K., Lawsonj, J.D., Mislove, M., Scott, D.S.: Continuous lattices and domains. In: Encyclopedia of Mathematics and Applications, vol. 63. Cambridge University Press, Cambridge (2003)"},{"issue":"4","key":"9140_CR9","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. Math. Structures Comput. Sci. 10(4), 411\u2013425 (2000)","journal-title":"Math. Structures Comput. Sci."},{"issue":"2","key":"9140_CR10","doi-asserted-by":"crossref","first-page":"137","DOI":"10.4310\/HHA.2003.v5.n2.a6","volume":"5","author":"E. Goubault","year":"2003","unstructured":"Goubault, E., Goubault-Larrecq, J.: On the geometry of intutionistic S4 proofs. Homology Homotopy Appl. 5(2), 137\u2013209 (2003)","journal-title":"Homology Homotopy Appl."},{"issue":"4","key":"9140_CR11","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/s10485-007-9082-7","volume":"15","author":"E. Goubault","year":"2007","unstructured":"Goubault, E., Haucourt, E.: Components of the fundamental category II. Appl. Categ. Structures 15(4), 387\u2013414 (2007)","journal-title":"Appl. Categ. Structures"},{"issue":"4","key":"9140_CR12","first-page":"281","volume":"44","author":"M. Grandis","year":"2003","unstructured":"Grandis, M.: Directed homotopy theory. I.. Cahiers Topologie G\u00e9om. Differentielle Cat\u00e9g. 44(4), 281\u2013316 (2003)","journal-title":"Cahiers Topologie G\u00e9om. Differentielle Cat\u00e9g."},{"issue":"14","key":"9140_CR13","first-page":"369","volume":"10","author":"M. Grandis","year":"2002","unstructured":"Grandis, M.: Directed homotopy theory. II. Homotopy constructs. Theory Appl. Categ. 10(14), 369\u2013391 (2002)","journal-title":"Theory Appl. Categ."},{"issue":"1","key":"9140_CR14","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(1), 413\u2013437 (2004)","journal-title":"Homology Homotopy Appl."},{"issue":"2","key":"9140_CR15","doi-asserted-by":"crossref","first-page":"211","DOI":"10.4310\/HHA.2003.v5.n2.a7","volume":"5","author":"M. Grandis","year":"2003","unstructured":"Grandis, M.: Ordinary and directed combinatorial homotopy, applied to image analysis and concurrency. Homology Homotopy Appl. 5(2), 211\u2013231 (2003)","journal-title":"Homology Homotopy Appl."},{"key":"9140_CR16","unstructured":"Haucourt, E.: Comparing topological models for concurrency. In: GETCO 2005 proceedings, San Francisco, 23\u201326 August 2005"},{"issue":"3","key":"9140_CR17","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0022-4049(90)90106-R","volume":"65","author":"Y. Kobayashi","year":"1990","unstructured":"Kobayashi, Y.: Complete rewriting systems and homology of monoid algebras. J. Pure Appl. Algebra 65(3), 263\u2013275 (1990)","journal-title":"J. Pure Appl. Algebra"},{"key":"9140_CR18","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0304-3975(94)90092-2","volume":"131","author":"Y. Kobayashi","year":"1994","unstructured":"Kobayashi, Y., Otto, F., Squier, C.: A finiteness condition for rewriting systems. Theoret. Comput. Sci. 131, 271\u2013294 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"9140_CR19","unstructured":"Krishnan, S.: A homotopy theory of locally preordered spaces. Ph.D. thesis, University of Chicago, Chicago IL (2006)"},{"key":"9140_CR20","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0022-4049(94)00043-I","volume":"98","author":"Y. Lafont","year":"1995","unstructured":"Lafont, Y.: A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier). J. Pure Appl. Algebra 98, 229\u2013244 (1995)","journal-title":"J. Pure Appl. Algebra"},{"key":"9140_CR21","first-page":"122","volume":"4","author":"L. Nachbin","year":"1965","unstructured":"Nachbin, L.: Topology and order, translated from the Portuguese by Lulu Bechtolsheim. Van Nostrand Math. Stud. 4, 122 (1965)","journal-title":"Van Nostrand Math. Stud."},{"issue":"1","key":"9140_CR22","first-page":"9","volume":"162","author":"A. Patchkoria","year":"2000","unstructured":"Patchkoria, A.: Homology and cohomology monoids of presimplicial semimodules. Bulletin of the Georgian Academy of Sciences 162(1), 9\u201312 (2000)","journal-title":"Bulletin of the Georgian Academy of Sciences"},{"key":"9140_CR23","doi-asserted-by":"crossref","unstructured":"Pratt, V.: Modelling concurrency with geometry. In: Proc. 18th ACM Symp. on Principles of Programming Languages, pp. 311\u2013322. New York, ACM (1991)","DOI":"10.1145\/99583.99625"},{"key":"9140_CR24","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0022-4049(87)90129-0","volume":"49","author":"C.C. Squier","year":"1987","unstructured":"Squier, C.C.: Word problems and a homological finiteness condition for monoids. J. Pure Appl. Algebra 49, 201\u2013217 (1987)","journal-title":"J. Pure Appl. Algebra"},{"key":"9140_CR25","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1307\/mmj\/1028999711","volume":"14","author":"N. Steenrod","year":"1967","unstructured":"Steenrod, N.: A convenient category of spaces. Michigan Math. J. 14, 133\u2013152 (1967)","journal-title":"Michigan Math. J."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9140-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-008-9140-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9140-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:24:27Z","timestamp":1559154267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-008-9140-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,28]]},"references-count":25,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2009,10]]}},"alternative-id":["9140"],"URL":"https:\/\/doi.org\/10.1007\/s10485-008-9140-9","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,6,28]]}}}