2 citations · 4 across the 4 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
Simplicial sets generalise many categories of graphs. In this paper, we give a complete characterisation of the Lawvere-Tierney topologies on (semi-)simplicial sets, on bicolored g…
cs.LO2024★ 1 cited
Correspondence between Composite Theories and Distributive Laws
Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen +1
Composite theories are the algebraic equivalent of distributive laws. In this paper, we delve into the details of this correspondence and concretely show how to construct a composi…