Post #2636094
2026-05-07 06:58 UTC
Replies (3)
-
@Arpie4Math@mathstodon.xyz 2026-05-07 07:15
@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.
-
@maxsnew@types.pl 2026-05-07 11:55
@mc@mathstodon.xyz @JacquesC2@types.pl Honestly this library is not documented for use by people outside of my lab rn. When we upstream stuff to cubical we clean things up and document them more
-
@JacquesC2@types.pl 2026-05-07 11:56
@mc@mathstodon.xyz I personally go bottom-up. So start at any file, and follow the dependencies until you find the files that have none, and read things on your way back up. @maxsnew@types.pl