Free decomposition spaces

• Kock, Joachim ^[1] ; Hackney, Philip ^[2]
  1. [1] Universitat Autònoma de Barcelona

     Universitat Autònoma de Barcelona

     Barcelona, España

     
  2. [2] University of Louisiana at Lafayette

     University of Louisiana at Lafayette

     Estados Unidos

     
• Localización: Collectanea mathematica, ISSN 0010-0757, Vol. 76, Fasc. 3, 2025, págs. 575-599
• Idioma: inglés
• DOI: 10.1007/s13348-024-00446-8
• Texto completo no disponible (Saber más ...)
• Resumen

  • We introduce the notion of free decomposition spaces: they are simplicial spaces freely generated by inert maps. We show that left Kan extension along the inclusion takes general objects to Möbius decomposition spaces and general maps to CULF maps. We establish an equivalence of \infty-categories . Although free decomposition spaces are rather simple objects, they abound in combinatorics: it seems that all comultiplications of deconcatenation type arise from free decomposition spaces. We give an extensive list of examples, including quasi-symmetric functions.

• Referencias bibliográficas
  • Aguiar, M., Mahajan, S.: Monoidal functors, species and Hopf algebras, vol. 29 of CRM Monograph Series. American Mathematical Society, Providence...
  • Ayala, D., Francis, J.: Fibrations of \infty-categories. Higher Struct. 4, 168–265 (2020).
  • Behr, N., Kock, J.: Tracelet Hopf algebras and decomposition spaces. In Proceedings of the fourth international conference on applied category...
  • Berger, C.: A cellular nerve for higher categories. Adv. Math. 169, 118–175 (2002)
  • Berger, C., Melliès, P.-A., Weber, M.: Monads with arities and their associated theories. J. Pure Appl. Algebra 216, 2029–2048 (2012)
  • Bergeron, F., Labelle, G., Leroux, P.: Combinatorial species and tree-like structures, volume 67 of Encyclopedia of Mathematics and its Applications....
  • Bergeron, N., Zabrocki, M.: The Hopf algebras of symmetric functions and quasi-symmetric functions in non-commutative variables are free and...
  • Bergner, J.E., Osorno, A.M., Ozornova, V., Rovelli, M., Scheimbauer, C.I.: 2-Segal sets and the Waldhausen construction. Topol. Appl. 235,...
  • Bergner, J.E., Osorno, A.M., Ozornova, V., Rovelli, M., Scheimbauer, C.I.: The edgewise subdivision criterion for 2-Segal objects. Proc. Am....
  • Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland Publishing Co., Amsterdam (2001)
  • Bunge, M., Fiore, M.: Unique factorisation lifting functors and categories of linearly-controlled processes. Math. Struct. Comput. Sci. 10,...
  • Bunge, M., Niefield, S.: Exponentiability and single universes. J. Pure Appl. Algebra 148, 217–250 (2000)
  • Burkin, S.: Twisted arrow categories, operads and Segal conditions. Theory Appl. Categ. 38, Paper No. 16, 595–660 (2022)
  • Chu, H., Haugseng, R.: Homotopy-coherent algebra via Segal conditions. Adv. Math. 385, 107733 (2021)
  • Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation—Part I: basic concepts...
  • Dyckerhoff, T., Kapranov, M.: Higher Segal spaces, p. 2019. Springer, Cham (2019)
  • Feller, M., Garner, R., Kock, J., Proulx, M.U., Weber, M.: Every 2-Segal space is unital. Commun. Contemp. Math. 23, 2050055, 6 (2021)
  • Gálvez-Carrillo, I., Kock, J., Tonks, A.: Decomposition spaces of quasi-symmetric functions. Unpublished/in preparation
  • Gálvez-Carrillo, I., Kock, J., Tonks, A.: Decomposition spaces in combinatorics. Preprint
  • Gálvez-Carrillo, I., Kock, J., Tonks, A.: Decomposition spaces, incidence algebras and Möbius inversion I: Basic theory. Adv. Math. 331, 952–1015...
  • Gálvez-Carrillo, I., Kock, J., Tonks, A.: Decomposition spaces, incidence algebras and Möbius inversion II: completeness, length filtration,...
  • Gálvez-Carrillo, I., Kock, J., Tonks, A.: Decomposition spaces, incidence algebras and Möbius inversion III: the decomposition space of Möbius...
  • Gálvez-Carrillo, I., Kock, J., Tonks, A.: Decomposition spaces and restriction species. Int. Math. Res. Notices 2020, 7558–7616 (2020)
  • Gepner, D., Haugseng, R., Kock, J.: \infty-Operads as analytic monads. Int. Math. Res. Notices 2022, 12516–12624 (2022)
  • Hackney, P.: Segal conditions for generalized operads. In: Higher Structures in Topology, Geometry, and Physics, vol. 802 of Contemporary...
  • Hackney, P., Kock, J.: Culf maps and edgewise subdivision. Preprint arXiv:2210.11191, with an appendix coauthored with Jan Steinebrunner
  • Hackney, P., Robertson, M., Yau, D.: Infinity properads and infinity wheeled properads, vol. 2147 of Lecture Notes in Mathematics. Springer,...
  • Hackney, P., Robertson, M., Yau, D.: Modular operads and the nerve theorem. Adv. Math. 370, 107206 (2020)
  • Hivert, F., Novelli, J.-C., Thibon, J.-Y.: Commutative combinatorial Hopf algebras. J. Algebraic Combin. 28, 65–95 (2008)
  • Hoang, T.: Quillen cohomology of enriched operads. Preprint
  • Johnstone, P.: A note on discrete Conduché fibrations. Theory Appl. Categ. 5(1), 1–11 (1999)
  • Joni, S.A., Rota, G.-C.: Coalgebras and bialgebras in combinatorics. Stud. Appl. Math. 61, 93–139 (1979)
  • Joyal, A.: Une théorie combinatoire des séries formelles. Adv. Math. 42, 1–82 (1981)
  • Joyal, A.: The theory of quasi-categories and its applications. No. 45 in Quaderns. CRM, Barcelona, 2008
  • Knuth, D.E.: The Art of Computer Programming, Vol. 1: Fundamental Algorithms, 3rd edn. Addison-Wesley, Reading (1997)
  • Kock, J.: Polynomial functors and trees. Int. Math. Res. Notices 2011, 609–673 (2011)
  • Kock, J.: Graphs, hypergraphs, and properads. Collect. Math. 67, 155–190 (2016)
  • Kock, J.: The incidence comodule bialgebra of the Baez–Dolan construction. Adv. Math. 383, Paper No. 107693, 79 (2021)
  • Kock, J.: Whole-grain Petri nets and processes. J. ACM 70, 1–58 (2022)
  • Kock, J., Spivak, D.I.: Decomposition-space slices are toposes. Proc. Am. Math. Soc. 148, 2317–2329 (2020)
  • Lawvere, F.W.: State categories and response functors. Dedicated to Walter Noll. Preprint (1986)
  • Lawvere, F.W., Menni, M.: The Hopf algebra of Möbius intervals. Theory Appl. Categ. 24, 221–265 (2010)
  • Leroux, P.: Les catégories de Möbius. Cahiers Topol. Géom. Differ. 16, 280–282 (1976)
  • Lurie, J.: Higher Topos Theory, Volume 170 of Annals of Mathematics Studies. Princeton University Press, Princeton (2009)
  • Lurie, J.: Higher algebra (2017)
  • Malvenuto, C., Reutenauer, C.: Duality between quasi-symmetric functions and the Solomon descent algebra. J. Algebra 177, 967–982 (1995)
  • Novelli, Jean-Christophe., Thibon, Jean-Yves.: Hopf algebras and dendriform structures arising from parking functions. Fund. Math. 193, 189–241...
  • Reisig, W.: Petri Nets: An Introduction, Volume 4 of EATCS Monographs on Theoretical Computer Science. Springer (1985)
  • Rota, G.-C.: On the foundations of combinatorial theory. I. Theory of Möbius functions. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 2,...
  • Schmitt, W.R.: Hopf algebras of combinatorial structures. Can. J. Math. 45, 412–428 (1993)
  • Stanley, R.: Ordered structures and partitions. Memoirs of the American Mathematical Society, no. 119. American Mathematical Society, Providence...
  • Stanley, R.P.: Parking functions and noncrossing partitions. Electron. J. Combin. 4, Research Paper 20, 1–14 (1997). The Wilf Festschrift...
  • Stanley, R.P.: Enumerative Combinatorics, Volume 62 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1999)
  • Street, R.: Categorical structures. In: Handbook of Algebra, vol. 1, pp. 529–577. North-Holland, Amsterdam (1996)
  • Thomason, R.: Notebook 85 (1995)
  • Weber, M.: Generic morphisms, parametric representations and weakly Cartesian monads. Theory Appl. Categ. 13, 191–234 (2004)
  • Weber, M.: Familial 2-functors and parametric right adjoints. Theory Appl. Categ. 18, 665–732 (2007)
  • Winskel, G., Nielsen, M.: Models for concurrency. In: Handbook of Logic in Computer Science, vol. 4, pp. 1–148. Oxford University Press, New...