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

Name		Name	Last commit message	Last commit date
.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

About

For preprints and publications, maybe notes

1 star

0 watching

Report repository

Releases

Packages

Contributors

Languages