* concrete functors between categories of algebras
@ 2000-07-12 14:53 Claus Juergensen
0 siblings, 0 replies; only message in thread
From: Claus Juergensen @ 2000-07-12 14:53 UTC (permalink / raw)
To: categories
Let C be a category and F, G : C -> C be endo-functors.
I denote the category of all F-algebras by Alg_C F and
the canonical forgettable functor by U_F : Alg_C F -> C.
I'm interested in concrete functors
H : Alg_C F -> Alg_C G
where `concrete' indicates the property
U_F = U_G . H
Does anybody know about such functors?
Thanks for any help/references!
Claus
--------------------------------------------------------------------------------
Dipl.-Math. Claus Juergensen | Technische Universitaet Dresden
e-mail: claus@orchid.inf.tu-dresden.de | Fakultaet Informatik
phone: +49 (0)3 51 46 3 - 82 53 | Institut fuer Theoretische Informatik
Lehrstuhl Grundlagen der Programmierung | D-01062 Dresden
http://orchid.inf.tu-dresden.de/gdp/ | Germany
--------------------------------------------------------------------------------
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2000-07-12 14:53 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-07-12 14:53 concrete functors between categories of algebras Claus Juergensen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).