Homotopy-coherent algebra via Segal conditions (Q2032920): Difference between revisions

The authors characterize homotopy-coherent algebraic structures which can be described by Segal conditions. They show that they correspond to polynomial monads on presheaf $\infty$-categories, i.e., to accessible cartesian monads preserving weakly contractible limits.

0 references

reviewed by

Jiří Rosický

0 references

zbMATH Keywords

homotopy-coherent algebra

0 references

Segal conditions

0 references

polynomial monads

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

From operator categories to higher operads

0 references

Monoidal globular categories as a natural environment for the theory of weak $n$-categories

0 references

A cellular nerve for higher categories

0 references

Iterated wreath product of the simplex category and iterated loop spaces

0 references

Monads with arities and their associated theories

0 references

Higher Lawvere theories

0 references

Homotopy invariant algebraic structures on topological spaces

0 references

Monads and theories

0 references

Two models for the homotopy theory of ∞-operads

0 references

Dendroidal Segal spaces and ∞-operads

0 references

A criterion for existence of right‐induced model structures

0 references

Universality of multiplicative infinite loop space machines

0 references

Enriched $\infty$-categories via non-symmetric $\infty$-operads

0 references

Operads Revisited

0 references

Lecture notes on infinity-properads

0 references

Infinity properads and infinity wheeled properads

0 references

Higher cyclic operads

0 references

A graphical category for higher modular operads

0 references

On the equivalence between $\Theta _{n}$-spaces and iterated Segal spaces

0 references

On the equivalence between Lurie's model and the dendroidal model for infinity-operads

0 references

Polynomial Functors and Trees

0 references

Graphs, hypergraphs, and properads

0 references

Some algebraic problems in the context of functorial semantics of algebraic theories

0 references

Higher Topos Theory (AM-170)

0 references

The geometry of iterated loop spaces

0 references

Dendroidal sets

0 references

A model for the homotopy theory of homotopy theory

0 references

A Cartesian presentation of weak $n$-categories

0 references

Categories and cohomology theories

0 references

Homotopy Associativity of H-Spaces. I

0 references

Q3156505

0 references

Q5454622

0 references

Identifiers

zbMATH Open document ID

1473.18017

0 references

DOI

10.1016/j.aim.2021.107733

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2032920

@@ Property / arXiv ID @@
+.03977
@@ Property / arXiv ID: 1907.03977 / rank @@
+Normal rank
@@ Property / cites work @@
+From operator categories to higher operads
@@ Property / cites work: From operator categories to higher operads / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
+Normal rank
@@ Property / cites work @@
+A cellular nerve for higher categories
@@ Property / cites work: A cellular nerve for higher categories / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated wreath product of the simplex category and iterated loop spaces
+Normal rank
@@ Property / cites work @@
+Monads with arities and their associated theories
@@ Property / cites work: Monads with arities and their associated theories / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Lawvere theories
@@ Property / cites work: Higher Lawvere theories / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy invariant algebraic structures on topological spaces
+Normal rank
@@ Property / cites work @@
+Monads and theories
@@ Property / cites work: Monads and theories / rank @@
+Normal rank
@@ Property / cites work @@
+Two models for the homotopy theory of ∞-operads
@@ Property / cites work: Two models for the homotopy theory of ∞-operads / rank @@
+Normal rank
@@ Property / cites work @@
+Dendroidal Segal spaces and ∞-operads
@@ Property / cites work: Dendroidal Segal spaces and ∞-operads / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for existence of right‐induced model structures
+Normal rank
@@ Property / cites work @@
+Universality of multiplicative infinite loop space machines
+Normal rank
@@ Property / cites work @@
+Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads
+Normal rank
@@ Property / cites work @@
+Operads Revisited
@@ Property / cites work: Operads Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Lecture notes on infinity-properads
@@ Property / cites work: Lecture notes on infinity-properads / rank @@
+Normal rank
@@ Property / cites work @@
+Infinity properads and infinity wheeled properads
@@ Property / cites work: Infinity properads and infinity wheeled properads / rank @@
+Normal rank
@@ Property / cites work @@
+Higher cyclic operads
@@ Property / cites work: Higher cyclic operads / rank @@
+Normal rank
@@ Property / cites work @@
+A graphical category for higher modular operads
@@ Property / cites work: A graphical category for higher modular operads / rank @@
+Normal rank
@@ Property / cites work @@
+On the equivalence between $\Theta _{n}$-spaces and iterated Segal spaces
+Normal rank
@@ Property / cites work @@
+On the equivalence between Lurie's model and the dendroidal model for infinity-operads
+Normal rank
@@ Property / cites work @@
+Polynomial Functors and Trees
@@ Property / cites work: Polynomial Functors and Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs, hypergraphs, and properads
@@ Property / cites work: Graphs, hypergraphs, and properads / rank @@
+Normal rank
@@ Property / cites work @@
+Some algebraic problems in the context of functorial semantics of algebraic theories
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+The geometry of iterated loop spaces
@@ Property / cites work: The geometry of iterated loop spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Dendroidal sets
@@ Property / cites work: Dendroidal sets / rank @@
+Normal rank
@@ Property / cites work @@
+A model for the homotopy theory of homotopy theory
+Normal rank
@@ Property / cites work @@
+A Cartesian presentation of weak \(n\)-categories
@@ Property / cites work: A Cartesian presentation of weak \(n\)-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Categories and cohomology theories
@@ Property / cites work: Categories and cohomology theories / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Associativity of H-Spaces. I
@@ Property / cites work: Homotopy Associativity of H-Spaces. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156505
@@ Property / cites work: Q3156505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5454622
@@ Property / cites work: Q5454622 / rank @@
+Normal rank