From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8719 Path: news.gmane.org!not-for-mail From: Michael Barr Newsgroups: gmane.science.mathematics.categories Subject: Re: terminology of (co)algebras Date: Fri, 9 Oct 2015 14:06:08 -0400 (EDT) Message-ID: References: Reply-To: Michael Barr NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1444486956 28146 80.91.229.3 (10 Oct 2015 14:22:36 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 10 Oct 2015 14:22:36 +0000 (UTC) Cc: categories net To: Jiri Adamek Original-X-From: majordomo@mlist.mta.ca Sat Oct 10 16:22:24 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Zkv2V-0002ns-AU for gsmc-categories@m.gmane.org; Sat, 10 Oct 2015 16:22:23 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:44005) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Zkv1P-0000vI-Od; Sat, 10 Oct 2015 11:21:15 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Zkv1Q-0006oK-7o for categories-list@mlist.mta.ca; Sat, 10 Oct 2015 11:21:16 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8719 Archived-At: I am not sure if I was the first, but I defined T-algebras for an endofunctor T in my paper, Coequalizers and free triples. You can find it at http://www.math.mcgill.ca/barr/papers/#1970s, it being my first 1970s paper. As the name suggests, the category of T-algebras is often tripleable. Michael ----- Original Message ----- From: "Jiri Adamek" To: "categories net" Sent: Friday, October 9, 2015 9:27:54 AM Subject: categories: terminology of (co)algebras Does anyone know who was the first author to speak about F-algebras and/or F-coalgebras where F is a mere endofunctor? Lambek proved his famous lemma without using any name for the objects. And Arbib and Manes proved a number of properties but used the word "F-dynamics". Thanks Jiri [For admin and other information see: http://www.mta.ca/~cat-dist/ ] [For admin and other information see: http://www.mta.ca/~cat-dist/ ]