From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9103 Path: news.gmane.org!.POSTED!not-for-mail From: Jean Benabou Newsgroups: gmane.science.mathematics.categories Subject: Terminology Date: Wed, 8 Feb 2017 09:03:25 +0100 Message-ID: Reply-To: Jean Benabou NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (Apple Message framework v936) Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1486569392 29014 195.159.176.226 (8 Feb 2017 15:56:32 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 8 Feb 2017 15:56:32 +0000 (UTC) To: Categories Original-X-From: majordomo@mlist.mta.ca Wed Feb 08 16:56:26 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cbUba-0007Ec-Ij for gsmc-categories@m.gmane.org; Wed, 08 Feb 2017 16:56:26 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:36017) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1cbUWo-00058t-T0; Wed, 08 Feb 2017 11:51:30 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1cbUWK-0002c1-4R for categories-list@mlist.mta.ca; Wed, 08 Feb 2017 11:51:00 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9103 Archived-At: Dear all, I'm sure the following question has been answered to. Could anyone give me a precise answer and references to this answer. Many thanks. QUESTION Let p: S --> X be a functor. What conditions should satisfy p to be called a structure functor, i.e. such that every object s of S can be thought of as a structure on the object p(s). [For admin and other information see: http://www.mta.ca/~cat-dist/ ]