Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
Let B and C be bicategories. Does there exist a “cylinder object”, a bicategory Cyl(C) with a strict homomorphism Cyl(C)→C×C, with the following properties: (1) homomorphisms B→Cyl(C) are the same as pseudo-natural transformations between homomorphisms and (2) strict homomorphisms B→Cyl(C) are the same as strict natural transformations between strict homomorphisms?
If so where could I read about this? Benabou has something like this in the end of his paper on Bicategories, but he doesn’t show these properties and I haven’t had time to tease out whether these properties hold. This should be well known, I would think. I just don’t know where to look.
I think what you describe would be a cocylinder or path object, not a cylinder object. But I think the answer is no to what you suggest, because the objects of Cocyl(C) must be morphisms in C, and strictness of a natural transformation represented as a functor into Cocyl(C) is going to have to do with whether or not the morphisms in Cocyl(C) are strictly or pseudo-ly commutative squares, not whether the functor into Cocycl(C) is itself strict.
1 to 2 of 2