Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorMike Shulman
   • CommentTimeNov 4th 2009
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownCreated [[Ho(Cat)]], mainly as a place to put a counterexample showing that it doesn't have pullbacks. If anyone has a simpler one, please contribute it.

   Created Ho(Cat), mainly as a place to put a counterexample showing that it doesn't have pullbacks. If anyone has a simpler one, please contribute it.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeNov 4th 2009
   • (edited Nov 4th 2009)
   • PermaLink
   Author: Urs
   Format: TextThanks. I would just ask that we specify the first sentence a bit further. You are thinking of the (how is it called?) "trivial homotopical structure" (weak equivalences are precisely the isos) as opposed to some other model structure. We should say that explicitly, because there are good reasons to imagine something different when seeing the symbols Ho(Cat).

   Thanks.
   
   I would just ask that we specify the first sentence a bit further. You are thinking of the (how is it called?) "trivial homotopical structure" (weak equivalences are precisely the isos) as opposed to some other model structure. We should say that explicitly, because there are good reasons to imagine something different when seeing the symbols Ho(Cat).
3. • CommentRowNumber3.
   • CommentAuthorTodd_Trimble
   • CommentTimeNov 4th 2009
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownWhat are your desiderata for such counterexamples? For example, the category of nonempty finite sets doesn't admit all pullbacks. Nor does the category of smooth manifolds.

   What are your desiderata for such counterexamples? For example, the category of nonempty finite sets doesn't admit all pullbacks. Nor does the category of smooth manifolds.

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeNov 4th 2009
   • PermaLink
   Author: Mike Shulman
   Format: Markdown@Urs: No, the weak equivalences are the equivalences of categories. @Todd: I meant a counterexample to the existence of pullbacks in Ho(Cat) specifically. (I had a reason to want to show someone a counterexample like that, so I thought I might as well record it in case anyone else wanted it.) I know there are lots of *other* categories that don't have pullbacks!

   @Urs: No, the weak equivalences are the equivalences of categories.

   @Todd: I meant a counterexample to the existence of pullbacks in Ho(Cat) specifically. (I had a reason to want to show someone a counterexample like that, so I thought I might as well record it in case anyone else wanted it.) I know there are lots of other categories that don't have pullbacks!

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeNov 4th 2009
   • (edited Nov 4th 2009)
   • PermaLink
   Author: Urs
   Format: Textoh, sorry, I didn't read correctly. I was in a haste

   oh, sorry, I didn't read correctly. I was in a haste
6. • CommentRowNumber6.
   • CommentAuthorZhen Lin
   • CommentTimeAug 29th 2013
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexThe article states without citation that > Any $Ho(Cat)$-category which is equivalent, as a $Ho(Cat)$-category, to a bicategory, is itself in fact a bicategory. but is this really so trivial? More precisely, let $\mathcal{C}$ be a $Ho(Cat)$-enriched category, let $\mathfrak{D}$ be a bicategory, let $\mathcal{D}$ be the $Ho(Cat)$-enriched category underlying $\mathfrak{D}$, and suppose $F : \mathcal{C} \to \mathcal{D}$ is a $Ho(Cat)$-enriched equivalence. Then, is there a bicategory $\mathfrak{C}$ whose underlying $Ho(Cat)$-enriched category is not just _isomorphic_ to $\mathcal{C}$ but _equal_? The former is quite easy, since we can just take the hom-categories and coherence data for $\mathfrak{C}$ from those of $\mathfrak{D}$; but the nature of $Ho(Cat)$ as a localisation of $Cat$ means that there is already a canonical choice of hom-categories for $\mathfrak{C}$. Is it true that coherence data exists for _that_ choice of hom-categories? If so, is this in the literature somewhere?

   The article states without citation that

   Any $Ho(Cat)$-category which is equivalent, as a $Ho(Cat)$-category, to a bicategory, is itself in fact a bicategory.

   but is this really so trivial?

   More precisely, let $\mathcal{C}$ be a $Ho(Cat)$-enriched category, let $\mathfrak{D}$ be a bicategory, let $\mathcal{D}$ be the $Ho(Cat)$-enriched category underlying $\mathfrak{D}$, and suppose $F : \mathcal{C} \to \mathcal{D}$ is a $Ho(Cat)$-enriched equivalence. Then, is there a bicategory $\mathfrak{C}$ whose underlying $Ho(Cat)$-enriched category is not just isomorphic to $\mathcal{C}$ but equal? The former is quite easy, since we can just take the hom-categories and coherence data for $\mathfrak{C}$ from those of $\mathfrak{D}$; but the nature of $Ho(Cat)$ as a localisation of $Cat$ means that there is already a canonical choice of hom-categories for $\mathfrak{C}$. Is it true that coherence data exists for that choice of hom-categories? If so, is this in the literature somewhere?

7. • CommentRowNumber7.
   • CommentAuthorDavidRoberts
   • CommentTimeAug 29th 2013
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexSesquicategories rather than bicategories?

   Sesquicategories rather than bicategories?

8. • CommentRowNumber8.
   • CommentAuthorMike Shulman
   • CommentTimeAug 29th 2013
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI don't know that it's in the literature in exactly that form. However, it's a general fact that any sufficiently flexible 2-categorical structure can be transported across equivalences of categories. More precisely, if $T$ is a 2-monad or pseudomonad, $A$ is a pseudo $T$-algebra, and $B\simeq A$, then $B$ inherits a pseudo $T$-algebra structure. Apply that to the 2-monad on Cat-graphs whose algebras are 2-categories and whose pseudoalgebras are (unbiased) bicategories, and you get a bicategory whose hom-categories are exactly those of $\mathcal{C}$. Then the fact that $F$ is a Ho(Cat)-equivalence, rather than just a Cat-graph-equivalence, implies that the underlying Ho(Cat)-category of this bicategory is $\mathcal{C}$.

   I don’t know that it’s in the literature in exactly that form. However, it’s a general fact that any sufficiently flexible 2-categorical structure can be transported across equivalences of categories. More precisely, if $T$ is a 2-monad or pseudomonad, $A$ is a pseudo $T$-algebra, and $B\simeq A$, then $B$ inherits a pseudo $T$-algebra structure. Apply that to the 2-monad on Cat-graphs whose algebras are 2-categories and whose pseudoalgebras are (unbiased) bicategories, and you get a bicategory whose hom-categories are exactly those of $\mathcal{C}$. Then the fact that $F$ is a Ho(Cat)-equivalence, rather than just a Cat-graph-equivalence, implies that the underlying Ho(Cat)-category of this bicategory is $\mathcal{C}$.

9. • CommentRowNumber9.
   • CommentAuthorZhen Lin
   • CommentTimeAug 29th 2013
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexWonderful, thanks! It will take some time for me to understand the details but an affirmative answer is a good start.

   Wonderful, thanks! It will take some time for me to understand the details but an affirmative answer is a good start.

10. • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJul 6th 2018
    • PermaLink
    Author: Urs
    Format: MarkdownItextouched the formatting of this ancient entry, and cross-linked with [[Ho(CombModCat)]]. There is some old query-box-discussion sitting here, which would deserve to be dealt with <a href="https://ncatlab.org/nlab/revision/diff/Ho%28Cat%29/11">diff</a>, <a href="https://ncatlab.org/nlab/revision/Ho%28Cat%29/11">v11</a>, <a href="https://ncatlab.org/nlab/show/Ho%28Cat%29">current</a>

    touched the formatting of this ancient entry, and cross-linked with Ho(CombModCat). There is some old query-box-discussion sitting here, which would deserve to be dealt with

    diff, v11, current

11. • CommentRowNumber11.
    • CommentAuthorMike Shulman
    • CommentTimeNov 22nd 2019
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexAdded link to MO answer by Kevin Carlson giving a $Ho(Cat)$-category that does not arise from any bicategory. <a href="https://ncatlab.org/nlab/revision/diff/Ho%28Cat%29/12">diff</a>, <a href="https://ncatlab.org/nlab/revision/Ho%28Cat%29/12">v12</a>, <a href="https://ncatlab.org/nlab/show/Ho%28Cat%29">current</a>

    Added link to MO answer by Kevin Carlson giving a $Ho(Cat)$-category that does not arise from any bicategory.

    diff, v12, current

12. • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeOct 3rd 2021
    • PermaLink
    Author: Urs
    Format: MarkdownItexmoving the following old query box discussion out of the entry to here: *** +--{: .query} [[David Roberts]]: I would think that $\tau_1(C)$ for a strict 2-category is the underlying 1-category. What is described here could be called the Poincar&#233; category (I think that Benabou's monograph on bicategories has this term). Maybe terminology as developed in the meantime, though. [[Mike Shulman]]: Well, the uses of "truncation" I've seen always involves quotienting by equivalences, rather than discarding them. Discarding them only even makes sense in the strict situation (a bicategory has no underlying 1-category) and is an [[evil]] (and not often very useful) thing to do, so it doesn't seem to me worth giving an important name to. "Poincare category" may also be a name for the same thing, but I prefer "truncation" as more evocative. [[Beppe Metere]]: If I remember well, Benabou introduces two different constructions related to this discussion: the Poincar&#232; category of a bicategory, where the arrows are connected components of 1-cells, and the classifying category, where the arrows are iso classes of 1-cells. Of course, these two categories coincide when the bicategory is locally groupoidal. =-- *** <a href="https://ncatlab.org/nlab/revision/diff/Ho%28Cat%29/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/Ho%28Cat%29/13">v13</a>, <a href="https://ncatlab.org/nlab/show/Ho%28Cat%29">current</a>

    moving the following old query box discussion out of the entry to here:

    ---

    +–{: .query} David Roberts: I would think that $\tau_1(C)$ for a strict 2-category is the underlying 1-category. What is described here could be called the Poincaré category (I think that Benabou’s monograph on bicategories has this term). Maybe terminology as developed in the meantime, though.

    Mike Shulman: Well, the uses of “truncation” I’ve seen always involves quotienting by equivalences, rather than discarding them. Discarding them only even makes sense in the strict situation (a bicategory has no underlying 1-category) and is an evil (and not often very useful) thing to do, so it doesn’t seem to me worth giving an important name to. “Poincare category” may also be a name for the same thing, but I prefer “truncation” as more evocative.

    Beppe Metere: If I remember well, Benabou introduces two different constructions related to this discussion: the Poincarè category of a bicategory, where the arrows are connected components of 1-cells, and the classifying category, where the arrows are iso classes of 1-cells. Of course, these two categories coincide when the bicategory is locally groupoidal. =–

    ---

    diff, v13, current