<div>Not sure I like having the upper case on Morphism in EndoMorphism. Endo is a prefix, not a word. and and Endomorphism is a bit scary and long.</div>
<div> </div>
<div>Isaac's CatEndo suggestion seems relatively innocuous though. (CFunctor, CMonad, etc. in category-extras Control.Functor.Categorical where all originally CatFunctor, etc.)<br></div>
<div>-Edward Kmett<br></div>
<div class="gmail_quote">On Wed, Jul 8, 2009 at 4:18 PM, <span dir="ltr"><<a href="mailto:roconnor@theorem.ca">roconnor@theorem.ca</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">
<div class="im">On Wed, 8 Jul 2009, Edward Kmett wrote:<br><br></div>
<div class="im">
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">Yeah, it would probably have to have a new name because it does have a different kind than the existing<br>
Endo. GEndo was the best I could come up with that didn't sound verbose (GeneralizedEndo, CategoricalEndo)<br>or like it was naming the wrong thing (EndoCategory). I'm not wedded to the name by any means.<br><br>Note: a type synonym,<br>
<br>> type Endo = GEndo (->)<br><br>like you mentioned would work, but has the downside that it may require clients that provided instances for<br>Endo to add TypeSynonymInstances where they previously hadn't and I'm not sure how folks would feel about<br>
that.<br></blockquote><br></div>Oh, that is a quite a downside. I wonder if we can get cabal stats on this without difficulty.<br><br>As for the name, I'd be happy with the EndoMorphism suggestion given. Although it is a bit longish. I'd also be happy with EndoMorph.
<div>
<div></div>
<div class="h5"><br><br>-- <br>Russell O'Connor <<a href="http://r6.ca/" target="_blank">http://r6.ca/</a>><br>``All talk about `theft,''' the general counsel of the American Graphophone<br>
Company wrote, ``is the merest claptrap, for there exists no property in<br>ideas musical, literary or artistic, except as defined by statute.''<br>_______________________________________________<br>Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br></div>
</div></blockquote></div><br>