rabuf / applied-category-theoryLinks
GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
☆45Updated 7 years ago
Alternatives and similar repositories for applied-category-theory
Users that are interested in applied-category-theory are comparing it to the libraries listed below
Sorting:
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆55Updated 10 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Deposited packages of the homalg project☆14Updated last month
- An experimental category theory library for Lean☆51Updated last year
- A graphical editor for graph-like structures☆97Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated 8 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- ☆47Updated last year
- Theorem proving in Lean☆49Updated 7 months ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- An encyclopedia of proofs☆60Updated 6 months ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- ☆23Updated 3 years ago
- ☆114Updated 10 months ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆27Updated last year
- A topological data analysis library for Haskell☆29Updated 4 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 2 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 3 years ago
- CAP project -- Categories, Algorithms, and Programming☆26Updated 2 weeks ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- The MMT Language and System☆74Updated 10 months ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago
- Commutative diagrams with TikZ☆52Updated 2 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago