catlog
catlog copied to clipboard
mikeshulman
Categorical logic from a categorical point of view
Hello Mike! `catlog.tex` includes a bibliography via `\bibliography{all}`. The corresponding `all.bib` bibliography file is not checked into the repository. https://github.com/mikeshulman/catlog/blob/master/catlog.tex#L47
7 years later, still reading this awesome text... the difference now is that I have the maturity to understand and use it in my work.
Metadata
Owner
Metadata
Categorical logic from a categorical point of view