From: "Ronald Brown" <ronnie@ll319dg.fsnet.co.uk>
To: <categories@mta.ca>
Subject: Re: Terminology question wrt fibrations of categories.
Date: Wed, 7 Dec 2005 18:21:52 -0000 [thread overview]
Message-ID: <004f01c5fb7d$ba746080$6764893e@brown1> (raw)
In-Reply-To: <Pine.LNX.4.44.0512070902410.24779-100000@siskin.dpmms.cam.ac.uk>
Thanks for these comments.
I was mainly investigating the acceptance of these terms by the categorical
community, to decide if I should change for the new edition of my old book.
I agree with Paul's comments to me personally that it is a good idea to
avoid overworked terms (like `universal').
The issue is that for a morphism f: G \to H of groupoids, the notion of
quotient introduced by Philip Higgins, namely if f is full and Ob(f) is
surjective, is fine. The other important notion is that f comes from an
identification of objects, which in Paul's terminology would be supine
(w.r.t. the opfibration Ob: Gpds \to Sets). More vivid would be H is a
0-identification of G, that is the groupoid H is then obtained from G by an
identification of objects. It would tie in with other situations to say that
H is induced from G by Ob(f).
There is a good case for not introducing new words.
Ronnie
----- Original Message -----
From: "Prof. Peter Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>
To: "Ronald Brown" <ronnie@ll319dg.fsnet.co.uk>
Cc: <categories@mta.ca>
Sent: Wednesday, December 07, 2005 9:05 AM
Subject: Re: categories: Terminology question wrt fibrations of categories.
> On Tue, 6 Dec 2005, Ronald Brown wrote:
>
> > on the other hand Paul Taylor, following Peter Johnstone, I understand,
uses
> > \phi is prone, supine, instead of cartesian, cocartesian
> >
> `Prone' and `supine' were invented by Paul Taylor; I copied them from him,
> not the other way round. I'm sorry Ronnie doesn't like them; they seem to
> me a very neat way of finding two words that both mean `lying
> horizontally' but have an opposite handedness about them.
>
> Peter Johnstone
>
>
>
prev parent reply other threads:[~2005-12-07 18:21 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-12-06 18:06 Ronald Brown
2005-12-07 9:05 ` Prof. Peter Johnstone
2005-12-07 18:21 ` Ronald Brown [this message]
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='004f01c5fb7d$ba746080$6764893e@brown1' \
--to=ronnie@ll319dg.fsnet.co.uk \
--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).