From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2041
Path: news.gmane.org!not-for-mail
From: Oswald Wyler <owyler@suscom-maine.net>
Newsgroups: gmane.science.mathematics.categories
Subject: Reference wanted
Date: Thu, 6 Dec 2001 09:00:12 -0500 (EST)
Message-ID: <Pine.LNX.4.33.0112060853160.1391-100000@193-235.suscom-maine.net>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: ger.gmane.org 1241018363 2169 80.91.229.2 (29 Apr 2009 15:19:23 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:19:23 +0000 (UTC)
To: <categories@mta.ca>
Original-X-From: rrosebru@mta.ca Thu Dec  6 17:03:38 2001 -0400
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Thu, 06 Dec 2001 17:03:38 -0400
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 3.33 #2)
	id 16C5bV-0000wP-00
	for categories-list@mta.ca; Thu, 06 Dec 2001 16:58:49 -0400
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 14
Original-Lines: 10
Xref: news.gmane.org gmane.science.mathematics.categories:2041
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2041>

I'm sure that the following is known, but I've never seen it in print.
Does someone have a reference for it?

Proposition.  Let U be a monadic functor, in the sense of Mac Lane's CWM.
If U factors U=HG with H faithful and amnestic, and G having a left adjoint,
then G is monadic.