https://github.com/homalg-project/finsetsforcap

The elementary topos of (skeletal) finite sets
https://github.com/homalg-project/finsetsforcap

elementary-topos finite-sets

Last synced: 2 days ago
JSON representation

The elementary topos of (skeletal) finite sets

• Host: GitHub
• URL: https://github.com/homalg-project/finsetsforcap
• Owner: homalg-project
• License: gpl-2.0
• Created: 2017-05-23T15:22:39.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2024-10-24T10:23:41.000Z (3 months ago)
• Last Synced: 2024-10-25T08:16:48.047Z (3 months ago)
• Topics: elementary-topos, finite-sets
• Language: GAP
• Homepage: https://homalg-project.github.io/FinSetsForCAP/
• Size: 1.56 MB
• Stars: 4
• Watchers: 7
• Forks: 7
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        

# FinSetsForCAP [![View code][code-img]][code-url]

### The elementary topos of (skeletal) finite sets

| Documentation | Latest Release | Build Status | Code Coverage |

| ------------- | -------------- | ------------ | ------------- |

| [![HTML stable documentation][html-img]][html-url] [![PDF stable documentation][pdf-img]][pdf-url] | [![version][version-img]][version-url] [![date][date-img]][date-url] | [![Build Status][tests-img]][tests-url] | [![Code Coverage][codecov-img]][codecov-url] |

---

### Dependencies

To obtain current versions of all dependencies, `git clone` (or `git pull` to update) the following repositories:

|    | Repository | git URL |

|--- | ---------- | ------- |

| 1. | [**homalg_project**](https://github.com/homalg-project/homalg_project#readme) | https://github.com/homalg-project/homalg_project.git |

| 2. | [**CAP_project**](https://github.com/homalg-project/CAP_project#readme) | https://github.com/homalg-project/CAP_project.git |

| 3. | [**Toposes**](https://github.com/homalg-project/Toposes#readme) | https://github.com/homalg-project/Toposes.git |

[html-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg

[html-url]: https://homalg-project.github.io/FinSetsForCAP/doc/chap0_mj.html

[pdf-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg

[pdf-url]: https://homalg-project.github.io/FinSetsForCAP/download_pdf.html

[version-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/FinSetsForCAP/badge_version.json&label=🔗%20version&color=yellow

[version-url]: https://homalg-project.github.io/FinSetsForCAP/view_release.html

[date-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/FinSetsForCAP/badge_date.json&label=🔗%20released%20on&color=yellow

[date-url]: https://homalg-project.github.io/FinSetsForCAP/view_release.html

[tests-img]: https://github.com/homalg-project/FinSetsForCAP/actions/workflows/Tests.yml/badge.svg?branch=master

[tests-url]: https://github.com/homalg-project/FinSetsForCAP/actions/workflows/Tests.yml?query=branch%3Amaster

[codecov-img]: https://codecov.io/gh/homalg-project/FinSetsForCAP/branch/master/graph/badge.svg

[codecov-url]: https://app.codecov.io/gh/homalg-project/FinSetsForCAP

[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github

[code-url]: https://github.com/homalg-project/FinSetsForCAP#top