You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
is both the free FP category on one generator and the free finite limits category on one generator. Is there some reason this is the case or is it just a coincidence?
Similarly, for any discrete set , the category is both the free coproduct-completion of and the free colimit-cocompletion of . I would say that's because when is discrete, there are no interesting non-discrete diagrams in to take colimits of.
Ah, so even the non-discrete diagrams that appear in the completion end up reducing to discrete diagrams when you recast them over ? I guess then the interesting thing is that you even can recast them as diagrams over .
Yes, it's not always the case that a free -cocompletion can be constructed in "one step" so that every object of the cocompletion is a -colimit of a diagram in the starting category, but it is the case for coproduct-completions and colimit-completions (and their finite versions).
It's worth noting that being both the finite coproduct-completion and the finite colimit-completion of (or for that matter, being both the free coproduct- and free colimit-completion of ) is only true in 1-category theory. In higher category theory (-category theory or even -category theory for ), is still the free finite coproduct-completion of , but is no longer the free finite colimit-completion.
There are other 1-categories for which the free finite-colimit completion coincides with a completion under a strictly smaller class of diagrams. For instance, locally finite [[direct categories]] (direct categories whose slices are finite categories) have a finite-colimit completion that can be characterized as completion under finite cell complexes. This is a high-level explanation of why finite graphs or finite globular sets can be described as finite cell complexes.
Chaitanya Leena Subramaniam said:
It's worth noting that being both the finite coproduct-completion and the finite colimit-completion of (or for that matter, being both the free coproduct- and free colimit-completion of ) is only true in 1-category theory. In higher category theory (-category theory or even -category theory for ), is still the free finite coproduct-completion of , but is no longer the free finite colimit-completion.
The reason is that in higher categories, you have also copowers as finite colimits?
Or are you saying that FinSet is not even free cocompletion under conical colimits?
Not even conical colimits. In a higher setting, the coequalizer of is .
You don't need copowers. Pullbacks and pushouts behave differently in higher categories. The colimit-completion of becomes (finite spaces). As a result, the finite cocompletion is no longer "one-step" as described above.
Hm, or is it? Maybe if the coequalizer of two identity arrows is already a circle you don't need any diagrams that aren't made of identity arrows?
I think it's one-step, since any finite space is the realization of some finitely presented category (indeed, of a finite poset), so it should be the conical colimit of the constant diagram at 1 indexed by that category.
Ah, so that is how the [[Thomason model structure]] works!
Oh, thanks!