5
$\begingroup$

Recall that the microcosm principle in category theory asserts that algebraic structures live most naturally inside categories equipped with categorified versions of the algebraic structures in question.

I am curious about a related 'macrocosm principle':

Say that a theory $T$ satisfies the macrocosm principle iff the collection $\mathcal{T}$ of all set-sized models of $T$ also carries a canonical $T$-model structure.

An obvious example is the theory of categories, since ${\bf Cat}$ can be viewed as a $1$-category. Are there any others?

Edit: As pointed out by varkor and Maxime in the comments, the word 'canonical' is doing pretty much all of the heavy lifting in the above "definition" (as it sometimes tends to do).

Accordingly it is not really a definition of the principle I'm interested in, rather a heuristic; a more appropriate first question is thusly

What is the correct formal definition of the macrocosm principle?

Once this is settled, examples besides the category of of categories would be very interesting to me.

Improve this question
$\endgroup$
11
  • 2
    $\begingroup$ The theory of categories is not algebraic. Furthermore, if "collection" means set/class, then the collection of categories may be equipped with trivial categorical structure, so it's not a particularly interesting example. As such, I don't see that there's a good motivating example for this question. (However, I haven't downvoted the question.) $\endgroup$
    – varkor
    Commented Oct 31, 2022 at 23:21
  • 5
    $\begingroup$ I like this question but I think a more appropriate question would be : what is a precise statement of the macrocosm principle ? This, I think no one knows (and if someone knows, they should write something !!) $\endgroup$
    – Maxime Ramzi
    Commented Nov 1, 2022 at 8:35
  • 1
    $\begingroup$ As I expressed above, I do not know the answer to your main question. However, you ask about examples : there are many examples beyond the category of categories, that motivate the idea that there should be a "macrocosm principle". Not least is the notion of semi-additivity : the category of semiadditive categories is itself semi-additive. Or maybe, to phrase this in terms of structures as you do : the category of commutative monoids is itself a (highly coherent, up-to-homotopy) commutative monoid. $\endgroup$
    – Maxime Ramzi
    Commented Nov 1, 2022 at 17:56
  • 5
    $\begingroup$ I am really not convinced by the premise of this question, or at least that it holds beyond vanilla structures: the category of fields looks nothing like a field. However, I will offer a positive example: categories of domains (in computer science) enjoy a "cofiltered limit / filtered colimit coincidence" that makes them look like domains. This example is what came to mind when I first heard of Voevodsky's Univalence Principle. $\endgroup$
    – Paul Taylor
    Commented Nov 1, 2022 at 20:48
  • 1
    $\begingroup$ @PaulTaylor I can respect that, this is just something that occurred to me while making pizza dough (maybe I was considering making many tiny pizzas vs one big pizza — who knows). I appreciate the good-faith example! $\endgroup$
    – Alec Rhea
    Commented Nov 1, 2022 at 22:07

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .