CINXE.COM
Left properness of flows
<!-- Modified 2021-06-07 by Geoff Cruttwell --> <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <title> Left properness of flows </title> <link REL="stylesheet" TYPE="text/css" href="../../../tac.css"> <meta name="citation_title" content="Left properness of flows"> <meta name="citation_author" content="Philippe Gaucher"> <meta name="citation_publication_date" content="2021/06/07"> <meta name="citation_journal_title" content="Theory and Applications of Categories"> <meta name="citation_volume" content="37"> <meta name="citation_issue" content="19"> <meta name="citation_firstpage" content="562"> <meta name="citation_lastpage" content="612"> <meta name="citation_pdf_url" content="http://www.tac.mta.ca/tac/volumes/37/19/37-19.pdf"> </head> <body> <h1> Left properness of flows </h1> <h2> Philippe Gaucher </h2> <p> Using Reedy techniques, this paper gives a correct proof of the left properness of the q-model structure of flows. It fixes the preceding proof which relies on an incorrect argument. The last section is devoted to fixing some arguments published in past papers coming from this incorrect argument. These Reedy techniques also enable us to study the interactions between the path space functor of flows with various notions of cofibrations. The proofs of this paper are written to work with many convenient categories of topological spaces like the ones of k-spaces and of weakly Hausdorff k-spaces and their locally presentable analogues, the Δ-generated spaces and the Δ-Hausdorff Δ-generated spaces. </p><p> Keywords: d-space, flow, topological model of concurrency, combinatorial model category, enriched semicategory, enriched non-unital category, locally presentable category, left proper model category, Reedy category </p> <p> 2020 MSC: 55U35, 18C35, 18G55, 68Q85 </p> <p><i>Theory and Applications of Categories,</i> <font face="times new roman"> Vol. 37, 2021, No. 19, pp 562-612.</font> </p><p> Published 2021-06-07. </p><p> <a href="http://www.tac.mta.ca/tac/volumes/37/19/37-19.pdf"> http://www.tac.mta.ca/tac/volumes/37/19/37-19.pdf</a><br> </p> <a href ="../../../index.html"> TAC Home </a> </body></html>