From: Jeff Egger <jeffegger@yahoo.ca>
To: "Joyal, André" <joyal.andre@uqam.ca>, categories@mta.ca
Subject: Re: A challenge to all
Date: Tue, 12 Jan 2010 17:02:35 -0800 (PST) [thread overview]
Message-ID: <E1NV5D1-0002pn-CA@mailserv.mta.ca> (raw)
In-Reply-To: <E1NUq5m-0004Mh-UB@mailserv.mta.ca>
Dear André,
I do not understand the point of your "test".
What Bob Paré said, and which I agree with, is that equality
is "okay" for small categories. And as Paul Taylor wrote,
by "small" what one really means is "internal".
So, of course, it makes sense that V-internal categories
(where V is a not-necessarily-braided monoidal category with
distributive coreflexive equalisers) should have a comonoid
of objects.
But this in no way contradicts the assertion that _large_
categories should not have an equality relation between
objects---internal categories are tautologously small!
Not being as familiar with indexed categories/fibrations as
I ought to be, I tend to think of large categories in terms
of enriched category theory. Here, we see very clearly that
the collection of objects has nothing whatsoever to do with
the enriching category V, and this is as it should be.
In fact, I suppose that it probably would make sense to
generalise enriched categories by taking a (large) groupoid
of objects (and _canonical_ isos, in the spirit of Paré and
Schumacher) instead of a mere class. I don't know if this
has ever been done.
My main point is that you are right in asserting that a set
without an equality relation is not a set. But the exact
meaning of large category is one whose objects do not
necessarily form a set!
Morally speaking, "set" does mean "collection that has an
equality predicate", but this leaves open the possibility
that there are collections which do not have such a
predicate, and which are therefore not sets. These suffice
for the purpose of large category theory---for example, they
suffice for the purpose of enriched categories; moreover,
FOLDS is explicitly based on these principles.
Cheers,
Jeff.
----- Original Message ----
> From: "Joyal, André" <joyal.andre@uqam.ca>
> To: categories@mta.ca
> Sent: Tue, January 12, 2010 4:24:39 PM
> Subject: categories: A challenge to all
>
> Dear All,
>
> I cannot imagine a category without an equality relation between the objects of
> this category.
> Ok, I may have been brainwashed by my training in mathematics at an early age.
> But more seriously, I think that the equality relation is inseparable
> from the idea of a set. I do not understand what a preset is:
>
> http://ncatlab.org/nlab/show/preset
>
> Two things are equal if they are the same, if they coincide (whatever that
> mean!).
> Without this notion, an element of a set has no identity, no individuality.
> Of course, a set is often constructed from other sets,
> as in arithmetic with congruence classes.
> I am fully aware that the equality relation between the objects of a
> category is not preserved by equivalences in general.
> But the art of category theory consists partly in knowing
> which construction on the objects and arrows of
> a category is invariant under equivalences.
>
> I would like to propose a test for verifying if the
> notion of category can be freed from the equality relation
> on its set of objects. The equality relation on an ordinary
> set S is defined by the diagonal S-->S times S.
> The objects of a symmetric monoidal category have no diagonal in general,
> ie no coalgebra structure.
>
> The test: Can we define a notion of category internal to
> a symmetric monoidal category without using a coalgebra structure
> on the object of objects?
>
>
> Best, André
>
>
>
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next prev parent reply other threads:[~2010-01-13 1:02 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-01-03 7:23 the definition of "evil" Peter Selinger
2010-01-03 17:10 ` Claudio Hermida
2010-01-03 17:53 ` John Baez
2010-01-04 17:14 ` Michael Shulman
2010-01-04 9:24 ` Urs Schreiber
2010-01-05 20:04 ` dagger not evil Joyal, André
2010-01-06 8:40 ` Toby Bartels
2010-01-07 5:50 ` Peter Selinger
2010-01-08 0:45 ` Joyal, André
[not found] ` <B3C24EA955FF0C4EA14658997CD3E25E370F5672@CAHIER.gst.uqam.ca>
[not found] ` <B3C24EA955FF0C4EA14658997CD3E25E370F5673@CAHIER.gst.uqam.ca>
2010-01-09 3:29 ` equality is beautiful Joyal, André
2010-01-10 17:17 ` Steve Vickers
[not found] ` <B3C24EA955FF0C4EA14658997CD3E25E370F5677@CAHIER.gst.uqam.ca>
2010-01-12 10:25 ` A challenge to all Steve Vickers
2010-01-12 16:24 ` Joyal, André
2010-01-13 0:03 ` David Roberts
2010-01-13 0:47 ` burroni
[not found] ` <B3C24EA955FF0C4EA14658997CD3E25E370F5688@CAHIER.gst.uqam.ca>
[not found] ` <B3C24EA955FF0C4EA14658997CD3E25E370F568B@CAHIER.gst.uqam.ca>
[not found] ` <B3C24EA955FF0C4EA14658997CD3E25E370F568D@CAHIER.gst.uqam.ca>
[not found] ` <B3C24EA955FF0C4EA14658997CD3E25E370F568F@CAHIER.gst.uqam.ca>
2010-01-15 19:33 ` Joyal, André
2010-01-20 5:52 ` Michael Shulman
2010-01-13 1:02 ` Jeff Egger [this message]
2010-01-13 2:28 ` Michael Shulman
2010-01-13 20:53 ` equality Dusko Pavlovic
2010-01-14 14:23 ` equality Colin McLarty
2010-01-13 23:43 ` A challenge to all Peter LeFanu Lumsdaine
2010-01-15 19:40 ` Thomas Streicher
2010-01-10 19:54 ` equality is beautiful Vaughan Pratt
2010-01-11 2:26 ` Richard Garner
2010-01-13 11:53 ` lamarche
2010-01-13 21:29 ` Michael Shulman
[not found] ` <B3C24EA955FF0C4EA14658997CD3E25E370F565E@CAHIER.gst.uqam.ca>
2010-01-06 15:44 ` dagger not evil (2) Joyal, André
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=E1NV5D1-0002pn-CA@mailserv.mta.ca \
--to=jeffegger@yahoo.ca \
--cc=categories@mta.ca \
--cc=joyal.andre@uqam.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).