From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9905 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: "Harley D. Eades III" Newsgroups: gmane.science.mathematics.categories Subject: Help with references Date: Wed, 8 May 2019 16:26:20 -0400 Message-ID: Reply-To: "Harley D. Eades III" Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="30286"; mail-complaints-to="usenet@blaine.gmane.org" To: "categories@mta.ca list" Original-X-From: majordomo@mlist.mta.ca Thu May 09 21:10:19 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hOoQs-0007i6-6w for gsmc-categories@m.gmane.org; Thu, 09 May 2019 21:10:18 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:46305) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hOoRW-0002nS-1p; Thu, 09 May 2019 16:10:58 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hOoPA-0004iv-Lo for categories-list@mlist.mta.ca; Thu, 09 May 2019 16:08:32 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9905 Archived-At: Hi, everyone. I am having a bit of trouble digging up references to endofunctors with the following property: Hom(F(A (x) B),C) = Hom(A, F(A) => C) where * => * is the internal hom. I am interested in work where this property is induced by additional structure, but even more interested in ones where this is not induced and is an axiom. The functor I am working with is a comonad, but I am interested in more than just comonads. Thanks, Harley [For admin and other information see: http://www.mta.ca/~cat-dist/ ]