nLab Grothendieck-Maltsiniotis infinity-category

Redirected from "orthosymplectic super Lie algebras".
Contents

Context

Category theory

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

An algebraic definition of ∞-groupoids and ∞-categories similar to (but older than) the definition Batanin ∞-categories.

References

The original definition is indicated in words in sections 1-13 of

This has been extracted and formalized in

A comprehensive account of a simplified version of the definition and its generalization from \infty-groupoids to \infty-categories is given in

A definition as models of a dependent type theory is given in

The relation to Batanin ∞-categories is discussed in

  • Dimitri Ara, Sur les \infty-groupoïdes de Grothendieck Thesis, under the supervision of G. Maltsiniotis, (2010) (pdf)

A brief survey is provided in

On the homotopy hypothesis for Grothendieck 3-groupoids:

Last revised on August 25, 2023 at 16:59:21. See the history of this page for a list of all contributions to it.