From: Claudio Hermida <hermida@maths.usyd.edu.au>
To: categories@mta.ca
Subject: preprint: Representable Multicategories
Date: Tue, 22 Jun 1999 15:53:36 +1000 [thread overview]
Message-ID: <376F24E0.2781@maths.usyd.edu.au> (raw)
The preprint `Representable multicategories' is available at
http://www.maths.usyd.edu.au:8000/u/hermida
Abstract: We introduce the notion of representable multicategory,
which stands in the same relation to that of monoidal category as
fibration does to contravariant pseudofunctor (into Cat). We give an
abstract reformulation of multicategories as monads in a suitable Kleisli
bicategory of spans. We describe representability in elementary terms via
universal arrows. We also give a doctrinal characterisation of
representability based on a fundamental monadic adjunction between the
2-category of multicategories and that of strict monoidal categories. The
first main result is the coherence theorem for representable
multicategories, asserting their equivalence to strict ones, which we
establish via a new technique based on the above doctrinal
characterisation. The other main result is a 2-equivalence between the
2-category of representable multicategories and that of monoidal
categories and strong monoidal functors. This correspondence extends
smoothly to one between bicategories and a localised version of
representable multicategories.
--
Claudio Hermida
School of Mathematics and Statistics F07,
University of Sydney,
Sydney, NSW 2006,
Australia
reply other threads:[~1999-06-22 5:53 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=376F24E0.2781@maths.usyd.edu.au \
--to=hermida@maths.usyd.edu.au \
--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).