Higher Lawvere theories
From MaRDI portal
Publication:2173857
DOI10.1016/j.jpaa.2020.106362zbMath1440.18006arXiv1903.02991OpenAlexW3011286676MaRDI QIDQ2173857
Publication date: 17 April 2020
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1903.02991
Theories (e.g., algebraic theories), structure, and semantics (18C10) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) (infty)-operads and higher algebra (18N70)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.
- Day convolution for \(\infty\)-categories
- Universality of multiplicative infinite loop space machines
- On the commutative algebra of categories
- Yoneda lemma for enriched \(\infty\)-categories
- Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads
- Systems of Fixed Point Sets
- Higher Topos Theory (AM-170)
- Algebra valued functors in general and tensor products in particular
- Some algebraic problems in the context of functorial semantics of algebraic theories
This page was built for publication: Higher Lawvere theories