Terminology generalizing "quasi-isomorphism" - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T09:02:06Z http://mathoverflow.net/feeds/question/101984 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/101984/terminology-generalizing-quasi-isomorphism Terminology generalizing "quasi-isomorphism" Vidit Nanda 2012-07-11T19:34:49Z 2012-07-11T21:32:14Z <p><strong>Background:</strong> In homological algebra, a <em>quasi-isomorphism</em> of chain complexes is a chain map$\phi:(C,d) \to (C',d')$ so that the induced map on homology $\phi_\ast:H_\ast(C,d) \to H_\ast(C',d')$ is an isomorphism.</p> <p>This is clearly a special instance of the following much more general phenomenon: given a functor $\mathcal{F}:\mathcal{C} \to \mathcal{D}$, between categories $\mathcal{C}$ and $\mathcal{D}$, a morphism in $\mathcal{C}$ is taken to an isomorphism in $\mathcal{D}$ by $\mathcal{F}$.</p> <blockquote> <p>What is the standard terminology for a morphism of $\mathcal{C}$ so that its image under $\mathcal{F}$ is a (mono, epi, iso) morphism?</p> </blockquote> <p>I couldn't find a term for this in MacLane's book, but I'm sorry if this is standard stuff.</p> http://mathoverflow.net/questions/101984/terminology-generalizing-quasi-isomorphism/101987#101987 Answer by James Cranch for Terminology generalizing "quasi-isomorphism" James Cranch 2012-07-11T20:11:27Z 2012-07-11T20:11:27Z <p>There is no standard terminology that I know. But if I had to create one, there are precedents: I would steal from the language of homotopy theory.</p> <p>A model category is a category equipped with a <em>model structure</em>: three special classes of morphisms, called weak equivalences, cofibrations, and fibrations (satisfying some axioms). There is a general construction called the "homotopy category" of a model category $C$: this is in some appropriate sense the universal category with a functor from $C$ which turns weak equivalences into isomorphisms.</p> <p>Thus I'd be comfortable calling morphisms which are sent to isomorphisms <em>equivalences</em>. Quasi-isomorphisms are in fact the weak equivalences for a model structure on the category of chain complexes, so this example is a fortunate one.</p> <p>Sometimes, for some particular examples of model structures, the cofibrations are defined to be the morphisms which are sent to monomorphisms by some natural forgetful functor. Similarly, sometimes the fibrations are the morphisms sent to epimorphisms.</p> <p>Thus I'd be vaguely comfortable using the same terminology for this situation. However, of course, one should be up front about this, to avoid confusing those readers who know about model categories already and might imagine that you are building one.</p> <p>Of course, it may be that in the example you're considering, there really is a model category structure somewhere...</p> http://mathoverflow.net/questions/101984/terminology-generalizing-quasi-isomorphism/101992#101992 Answer by Mike Shulman for Terminology generalizing "quasi-isomorphism" Mike Shulman 2012-07-11T21:32:14Z 2012-07-11T21:32:14Z <p>I don't think this is completely standard, so if I were going to use it I would explain it first, but a natural possibility is "$\mathcal{F}$-isomorphism" (-monomorphism, -epimorphism). </p> <p>Quasi-isomorphisms are in fact sometimes called <code>$H_*$</code>-isomorphisms, and similarly maps inducing isomorphisms on homotopy groups are sometimes called <code>$\pi_*$</code>-isomorphisms (the main example of this usage that I can think of is for symmetric spectra, where <code>$\pi_*$</code>-isomorphisms are not the same as stable equivalences and thus need their own name).</p>