A Type-Theoretic Definition of Lax (∞,∞)-Limits. - Thomas Jan Mikhail (CoRR, 2024)

Fuzzy Simplicial Sets and Their Application to Geometric Data Analysis. - Lukas Silvester Barth; Hannaneh Fahimi; Parvaneh Joharinad; Jürgen Jost; Janis Keck; Thomas Jan Mikhail (Appl. Categorical Struct., 2025)