64 citations · 159 across the 14 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2025
A causal Markov category with Kolmogorov products
Sean Moss, Sam Staton
In Fritz & Rischel, Infinite products and zero-one laws in categorical probability, the problem was posed of finding an interesting Markov category which is causal and has all (sma…
math.CT2021★ 12 cited
Dialectica models of type theory
Sean K. Moss, Tamara von Glehn
We present two Dialectica-like constructions for models of intensional Martin-Löf type theory based on Gödel's original Dialectica interpretation and the Diller-Nahm variant, bring…
math.CT2015★ 3 cited
Another approach to the Kan-Quillen model structure
Sean Moss
By careful analysis of the comparison map from a simplicial set to its image under Kan's ex-infinity functor we obtain a new and combinatorial proof that it is a weak homotopy equi…