From: jean benabou <jean.benabou@wanadoo.fr>
To: Categories <categories@mta.ca>
Subject: Re: horizontal composition
Date: Tue, 31 Jan 2006 20:22:16 +0100 [thread overview]
Message-ID: <E3A5AF61-928E-11DA-9EE6-000393B90F2C@wanadoo.fr> (raw)
I thought I had invented bicategories in 1967, and that, at the very
beginning of the paper, in §1, I had defined the two composition laws
and drawn pictures to explain them. Of course I denoted by capital
letters the 1-cells, thinking of functors, and by small letters the
2-cells, thinking of natural transformations. That certainly makes a
tremendous difference with Susan Niefield's notation who uses the
converse convention and amply justifies Marco Grandis in giving
references dated 1994 and 1996, i.e. more than 25 years posterior to my
original paper.
With best regards
>
> You can find the strict version of that result in Prop. 1.4 of
>
> - M. Grandis, Homotopical algebra in homotopical categories, Appl.
> Categ.
> Structures 2 (1994), 351-406.
>
> I do not know if it has been written down elsewhere.
>
> For sure, whiskering of natural transformations with functors is used
> in:
>
> - R. Street, Categorical structures, in: Handbook of Algebra, Vol. 1,
> 529-577,
> North Holland, Amsterdam 1996.
>
> where you can find the notion of a sesqui-category (which does not
> assume the
> "reduced interchange axiom" you are mentioning).
>
> With best regards
>
> M. Grandis
>
>>
>> Does anyone know of a reference for the following definition of a
>> bicategory? The primitive composites are:
>>
>> gf for composable 1-cells
>> GF for vertically composable 2-cells
>> f*G and F*g for horizontally composable pairs of each
>>
>> with appropriate axioms including (G*f')(g*F)=(g'*F)(G*f), for
>> F:f->f':X->Y and G:g->g':Y->Z. The horizontal composite G*F is
>> defined to
>> be the common value of the two vertical composites.
>>
>> -Susan
>
>
>
next reply other threads:[~2006-01-31 19:22 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-01-31 19:22 jean benabou [this message]
-- strict thread matches above, loose matches on Subject: below --
2006-02-02 7:15 Marco Grandis
2006-01-31 12:53 grandis
2006-01-27 16:17 Susan Niefield
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=E3A5AF61-928E-11DA-9EE6-000393B90F2C@wanadoo.fr \
--to=jean.benabou@wanadoo.fr \
--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).