Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/alessioborgi/category_theory
A Category Theory Java Library exploring its concepts and their applications in computer science and mathematics.
https://github.com/alessioborgi/category_theory
category css fxml html java java-fx swing theory
Last synced: about 5 hours ago
JSON representation
A Category Theory Java Library exploring its concepts and their applications in computer science and mathematics.
- Host: GitHub
- URL: https://github.com/alessioborgi/category_theory
- Owner: alessioborgi
- License: mit
- Created: 2021-05-08T20:45:14.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2024-09-14T12:39:54.000Z (5 months ago)
- Last Synced: 2024-12-07T02:12:08.153Z (about 2 months ago)
- Topics: category, css, fxml, html, java, java-fx, swing, theory
- Language: Java
- Homepage:
- Size: 516 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
README
# Category Theory
**Copyright © 2021 Alessio Borgi, Elena Muia, Francesco Danese, Federica Valeau**
**PROJECT SCOPE**: Develop a Java Library to represent Category Theory Set. This project consists in an exploration of category theory concepts and their applications in computer science and mathematics, providing implementations, examples, and explanations of key category theory principles, making abstract mathematical ideas more accessible. Ideal for students, researchers, and developers interested in the theoretical foundations of programming and logic.
**PROJECT RESULTS**:
- User authentication.
- Graphical Interface (JavaFX & Java Swing-based).
- Six categories development: Semigroup, Monoid, Group, Ring, Set, and Vector Category.
- Submenus and keyboard shortcuts implementation.
- Java’s Threads to handle time and date.
- Nodes (Objects) and Morphisms graphical creation.
**PROJECT SITE**: https://categorytheory.altervista.org/
**PROJECT REPOSITORY**: https://github.com/alessioborgi/Category_Theory_Project