categories - Category Theory list
 help / color / mirror / Atom feed
From: Sebastian Kerkhoff <Sebastian_kerkhoff@gmx.de>
To: Categories <categories@mta.ca>
Subject: Dualities arising via pairs of schizophrenic objects
Date: Thu, 24 Nov 2011 17:06:04 +0100	[thread overview]
Message-ID: <E1RTfWQ-0007k7-Bp@mlist.mta.ca> (raw)

   Dear all,

I have a short and probably very simple question (and I apologize for it
in advance):

I believe it is a well-known fact that a potential duality arises when a
single object essentially lives in two different categories. Famous
examples for such objects and such dualities are the Gelfand-Duality
(where this object is the space of complex numbers, once as a
topological space and once as an algebraic structure) or the Stone
Duality (where this object is the two-element lattice, once as a Boolean
algebra and once as a bounded poset with discrete topology).

As far as I know (correct me if am wrong), people started to call these
objects "schizophrenic objects" after this term was introduced by Harold
Simmons in 1982. What I would like to know is the following: Could
anybody provide me with a few lines about the historical development of
this principle? I know that John Isbell is often cited as a source
(however, my impression is that people are not entirely sure), and I
have also heard that Peter Freyd was supposedly the first who studied
these kind of dual adjunctions systematically (proving that such
constructions are often essentially the only way to create dual
adjunctions between two categories).

In case you are interested, I can also provide you with the reason for
my question: I am giving a (small) course about duality theory in
Dresden, and since most of my students are very interested in universal
algebra, the course also covers the theory of natural dualities
developed by Brian Davey and his various co-authors (it is a theory that
tries to generalize the Stone duality to other algebraic structures).
However, I would like to point out to the students that the principle of
schizophrenic objects is not only a convenient ad-hoc construction for
such natural dualities, but actually a much more general principle that
gives rise to many other dualities (which will be covered in the course
in much less detail). For that, I would like to provide the students
with some historical development of this idea, which I obviously cannot
do as long as I am not at all sure about it myself. Plus, I am also
personally very interested in some background information about this
"schizophrenic" idea.

Thank you very much.

Best regards,
Sebastian Kerkhoff

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


             reply	other threads:[~2011-11-24 16:06 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-11-24 16:06 Sebastian Kerkhoff [this message]
2011-11-24 20:33 ` Tom Leinster
2011-11-25 14:38   ` Robert Dawson
2011-11-26 16:07     ` Eduardo J. Dubuc
2011-11-25  4:10 ` Ross Street
2011-11-26 16:45 ` tholen
2011-11-28 20:12   ` Vaughan Pratt
2011-11-29 23:37     ` David Roberts
2011-12-07  5:48     ` Dusko Pavlovic
2011-12-07 13:58       ` Michael Barr
2011-12-07 17:58       ` Jocelyn Ireson-Paine
2011-11-26  7:39 Fred E.J. Linton
2011-11-27 15:25 ` Graham White
2011-11-28 17:04   ` Jocelyn Ireson-Paine
2011-11-26 15:06 Fred E.J. Linton
2011-11-27 15:43 ` Todd Trimble
2011-11-28  6:18 Fred E.J. Linton
2011-11-28 14:00 ` Robert Dawson
2011-12-02 15:59 Fred E.J. Linton
2011-12-04 14:25 ` Jean Benabou
2011-12-07 13:39 Valeria de Paiva

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=E1RTfWQ-0007k7-Bp@mlist.mta.ca \
    --to=sebastian_kerkhoff@gmx.de \
    --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).