2 citations · 2 across the 1 of their papers we have counts for
4 papers
Fuzzy simplicial sets and their application to geometric data analysis
Lukas Silvester Barth, Hannaneh Fahimi, Parvaneh Joharinad +3
In this article, we expand upon the concepts introduced by David Spivak about the relationship between the category of uber metric spaces and the category $\mathbf{sF…
A type-theoretic definition of lax -limits
Thomas Jan Mikhail
We introduce and study a purely syntactic notion of lax cones and -limits on finite computads in \texttt{CaTT}, a type theory for -categories due…
Abacus bicomodule configurations and the Bergner-Osorno-Ozornova-Rovelli-Scheimbauer equivalence
Joachim Kock, Thomas Jan Mikhail
A theorem of Bergner, Osorno, Ozornova, Rovelli, and Scheimbauer states an equivalence between 2-Segal spaces and certain augmented stable double Segal spaces. In this paper we est…
Free loop spaces and the Cauchy--Frobenius Lemma
Joachim Kock, Thomas Jan Mikhail
We upgrade the Cauchy--Frobenius Lemma (`Burnside's Lemma') to a homotopy equivalence of -groupoids, essentially given by double counting/Fubini in the free loop space of t…