Post #2636095

@mc@mathstodon.xyz @JacquesC2@types.pl @maxsnew@types.pl It appears to be a math library, perhaps a Lean library of theorems or the LaTeX source of a manuscript. "Cubical Category" is a term of art which I recognize but cannot define from remembered reading. These guys can't agree on it's definition: https://ncatlab.org/nlab/show/cubical+category CITATION.cff is a YAML file that indicates how the repository is to be cited when used in an academic context. This reinforced the assumption this is math-related academic matter like a manuscript, Lean theorem library, or perhaps custom software to implement an algorithm which is the topic of a paper. As Notes is the most stable folder, it might have useful exposition on the original intent.