categories - Category Theory list
 help / color / mirror / Atom feed
From: tholen@mathstat.yorku.ca
To: Sebastian Kerkhoff <Sebastian_kerkhoff@gmx.de>
Cc: Categories <categories@mta.ca>, tholen@mathstat.yorku.ca
Subject: Re: Dualities arising via pairs of schizophrenic objects
Date: Sat, 26 Nov 2011 11:45:33 -0500	[thread overview]
Message-ID: <E1RUfg2-00028X-BJ@mlist.mta.ca> (raw)
In-Reply-To: <E1RTfWQ-0007k7-Bp@mlist.mta.ca>

Dear Sebastian,

Here is an elementary categorical introduction to dualities for the
"working mathematician" which you may like to have a look at for the
purpose of preparing your course:

H.-E. Porst, W. Tholen: Concrete dualities. In: Research and Exposition
in Mathematics 18 (Heldermann Verlag, Berlin 1991), pp 111-136.

Best wishes,

Walter


Quoting Sebastian Kerkhoff <Sebastian_kerkhoff@gmx.de>:

>   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/ ]


  parent reply	other threads:[~2011-11-26 16:45 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-11-24 16:06 Sebastian Kerkhoff
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 [this message]
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=E1RUfg2-00028X-BJ@mlist.mta.ca \
    --to=tholen@mathstat.yorku.ca \
    --cc=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).