5
$\begingroup$

There have been some places in which a conceptual difference (that of criteria of identification, etc) is avoided in the categorical notation, namely

Let $Cat$ be at the same time the 2-category of small categories and its subjacent 1-category i.e. the category of small categories (...)

Why one can do this? The 2-category CAT and the 1-category Cat are not remarkably different? What is Cat (generally) in the literature..?

Improve this question
$\endgroup$
3
  • 1
    $\begingroup$ It's even worse: I usually use Cat to denote the (2,1)-category of small categories (so a third possible meaning)! I imagine this happens because people routinely use only one of the meanings, and so never find useful to mention the other two possibilities... $\endgroup$
    – Denis Nardin
    Commented Oct 6, 2017 at 14:59
  • 1
    $\begingroup$ Like many other notations in mathematics, the meaning of "Cat" is context-dependent. If I'm writing a paper in which I need to discuss both meanings, I sometimes use different fonts, e.g. $\mathbf{Cat}$ for the 1-category and $\mathcal{C}\mathit{at}$ for the 2-category. $\endgroup$
    – Mike Shulman
    Commented Oct 6, 2017 at 16:45
  • $\begingroup$ To add more context to Mike Shulman's comment: Johnstone practices the same in 'A Topos Theory Compendium' (see 'Index of Notation'): $\mathbf{Cat}$ is for the 1-category, and $\mathfrak{Cat}$ is for (Johnstone's version of) the relevant 2-category. $\endgroup$
    – Peter Heinig
    Commented Oct 12, 2017 at 10:46

1 Answer 1

Reset to default
7
$\begingroup$

Here I take terminology fromnLab:

As long as 2-category means strict 2-category this usage is exactly the same as using $M$ to name both a manifold and its set of points.

If $Cat$ is meant to be some weak 2-category then you need to specify what enrichment you want--or as you put it what criterion of identification. There is not only one possibility. In that case the usage only makes sense if one specified enrichment is being assumed in the context.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .