Category Theory
(Up) | See also: Mathematics
Web resources
Category Theory | Logic Matters ★
computational trinitarianism in nLab ★
Is every category a localization of a poset? ★ 💭
(in Programming Languages) CHARITY - Home Page ★
(in Type Theory) Recursive Types for Free! (Philip Wadler) ★
Papers
Physics, Topology, Logic and Computation: A Rosetta Stone (online @ arxiv.org)
Books
Categories, types, and structures (online @ www.di.ens.fr) (borrow @ archive.org)
Category Theory for Programmers (online @ bartoszmilewski.com) ★
History of
by-topic
/
Category Theory
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Trim some more resource titles. Chris Pressey 1 year, 4 months ago
- When rebuilding, rewrite Markdown documents according to schema. Chris Pressey 1 year, 4 months ago
- Update the borrowability status of books listed on archive.org. Chris Pressey 1 year, 4 months ago
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey 1 year, 4 months ago
- Make make_anchor() produce more correct anchors. Chris Pressey 1 year, 6 months ago
- Add seven papers that I was (once) intending to read. Chris Pressey 1 year, 6 months ago
- Add two webpages in Programming Languages. Chris Pressey 1 year, 6 months ago
- Fix implementation of make_anchor. Feedmark maintainers take note! Chris Pressey 1 year, 6 months ago
- Fix commentary links. Chris Pressey 1 year, 6 months ago
- Extract ratings to own files. Chris Pressey 1 year, 6 months ago
- Rename commentary files. Chris Pressey 1 year, 6 months ago
- Link to commentary on entries that have a detectable amount of it. Chris Pressey 1 year, 9 months ago
- Show ratings on books and papers too. Chris Pressey 1 year, 9 months ago
- Render rating next to each entry that has one, in the READMEs. Chris Pressey 1 year, 9 months ago
- Link to the originating topic, for secondary-topic entries. Chris Pressey 1 year, 9 months ago
- Resources in multiple topics are now rendered in multiple READMEs. Chris Pressey 1 year, 9 months ago
- Format interlinks more usefully. Chris Pressey 2 years ago
- Checkpoint removing `src` directories. Chris Pressey 2 years ago
- Fix link. Chris Pressey 2 years ago
- Link back up, add "Web resources" heading to READMEs. Chris Pressey 2 years ago
- Link see-also links to anchor Chris Pressey 2 years ago
- Checkpoint migrating files into `by-topic` directory. Chris Pressey 2 years ago