| Title:
|
Simplicial lists in operad theory I (English) |
| Author:
|
Haderi, Redi |
| Author:
|
Ünlü, Özgün |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
10 |
| Issue:
|
1 |
| Year:
|
2026 |
| Pages:
|
40-98 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
We define a category List whose objects are sets and morphisms are mappings which assign to an element in the domain an ordered sequence (list) of elements in the codomain. We introduce and study a category of simplicial objects sList whose objects are functors $\Delta^{op} \rightarrow$ List, which we call simplicial lists, and morphisms are natural transformations which have functions as components. We demonstrate that sList supports the combinatorics of (non-symmetric) operads by constructing a fully-faithful nerve functor $N^l : Op \rightarrow$ sList from the category of operads. This leads to a reasonable model for the theory of non-symmetric $\infty$-operads. We also demonstrate that sList has the structure of a presheaf category. In particular, we study a subcategory sList$_{Op}$ of operadic simplicial lists, in which the nerve functor takes values. The latter category is also a presheaf category over a base whose objects may be interpreted as leveled trees. We construct a coherent nerve functor which outputs an $\infty$-operad for each operad enriched in Kan complexes. We also define homology groups of simplicial lists and study first properties. (English) |
| Keyword:
|
simplicial lists |
| Keyword:
|
operads |
| Keyword:
|
infinity operads |
| Keyword:
|
coherent nerve |
| Keyword:
|
homology of simplicial lists |
| MSC:
|
18M70 |
| MSC:
|
18N70 |
| MSC:
|
55P48 |
| MSC:
|
55U10 |
| DOI:
|
10.21136/HS.2026.03 |
| . |
| Date available:
|
2026-09-17T12:42:52Z |
| Last updated:
|
2026-09-17 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153755 |
| . |
| Reference:
|
[1] Barkan, Shaul, Steinebrunner, Jan: The equifibered approach to \infty-properads.arXiv:2211.02576 |
| Reference:
|
[2] Barr, Michael, Kennison, John F, Raphael, Robert: Contractible simplicial objects.Commentationes Mathematicae Universitatis Carolinae, Vol. 60, Iss. 4, 473-495 10.14712/1213-7243.2019.023 |
| Reference:
|
[3] Barwick, Clark: From operator categories to higher operads.Geometry and Topology, Vol. 22, Iss. 4, 1893-1959 10.2140/gt.2018.22.1893 |
| Reference:
|
[4] Bašic, Matija, Nikolaus, Thomas: Homology of dendroidal sets.Homology, Homotopy and Applications, Vol. 16, Iss. 2, 1-25 |
| Reference:
|
[5] Beardsley, Jonathan, Hackney, Philip: Labelled cospan categories and properads.Journal of Pure and Applied Algebra, Vol. 228, Iss. 2, 107471 10.1016/j.jpaa.2023.107471 |
| Reference:
|
[6] Bergner, Julia: A model category structure on the category of simplicial categories.Transactions of the American Mathematical Society, Vol. 359, Iss. 5, 2043-2058 10.1090/S0002-9947-06-03987-0 |
| Reference:
|
[7] Boardman, John Michael, Vogt, Rainer M.: Homotopy invariant algebraic structures on topological spaces.Springer, Volume 347 |
| Reference:
|
[8] Bonventre, Peter, Pereira, Luis Alexandre: Rigidification of dendroidal infinity-operads.arXiv:2004.12296 |
| Reference:
|
[9] Chu, Hongyi, Hackney, Philip: On rectification and enrichment of infinity properads.Journal of the London Mathematical Society, Vol. 105, Iss. 3, 1418-1517 |
| Reference:
|
[10] Chu, Hongyi, Haugseng, Rune: Homotopy-coherent algebra via segal conditions.Advances in Mathematics, Vol. 385, 107733 |
| Reference:
|
[11] Chu, Hongyi, Haugseng, Rune: Enriched homotopy-coherent structures.arXiv preprint arXiv:2308.11502 |
| Reference:
|
[12] Cisinski, Denis-Charles, Moerdijk, Ieke: Dendroidal sets as models for homotopy operads.Journal of Topology, Vol. 4, Iss. 2, 257-299 10.1112/jtopol/jtq039 |
| Reference:
|
[13] Cisinski, Denis-Charles, Moerdijk, Ieke: Dendroidal segal spaces and $\infty$-operads.Journal of Topology, Vol. 6, Iss. 3, 675-704 10.1112/jtopol/jtt004 |
| Reference:
|
[14] Cisinski, Denis-Charles, Moerdijk, Ieke: Dendroidal sets and simplicial operads.Journal of Topology, Vol. 6, Iss. 3, 705-756 10.1112/jtopol/jtt006 |
| Reference:
|
[15] Corner, Alexander S, Gurski, Nick: Operads with general groups of equivariance, and some 2-categorical aspects of operads in Cat.arXiv:1312.5910 |
| Reference:
|
[16] Dugger, Daniel, Spivak, David I.: Rigidification of quasi-categories.Algebraic and Geometric Topology, Vol. 11, Iss. 1, 225-261 10.2140/agt.2011.11.225 |
| Reference:
|
[17] Fong, Brendan, Spivak, David I.: Seven sketches in compositionality: An invitation to applied category theory.arXiv:1803.05316 |
| Reference:
|
[18] Gepner, David, Haugseng, Rune: Enriched $\infty$-categories via non-symmetric $\infty$-operads.Advances in Mathematics, Vol. 279, 575-716 10.1016/j.aim.2015.02.007 |
| Reference:
|
[19] Goerss, Paul G., Jardine, John F.: Simplicial homotopy theory.Springer |
| Reference:
|
[20] Hackney, Philip, Robertson, Marcy, Yau, Donald, Yau, Donald Ying: Infinity properads and infinity wheeled properads.Springer, Volume 2147 |
| Reference:
|
[21] Haderi, Redi: A simplicial category for higher correspondences.Applied Categorical Structures, Vol. 31, Iss. 1, 1-30 |
| Reference:
|
[22] Haderi, Redi: Colimits of categories, zig-zags and necklaces.arXiv:2309.00337 |
| Reference:
|
[23] Haderi, Redi, Stern, Walker H: An $\mathscr{O}$-monoidal Grothendieck construction.arXiv:2404.01031 |
| Reference:
|
[24] Haugseng, Rune: An allegedly somewhat friendly introduction to $\infty$-operads.Notes available here |
| Reference:
|
[25] Heuts, Gijs, Hinich, Vladimir, Moerdijk, Ieke: On the equivalence between Lurie's model and the dendroidal model for infinity-operads.Advances in Mathematics, Vol. 302, 869-1043 10.1016/j.aim.2016.07.021 |
| Reference:
|
[26] Heuts, Gijs, Moerdijk, Ieke: Simplicial and dendroidal homotopy theory.Springer Nature |
| Reference:
|
[27] Hoffbeck, Eric, Moerdijk, Ieke: Homology of infinity-operads.Annales de l'Institut Fourier, Vol. 75, Iss. 3, 929-965, https://aif.centre-mersenne.org/articles/10.5802/aif.3653/, DOI:10.5802/aif.3653 10.5802/aif.3653 |
| Reference:
|
[28] Joyal, André: Notes on quasi-categories.Preprint available online here |
| Reference:
|
[29] Kock, Joachim: Polynomial functors and trees.International Mathematics Research Notices, Vol. 2011, Iss. 3, 609-673 |
| Reference:
|
[30] Leinster, Tom: Higher operads, higher categories.Cambridge University Press, Volume 298 |
| Reference:
|
[31] Loday, Jean-Louis, Vallette, Bruno: Algebraic operads.Springer, Volume 346 |
| Reference:
|
[32] Lurie, Jacob: Higher Topos Theory.Princeton University Press |
| Reference:
|
[33] Lurie, Jacob: Higher Algebra.Available online here |
| Reference:
|
[34] Lurie, Jacob: Split simplicial objects.https://kerodon.net/tag/04S6 |
| Reference:
|
[35] Markl, Martin, Shnider, Steve, Stasheff, Jim: Operads in algebra, topology and physics.Mathematical surveys and monographs, Vol. 96 |
| Reference:
|
[36] May, J. Peter: The geometry of iterated loop spaces.Springer, Volume 271 |
| Reference:
|
[37] Moerdijk, Ieke, Weiss, Ittay: Dendroidal sets.Algebraic and Geometric Topology, Vol. 7, Iss. 3, 1441-1470 10.2140/agt.2007.7.1441 |
| Reference:
|
[38] Riehl, Emily: Categorical homotopy theory.Cambridge University Press, Volume 24 |
| Reference:
|
[39] Robertson, Marcy: The homotopy theory of simplicially enriched multicategories.arXiv:1111.4146 |
| Reference:
|
[40] Shulman, Michael A.: Set theory for category theory.arXiv:0810.1279 |
| Reference:
|
[41] Stasheff, James Dillon: Homotopy associativity of H-spaces. I, II.Trans. Amer. Math. Soc., Vol. 108, 293-312, https://doi.org/10.1090/s0002-9947-1963-0158400-5, DOI:10.1090/s0002-9947-1963-0158400-5 10.1090/s0002-9947-1963-0158400-5 |
| Reference:
|
[42] Weiss, Ittay: Dendroidal sets.PhD thesis, Utrecht University |
| . |
