nLab
microcosm principle

Context

Higher algebra

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

In higher algebra/higher category theory one can define (generalized) algebraic structures internal to categories which themselves are equipped with certain algebraic structure, in fact with the same kind of algebraic structure. In (Baez-Dolan 97) this has been called the microcosm principle.

Microcosm principle: Certain algebraic structures can be defined in any category equipped with a categorified version of the same structure.

A standard example is the notion of monoid object which make sense in a monoidal category, and the notion of commutative monoid object which makes sense in a symmetric monoidal category.

The term “microcosm principle” arises from the idea that the monoid object (the ‘microcosm’) can only thrive in a category (a ‘macrocosm’) that resembles itself.

Formalization for algebras over (∞,1)-operads

The microcosm principle is a general heuristic, but in some contexts, a general version of it can be proven formally. One such formalization was given (independently) in (Lurie) in the context of higher algebra in homotopy theory/(∞,1)-category theory:

given an (∞,1)-operad 𝒪\mathcal{O} we have:

  1. an (∞,1)-category 𝒞\mathcal{C} equipped with algebraic structure as encoded by 𝒪\mathcal{O} – an 𝒪\mathcal{O}-monoidal (∞,1)-category – is equivalently encoded by a coCartesian fibration of (∞,1)-operads 𝒞 𝒪 \mathcal{C}^\otimes \to \mathcal{O}^\otimes;

  2. an (∞,1)-algebra over an (∞,1)-operad over 𝒪\mathcal{O} can be defined internal to such a 𝒪\mathcal{O}-monoidal (,1)(\infty,1)-category 𝒞\mathcal{C} and is equivalently given by a section of this map.

See at (∞,1)-algebra over an (∞,1)-operad for examples and further details.

Reference

The term “microcosm principle” was coined in

Discussion is in

One formalization is in

Revised on September 6, 2013 07:43:47 by Anonymous Coward (50.197.184.65)