Showing 1–2 of 2 results for author: Forero, W

Directed hereditary species and decomposition spaces

Authors: Alex Cebrian, Wilson Forero

Abstract: We introduce the notion of directed hereditary species and show that they have associated monoidal decomposition spaces, comodule bialgebras, and operadic categories. The notion subsumes Schmitt's hereditary species, Gálvez--Kock--Tonks directed restrictions species, and a directed version of Carlier's construction of monoidal decomposition spaces and comodule bialgebras. In addition to all the ex… ▽ More We introduce the notion of directed hereditary species and show that they have associated monoidal decomposition spaces, comodule bialgebras, and operadic categories. The notion subsumes Schmitt's hereditary species, Gálvez--Kock--Tonks directed restrictions species, and a directed version of Carlier's construction of monoidal decomposition spaces and comodule bialgebras. In addition to all the examples of Schmitt, Gálvez--Kock--Tonks and Carlier, the new construction covers also the Fauvet--Foissy--Manchon comodule bialgebra of finite topological spaces, the Calaque--Ebrahimi-Fard--Manchon comodule bialgebra of rooted trees, and the Faà di Bruno comodule bialgebra of linear trees. △ Less

Submitted 27 November, 2022; v1 submitted 14 November, 2022; originally announced November 2022.

Comments: Many results have been rewritten to make them easier to understand. The arguments used in subsection 7.5 are similar to those given in Section 5 arXiv:1903.07964 considering contractions instead of monotone surjections. We prefer to add the proof to make the paper as self-contained as possible, but in any case, the ideas come from Carlier

Report number: CPH-GEOTOP-DNRF151 MSC Class: 55U10; 18G30; 16T10; 16T15; 06A07

The Gálvez-Kock-Tonks conjecture for locally discrete decomposition spaces

Authors: Wilson Forero

Abstract: Gálvez-Carrillo, Kock, and Tonks constructed a decomposition space $U$ of all Möbius intervals, as a recipient of Lawvere's interval construction for Möbius categories, and conjectured that $U$ enjoys a certain universal property: for every Möbius decomposition space $X$, the space of culf functors from $X$ to $U$ is contractible. In this paper, we work at the level of homotopy 1-types to prove th… ▽ More Gálvez-Carrillo, Kock, and Tonks constructed a decomposition space $U$ of all Möbius intervals, as a recipient of Lawvere's interval construction for Möbius categories, and conjectured that $U$ enjoys a certain universal property: for every Möbius decomposition space $X$, the space of culf functors from $X$ to $U$ is contractible. In this paper, we work at the level of homotopy 1-types to prove the first case of the conjecture, namely for locally discrete decomposition spaces. This provides also the first substantial evidence for the general conjecture. This case is general enough to cover all locally finite posets, Cartier--Foata monoids, Möbius categories and strict (directed) restriction species. The proof is 2-categorical. First, we construct a local strict model of $U$, which is then used to show by hand that the Lawvere interval construction, considered as a natural transformation, does not admit other self-modifications than the identity. △ Less

Submitted 29 January, 2023; v1 submitted 21 March, 2021; originally announced March 2021.

Comments: Lemma 4.5 has been corrected

MSC Class: 18N10; 18N50; 06A11; 16T15