categories - Category Theory list
 help / color / mirror / Atom feed
From: Koslowski <koslowj@iti.cs.tu-bs.de>
To: categories@mta.ca (categories list)
Subject: paper announcement
Date: Mon, 1 Feb 1999 01:00:07 +0100 (MET)	[thread overview]
Message-ID: <199902010000.BAA28439@lisa.iti.cs.tu-bs.de> (raw)

A heavily revised version of my paper "Beyond the Chu-construction"
is now available from my home page:

	http://www.iti.cs.tu-bs.de/~koslowj/RESEARCH/

It will eventually be published in Applied Categorical Structures.
I have not attempted to attribute the term "dualizing object" to anyone
in particular.  The open problem of an earlier version, as to whether
Cauchy-complete bicategories of interpolads inherit local *-autonomy 
from their base, has been answered affirmatively.  

Here is the abstract:


  Starting from symmetric monoidal closed (= autonomous) categories,
  Po-Hsiang Chu showed how to construct new *-autonomous categories,
  i.e., autonomous categories that are self-dual because of a
  dualizing object.  Recently, Michael Barr extended this to the
  non-symmetric, but closed, case, utilizing monads and modules
  between them.  Since these notions are well-understood for
  bicategories, we introduce a notion of local *-autonomy for these
  that implies closedness and, moreover, is inherited when forming
  bicategories of monads and of interpolads.  Since the initial step
  of Barr's construction also carries over to the bicategorical
  setting, we recover his main result as an easy corollary.
  Furthermore, the Chu-construction at this level may be viewed as a
  procedure for turning the endo-1-cells of a closed bicategory into
  the objects of a new closed bicategory, and hence conceptually is
  similar to constructing bicategories of monads and of interpolads.


Best regards,

-- J"urgen

-- 
J"urgen Koslowski       % If I don't see you no more in this world
ITI                     % I meet you in the next world
TU Braunschweig         % and don't be late!
koslowj@iti.cs.tu-bs.de %              Jimi Hendrix (Voodoo Child)



             reply	other threads:[~1999-02-01  0:00 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-02-01  0:00 Koslowski [this message]
  -- strict thread matches above, loose matches on Subject: below --
1999-11-12 14:05 Paper announcement Luca Cattani
1999-10-01 18:30 paper announcement Fabio Gadducci
1999-09-15 23:02 Michael MAKKAI
1999-07-31  4:45 Paper announcement Peter Selinger
1999-01-20 12:28 Paper Announcement Alex Simpson
1999-01-06 18:04 Alex Simpson

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=199902010000.BAA28439@lisa.iti.cs.tu-bs.de \
    --to=koslowj@iti.cs.tu-bs.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).