Christian Sattler

activity

20132023

most citedThe Frobenius Condition, Right Properness, and Uniform Fibrations

38 citations · 95 across the 13 of their papers we have counts for

collaborators

Showing 2018Show all

2 papers · 1 filter

math.CT2018

Constructive homotopy theory of marked semisimplicial sets

Christian Sattler

We develop the homotopy theory of semisimplicial sets constructively and without reference to point-set topology to obtain a constructive model for $ω$ -groupoids. Most of the devel…

math.CT2018★ 2 cited

Idempotent completion of cubes in posets

Christian Sattler

This note concerns the category $□$ of cartesian cubes with connections, equivalently the full subcategory of posets on objects $[1]^{n}$ with $n \geq 0$ . We show that the idempot…