From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2508
Path: news.gmane.org!not-for-mail
From: Jiri Rosicky <rosicky@math.muni.cz>
Newsgroups: gmane.science.mathematics.categories
Subject: re: question about lambda-filtered colimits
Date: Tue, 2 Dec 2003 16:42:02 +0100
Message-ID: <20031202154202.GA19936@queen.math.muni.cz>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-2
X-Trace: ger.gmane.org 1241018712 4491 80.91.229.2 (29 Apr 2009 15:25:12 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:25:12 +0000 (UTC)
To: cat-dist@mta.ca
Original-X-From: rrosebru@mta.ca Tue Dec  2 14:11:00 2003 -0400
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Tue, 02 Dec 2003 14:11:00 -0400
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
	id 1AREve-00066Y-00
	for categories-list@mta.ca; Tue, 02 Dec 2003 14:07:18 -0400
Content-Disposition: inline
User-Agent: Mutt/1.4.1i
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 2
Original-Lines: 37
Xref: news.gmane.org gmane.science.mathematics.categories:2508
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2508>

The proof can be found in the paper
J.Adamek, H.Herrlich, J.Rosicky, W.Tholen, On a generalized small-object
argument for the injective subcategory problem, Cah. Top. Geom. Diff.
Cat. XLIII (2002), 83-106.

----- Forwarded message from Gaucher Philippe <gaucher@pps.jussieu.fr> -----

>
>
> Dear category theorists
>
>
> I would be interested in knowing a proof of the following fact (due to J.
> Smith):
>
> "In a combinatorial model category M (i.e. a locally presentable cofibrantly
> generated model category), there are functorial factorizations of a map into
> a trivial cofibration followed by a fibration which preserve lambda-filtered
> colimits for sufficiently large regular cardinals lambda. The same is true
> for the factorizations as a cofibration followed by a trivial fibration."
>
> As far as I know about the proof, it suffices to apply the small object
> argument step-by-step and then to use some property of lambda-filtered
> colimits. The only property I know close to the problem is that a
> lambda-filtered colimits of lambda-presentable objects is lambda-presentable.
> But the underlying diagram of a pushout is not lambda-filtered. So I dont
> understand...
>
> Thanks in advance. pg.
>
>
>
>

----- End forwarded message -----