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 6 of 6
I’m trying to reconcile a few things I’ve heard about the -categorical ladder. First, -categories should be something like categories enriched in -categories. Second, -categories are sets, and -categories are truth values. And third, every -category can be considered as a discrete -category.
So if I interpret ‘truth values’ to mean the poset of truth values with monoidal structure from and, , then I should expect -categories to be posets. But this would throw off the whole ladder, since then -categories would be categories enriched in posets, rather than in sets. This is mentioned in the -category article on the lab. We could perhaps fix this situation by saying that sets really should be -groupoids, which would be posets that are groupoids and so equivalence relations, which seems fine. But the upper levels of the ladder are still messed up, unless we said that an -category is a category enriched in -groupoids, in which case we could get back our usual -categories. But then we’d be describing the -categorical ladder, rather than the -categorical ladder. I suppose that the -categorical formalism might help me here, but I haven’t been able to grok it yet.
On the other hand, I could interpret ‘truth values’ to mean set of of truth values with monoidal structure from again. Now -categories are enriched in this category, but since it is discrete, , and since , $$
so that for all and . This is a set, but it is codiscrete, rather than discrete (as a -category). So this interpretation of -categories gives me the right -categories, but it gives me the ‘wrong’ kind of inclusion of -categories into -categories.
Is there a reason to prefer the discrete inclusion of -categories into -categories versus the codiscrete one? Is there a better way to think about -categories that disentangles this?
I should expect 0-categories to be posets. But this would throw off the whole ladder, since then 1-categories would be categories enriched in posets, rather than in sets.
There’s a distinction (I can’t remember where it’s discussed) between the -groupoid ladder and the -category ladder, of which this is an echo. The groupoid of truth values (say ) gives sets on enriching in it. Note that a category enriched in -groupoids in an -category, and a groupoid enriched in an -groupoid is an -groupoid.
One place is section 5.1 of arXiv:math/0608420.
David> Wouldn’t the groupoid of truth values also give codiscrete sets? I guess my main question is why do we prefer the discrete inclusion to the codiscrete inclusion…
Mike> Hmm, thanks! It seems on first glance that you have a bunch of ladders for the different levels of groupoidyness vs. posetyness. The groupoid ladder is diagonal though, and so a very different thing…
It strikes me that a major problem with considering the codiscrete inclusion of -categories into -categories is that it won’t reflect equivalence. In light of my brief skim of the relevant section of your notes (I just began to read them this afternoon, unrelated!), it would also mess with the idea that -categories should appear as contractible fibers; if all -categories were contractible as -categories this might pose an issue.
I don’t think there is much sense to the “codiscrete” inclusion.
Never mind
1 to 6 of 6