CategoryTheory Files

Status: Pre-Alpha

Brought to you by: monstr3d

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
CategoryTheory-src-2.2.zip	2010-02-28	1.1 MB	0
Totals: 1 Item		1.1 MB	0

Other Useful Business Software

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

Featured

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Recommended Projects

X-Bc - a GUI to the shell calculator bc
X-Bc (formerly: xbc) is a graphical user interface to the command line calculator bc. All Inputs and Outputs stays visible for editing and comparing. Functionality: trigonometry, number-theory, exponential funcs, scientific constants, primenumbers ...
Mirai Math
Graphical front-end for GNU Octave. Edit formulas in mathematical notation. Uses Octave (Matlab clone) as a math engine.
MathStudio
A wxWidgets-based project aimed to make math-typing, plotting and symbolic math easier; user can easily input, plot and save/load math data in various formats (e.g. MathML). Step-by-step resolution makes this a powerful didactive tool.
MathCast Equation Editor
A Mathematics Equation Editor. Lets you type in equations, which can be added to documents, emails, and webpages or simply exported to picture files. It features a simple graphical interface, equation list management, MathML support, and the unique feature "Mathcasting" for adding math to XHTML.
Hamilton
Hamilton Project is a software package concerning science and math in C++