提交: b8d261ac64b8ea6c3eeb0fc378167d23e65058e2 - catabase (git)

A database of categories

Commit MetaInfo

• 修訂: b8d261ac64b8ea6c3eeb0fc378167d23e65058e2 (tree)
• 時間: 2021-09-01 09:17:42
• 作者: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

Wrap up homework and get ready to give my presentation.

Change Summary

• add: Makefile
• add: catabase.db
• add: complexity.db
• add: d.sh
• add: metadata.json
• add: shell.nix
• add: static/custom.css
• add: templates/pages/proofs.html
• add: templates/pages/todo.html
• add: templates/row-catabase-categories.html
• add: templates/row-catabase-cores.html
• add: templates/row-catabase-diagrams.html
• add: templates/row-catabase-karoubi_envelopes.html
• add: templates/row-catabase-restriction_categories.html
• add: templates/row-catabase-universal_objects.html