10 Oct
2015
10 Oct
'15
12:27 a.m.
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/ ]