15 citations · 42 across the 10 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Localisable Monads
Carmen Constantin, Nuiok Dicaire, Chris Heunen
Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and grade…
math.CT2021★ 2 cited
Weak cartesian properties of simplicial sets
Carmen Constantin, Tobias Fritz, Paolo Perrone +1
Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of Gálv…