categories - Category Theory list
 help / color / mirror / Atom feed
From: JeanBenabou <jean.benabou@wanadoo.fr>
To: Categories <categories@mta.ca>
Subject: "Historical terminology"
Date: Fri, 5 Oct 2007 16:52:40 +0200	[thread overview]
Message-ID: <E1IeLXh-0003Bi-OJ@mailserv.mta.ca> (raw)

Dear colleagues

I need your help for the following questions:

(i) Who gave the name of "cartesian"  to categories with finite
limits? When was this name given? What is the first published paper
where this name occurs?
(ii) Same questions for "cartesian closed"
(iii) Same questions again for "locally cartesian closed". Moreover,
in this case, does the precise definition imply that such a category
has a terminal object?

Thanks for your help,

Jean
--Apple-Mail-1-687879601
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=ISO-8859-1

<HTML><BODY style=3D"word-wrap: break-word; -khtml-nbsp-mode: space; =
-khtml-line-break: after-white-space; ">Dear colleagues=A0<DIV><BR =
class=3D"khtml-block-placeholder"></DIV><DIV>I need your help for the =
following questions:</DIV><DIV><BR =
class=3D"khtml-block-placeholder"></DIV><DIV><SPAN =
class=3D"Apple-style-span">(i) Who gave the name of =
<I>"cartesian"=A0</I>=A0to categories with finite limits? When was this =
name given? What is the first <I>published </I>paper where this name =
occurs?</SPAN></DIV><DIV><SPAN class=3D"Apple-style-span">(ii) Same =
questions for <I>"cartesian closed"</I></SPAN></DIV><DIV><SPAN =
class=3D"Apple-style-span">(iii) Same questions again for <I>"locally =
cartesian closed". </I>Moreover, in this case, does the <I>precise =
</I>definition imply that such a category has a terminal =
object?</SPAN></DIV><DIV><BR =
class=3D"khtml-block-placeholder"></DIV><DIV>Thanks for your =
help,</DIV><DIV><BR =
class=3D"khtml-block-placeholder"></DIV><DIV>Jean</DIV></BODY></HTML>=

--Apple-Mail-1-687879601--





             reply	other threads:[~2007-10-05 14:52 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-10-05 14:52 JeanBenabou [this message]
2007-10-07  7:48 JeanBenabou
2007-10-07 21:49 Prof. Peter Johnstone
2007-10-08  0:12 Vaughan Pratt
2007-10-08 18:18 Vaughan Pratt

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1IeLXh-0003Bi-OJ@mailserv.mta.ca \
    --to=jean.benabou@wanadoo.fr \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
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).