GitHub - patrick-nicodemus/research: For preprints and publications, maybe notes

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
.github/workflows		.github/workflows
LiftProfunctor		LiftProfunctor
LimitLiftingThm		LimitLiftingThm
geometry		geometry
kan-extensions		kan-extensions
.gitignore		.gitignore
category-theory-notations.typ		category-theory-notations.typ
ctan-packages.txt		ctan-packages.txt
header.tex		header.tex
preamble.typ		preamble.typ
refs.bib		refs.bib