https://github.com/homalg-project/categoricaltowers
Towers of category constructors
https://github.com/homalg-project/categoricaltowers
categorical-towers category-constructors category-of-copresheaves category-of-presheaves category-theory cocompletions completions finite-coequalizer-completion finite-colimit-cocompletion finite-equalizer-completion finite-limit-completion finite-strict-coproduct-completion finite-strict-product-completion
Last synced: 7 months ago
JSON representation
Towers of category constructors
- Host: GitHub
- URL: https://github.com/homalg-project/categoricaltowers
- Owner: homalg-project
- License: gpl-2.0
- Created: 2022-11-22T18:33:19.000Z (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2024-04-22T12:48:36.000Z (over 1 year ago)
- Last Synced: 2024-04-22T13:57:04.720Z (over 1 year ago)
- Topics: categorical-towers, category-constructors, category-of-copresheaves, category-of-presheaves, category-theory, cocompletions, completions, finite-coequalizer-completion, finite-colimit-cocompletion, finite-equalizer-completion, finite-limit-completion, finite-strict-coproduct-completion, finite-strict-product-completion
- Language: GAP
- Homepage:
- Size: 18.6 MB
- Stars: 4
- Watchers: 7
- Forks: 4
- Open Issues: 21
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# CategoricalTowers [![View code][code-img]][code-url]
### Towers of category constructors
| Build Status | Code Coverage |
| ------------ | ------------- |
| [![Build Status][tests-img]][tests-url] | [![Code Coverage][codecov-img]][codecov-url] |
### Packages of [CategoricalTowers](/../../):
| Name | Description | Documentation |
| ---- | ----------- | ------------- |
| [Algebroids](Algebroids#readme) | Algebroids and bialgebroids as preadditive categories generated by enhanced quivers | [![HTML stable documentation][html-Algebroids-img]][html-Algebroids-url] [![PDF stable documentation][pdf-Algebroids-img]][pdf-Algebroids-url] |
| [CategoriesWithAmbientObjects](CategoriesWithAmbientObjects#readme) | Categories with objects having ambient objects | [![HTML stable documentation][html-CategoriesWithAmbientObjects-img]][html-CategoriesWithAmbientObjects-url] [![PDF stable documentation][pdf-CategoriesWithAmbientObjects-img]][pdf-CategoriesWithAmbientObjects-url] |
| [CatReps](CatReps#readme) | Representations and cohomology of finite categories | [![HTML stable documentation][html-CatReps-img]][html-CatReps-url] [![PDF stable documentation][pdf-CatReps-img]][pdf-CatReps-url] |
| [ExteriorPowersCategories](ExteriorPowersCategories#readme) | The graded category of exterior powers of objects of a given Ab-category | [![HTML stable documentation][html-ExteriorPowersCategories-img]][html-ExteriorPowersCategories-url] [![PDF stable documentation][pdf-ExteriorPowersCategories-img]][pdf-ExteriorPowersCategories-url] |
| [FiniteCocompletions](FiniteCocompletions#readme) | Finite (co)product/(co)limit (co)completions | [![HTML stable documentation][html-FiniteCocompletions-img]][html-FiniteCocompletions-url] [![PDF stable documentation][pdf-FiniteCocompletions-img]][pdf-FiniteCocompletions-url] |
| [FpCategories](FpCategories#readme) | Finitely presented categories by generating quivers and relations | [![HTML stable documentation][html-FpCategories-img]][html-FpCategories-url] [![PDF stable documentation][pdf-FpCategories-img]][pdf-FpCategories-url] |
| [FunctorCategories](FunctorCategories#readme) | Categories of functors | [![HTML stable documentation][html-FunctorCategories-img]][html-FunctorCategories-url] [![PDF stable documentation][pdf-FunctorCategories-img]][pdf-FunctorCategories-url] |
| [GradedCategories](GradedCategories#readme) | Graded closures of categories | [![HTML stable documentation][html-GradedCategories-img]][html-GradedCategories-url] [![PDF stable documentation][pdf-GradedCategories-img]][pdf-GradedCategories-url] |
| [InternalModules](InternalModules#readme) | Modules over internal algebras | [![HTML stable documentation][html-InternalModules-img]][html-InternalModules-url] [![PDF stable documentation][pdf-InternalModules-img]][pdf-InternalModules-url] |
| [IntrinsicCategories](IntrinsicCategories#readme) | Intrinsic categories for CAP | [![HTML stable documentation][html-IntrinsicCategories-img]][html-IntrinsicCategories-url] [![PDF stable documentation][pdf-IntrinsicCategories-img]][pdf-IntrinsicCategories-url] |
| [IntrinsicGradedModules](IntrinsicGradedModules#readme) | Finitely presented graded modules over computable graded rings allowing multiple presentations and the notion of elements | [![HTML stable documentation][html-IntrinsicGradedModules-img]][html-IntrinsicGradedModules-url] [![PDF stable documentation][pdf-IntrinsicGradedModules-img]][pdf-IntrinsicGradedModules-url] |
| [IntrinsicModules](IntrinsicModules#readme) | Finitely presented modules over computable rings allowing multiple presentations and the notion of elements | [![HTML stable documentation][html-IntrinsicModules-img]][html-IntrinsicModules-url] [![PDF stable documentation][pdf-IntrinsicModules-img]][pdf-IntrinsicModules-url] |
| [LazyCategories](LazyCategories#readme) | Construct an equivalent lazy category out of a CAP category | [![HTML stable documentation][html-LazyCategories-img]][html-LazyCategories-url] [![PDF stable documentation][pdf-LazyCategories-img]][pdf-LazyCategories-url] |
| [Locales](Locales#readme) | Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets | [![HTML stable documentation][html-Locales-img]][html-Locales-url] [![PDF stable documentation][pdf-Locales-img]][pdf-Locales-url] |
| [PreSheaves](PreSheaves#readme) | Categories of (co)presheaves | [![HTML stable documentation][html-PreSheaves-img]][html-PreSheaves-url] [![PDF stable documentation][pdf-PreSheaves-img]][pdf-PreSheaves-url] |
| [QuotientCategories](QuotientCategories#readme) | Quotient categories | [![HTML stable documentation][html-QuotientCategories-img]][html-QuotientCategories-url] [![PDF stable documentation][pdf-QuotientCategories-img]][pdf-QuotientCategories-url] |
| [SubcategoriesForCAP](SubcategoriesForCAP#readme) | Subcategory and other related constructors for CAP categories | [![HTML stable documentation][html-SubcategoriesForCAP-img]][html-SubcategoriesForCAP-url] [![PDF stable documentation][pdf-SubcategoriesForCAP-img]][pdf-SubcategoriesForCAP-url] |
| [ToolsForCategoricalTowers](ToolsForCategoricalTowers#readme) | Tools for CategoricalTowers | [![HTML stable documentation][html-ToolsForCategoricalTowers-img]][html-ToolsForCategoricalTowers-url] [![PDF stable documentation][pdf-ToolsForCategoricalTowers-img]][pdf-ToolsForCategoricalTowers-url] |
| [Toposes](Toposes#readme) | Elementary toposes | [![HTML stable documentation][html-Toposes-img]][html-Toposes-url] [![PDF stable documentation][pdf-Toposes-img]][pdf-Toposes-url] |
| [ZariskiFrames](ZariskiFrames#readme) | (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties | [![HTML stable documentation][html-ZariskiFrames-img]][html-ZariskiFrames-url] [![PDF stable documentation][pdf-ZariskiFrames-img]][pdf-ZariskiFrames-url] |
[html-Algebroids-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-Algebroids-url]: https://homalg-project.github.io/CategoricalTowers/Algebroids/doc/chap0_mj.html
[pdf-Algebroids-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-Algebroids-url]: https://homalg-project.github.io/CategoricalTowers/Algebroids/download_pdf.html
[html-CategoriesWithAmbientObjects-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-CategoriesWithAmbientObjects-url]: https://homalg-project.github.io/CategoricalTowers/CategoriesWithAmbientObjects/doc/chap0_mj.html
[pdf-CategoriesWithAmbientObjects-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-CategoriesWithAmbientObjects-url]: https://homalg-project.github.io/CategoricalTowers/CategoriesWithAmbientObjects/download_pdf.html
[html-CatReps-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-CatReps-url]: https://homalg-project.github.io/CategoricalTowers/CatReps/doc/chap0_mj.html
[pdf-CatReps-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-CatReps-url]: https://homalg-project.github.io/CategoricalTowers/CatReps/download_pdf.html
[html-ExteriorPowersCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-ExteriorPowersCategories-url]: https://homalg-project.github.io/CategoricalTowers/ExteriorPowersCategories/doc/chap0_mj.html
[pdf-ExteriorPowersCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-ExteriorPowersCategories-url]: https://homalg-project.github.io/CategoricalTowers/ExteriorPowersCategories/download_pdf.html
[html-FiniteCocompletions-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-FiniteCocompletions-url]: https://homalg-project.github.io/CategoricalTowers/FiniteCocompletions/doc/chap0_mj.html
[pdf-FiniteCocompletions-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-FiniteCocompletions-url]: https://homalg-project.github.io/CategoricalTowers/FiniteCocompletions/download_pdf.html
[html-FpCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-FpCategories-url]: https://homalg-project.github.io/CategoricalTowers/FpCategories/doc/chap0_mj.html
[pdf-FpCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-FpCategories-url]: https://homalg-project.github.io/CategoricalTowers/FpCategories/download_pdf.html
[html-FunctorCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-FunctorCategories-url]: https://homalg-project.github.io/CategoricalTowers/FunctorCategories/doc/chap0_mj.html
[pdf-FunctorCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-FunctorCategories-url]: https://homalg-project.github.io/CategoricalTowers/FunctorCategories/download_pdf.html
[html-GradedCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-GradedCategories-url]: https://homalg-project.github.io/CategoricalTowers/GradedCategories/doc/chap0_mj.html
[pdf-GradedCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-GradedCategories-url]: https://homalg-project.github.io/CategoricalTowers/GradedCategories/download_pdf.html
[html-InternalModules-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-InternalModules-url]: https://homalg-project.github.io/CategoricalTowers/InternalModules/doc/chap0_mj.html
[pdf-InternalModules-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-InternalModules-url]: https://homalg-project.github.io/CategoricalTowers/InternalModules/download_pdf.html
[html-IntrinsicCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-IntrinsicCategories-url]: https://homalg-project.github.io/CategoricalTowers/IntrinsicCategories/doc/chap0_mj.html
[pdf-IntrinsicCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-IntrinsicCategories-url]: https://homalg-project.github.io/CategoricalTowers/IntrinsicCategories/download_pdf.html
[html-IntrinsicGradedModules-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-IntrinsicGradedModules-url]: https://homalg-project.github.io/CategoricalTowers/IntrinsicGradedModules/doc/chap0_mj.html
[pdf-IntrinsicGradedModules-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-IntrinsicGradedModules-url]: https://homalg-project.github.io/CategoricalTowers/IntrinsicGradedModules/download_pdf.html
[html-IntrinsicModules-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-IntrinsicModules-url]: https://homalg-project.github.io/CategoricalTowers/IntrinsicModules/doc/chap0_mj.html
[pdf-IntrinsicModules-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-IntrinsicModules-url]: https://homalg-project.github.io/CategoricalTowers/IntrinsicModules/download_pdf.html
[html-LazyCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-LazyCategories-url]: https://homalg-project.github.io/CategoricalTowers/LazyCategories/doc/chap0_mj.html
[pdf-LazyCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-LazyCategories-url]: https://homalg-project.github.io/CategoricalTowers/LazyCategories/download_pdf.html
[html-Locales-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-Locales-url]: https://homalg-project.github.io/CategoricalTowers/Locales/doc/chap0_mj.html
[pdf-Locales-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-Locales-url]: https://homalg-project.github.io/CategoricalTowers/Locales/download_pdf.html
[html-PreSheaves-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-PreSheaves-url]: https://homalg-project.github.io/CategoricalTowers/PreSheaves/doc/chap0_mj.html
[pdf-PreSheaves-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-PreSheaves-url]: https://homalg-project.github.io/CategoricalTowers/PreSheaves/download_pdf.html
[html-QuotientCategories-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-QuotientCategories-url]: https://homalg-project.github.io/CategoricalTowers/QuotientCategories/doc/chap0_mj.html
[pdf-QuotientCategories-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-QuotientCategories-url]: https://homalg-project.github.io/CategoricalTowers/QuotientCategories/download_pdf.html
[html-SubcategoriesForCAP-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-SubcategoriesForCAP-url]: https://homalg-project.github.io/CategoricalTowers/SubcategoriesForCAP/doc/chap0_mj.html
[pdf-SubcategoriesForCAP-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-SubcategoriesForCAP-url]: https://homalg-project.github.io/CategoricalTowers/SubcategoriesForCAP/download_pdf.html
[html-ToolsForCategoricalTowers-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-ToolsForCategoricalTowers-url]: https://homalg-project.github.io/CategoricalTowers/ToolsForCategoricalTowers/doc/chap0_mj.html
[pdf-ToolsForCategoricalTowers-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-ToolsForCategoricalTowers-url]: https://homalg-project.github.io/CategoricalTowers/ToolsForCategoricalTowers/download_pdf.html
[html-Toposes-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-Toposes-url]: https://homalg-project.github.io/CategoricalTowers/Toposes/doc/chap0_mj.html
[pdf-Toposes-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-Toposes-url]: https://homalg-project.github.io/CategoricalTowers/Toposes/download_pdf.html
[html-ZariskiFrames-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-ZariskiFrames-url]: https://homalg-project.github.io/CategoricalTowers/ZariskiFrames/doc/chap0_mj.html
[pdf-ZariskiFrames-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-ZariskiFrames-url]: https://homalg-project.github.io/CategoricalTowers/ZariskiFrames/download_pdf.html
[tests-img]: https://github.com/homalg-project/CategoricalTowers/actions/workflows/Tests.yml/badge.svg?branch=master
[tests-url]: https://github.com/homalg-project/CategoricalTowers/actions/workflows/Tests.yml?query=branch%3Amaster
[codecov-img]: https://codecov.io/gh/homalg-project/CategoricalTowers/branch/master/graph/badge.svg
[codecov-url]: https://app.codecov.io/gh/homalg-project/CategoricalTowers
[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github
[code-url]: https://github.com/homalg-project/CategoricalTowers#top