From: Reiko Heckel <reiko@uni-paderborn.de>
To: Categories Mailing List <categories@mta.ca>
Subject: Kleisli bi-categories
Date: Wed, 05 May 1999 10:22:24 +0200 [thread overview]
Message-ID: <372FFFC0.60201EB2@uni-paderborn.de> (raw)
Dear Category Theorists,
I'm looking for a reference on the following bi-categorical variant of
the construction of Kleisli categories.
Start from a pseudo-free construction $F$ between (2-)categories $\cat
C$ and $\cat D$. In the case I'm interested in, $F$ arises from a finite
cocompletion. For example, $\cat C$ is the category of small categories
and $\cat D$ is the category of small categories with finite colimits.
Constructing (in the usual way) the Kleisli category $\cat K$ for $F$
leads to a bi-category since the universal property used to define the
composition in $\cat K$ holds only up to a unique natural isomorphism.
Then, there exists a (unique?) homomorphism of bi-categories $G: \cat K
\to \cat D$ which commutes with the obvious embedding of $\cat C$ into
$\cat K$ and (the pseudo functor induced by) $F$.
I understand that pseudo-free constructions of the above kind can be
axiomatized by means of Kock-Zoeberlein (KZ) monads. Thus, any reference
on Kleisli-like constructions for KZ monads would do.
For me, it was simpler to work directly with the universal properties,
in particular since all the coherence laws are automatic.
Any hints or references to relevant literature would be much
appreciated.
Best regards,
Reiko Heckel.
--
Reiko Heckel E-Mail:reiko@uni-paderborn.de
Univ. GH Paderborn, FB 17 Tel: ++49-05251-60-3356
Warburger Str. 100, E4.130 Fax: ++49-05251-60-3431
33098 Paderborn, Germany
reply other threads:[~1999-05-05 8:22 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=372FFFC0.60201EB2@uni-paderborn.de \
--to=reiko@uni-paderborn.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).