2 citations · 4 across the 4 of their papers we have counts for
4 papers
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…
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…
Fuzzy Presheaves are Quasitoposes
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
Quasitoposes encompass a wide range of structures, including various categories of graphs. They have proven to be a natural setting for reasoning about the metatheory of algebraic…
Algebraic Presentation of Semifree Monads
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
Monads and their composition via distributive laws have many applications in program semantics and functional programming. For many interesting monads, distributive laws fail to ex…