Skip to content

Latest commit

 

History

History
184 lines (118 loc) · 14.2 KB

README.md

File metadata and controls

184 lines (118 loc) · 14.2 KB

CategoricalTowers View code

Towers of category constructors

Build Status Code Coverage
Build Status Code Coverage

Packages of CategoricalTowers:

Name Description Documentation
Algebroids Algebroids and bialgebroids as preadditive categories generated by enhanced quivers HTML stable documentation PDF stable documentation
CategoriesWithAmbientObjects Categories with objects having ambient objects HTML stable documentation PDF stable documentation
CatReps Representations and cohomology of finite categories HTML stable documentation PDF stable documentation
ExteriorPowersCategories The graded category of exterior powers of objects of a given Ab-category HTML stable documentation PDF stable documentation
FiniteCocompletions Finite (co)product/(co)limit (co)completions HTML stable documentation PDF stable documentation
FpCategories Finitely presented categories by generating quivers and relations HTML stable documentation PDF stable documentation
FunctorCategories Categories of functors HTML stable documentation PDF stable documentation
GradedCategories Graded closures of categories HTML stable documentation PDF stable documentation
InternalModules Modules over internal algebras HTML stable documentation PDF stable documentation
IntrinsicCategories Intrinsic categories for CAP HTML stable documentation PDF stable documentation
IntrinsicGradedModules Finitely presented graded modules over computable graded rings allowing multiple presentations and the notion of elements HTML stable documentation PDF stable documentation
IntrinsicModules Finitely presented modules over computable rings allowing multiple presentations and the notion of elements HTML stable documentation PDF stable documentation
LazyCategories Construct an equivalent lazy category out of a CAP category HTML stable documentation PDF stable documentation
Locales Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets HTML stable documentation PDF stable documentation
PreSheaves Categories of (co)presheaves HTML stable documentation PDF stable documentation
QuotientCategories Quotient categories HTML stable documentation PDF stable documentation
SubcategoriesForCAP Subcategory and other related constructors for CAP categories HTML stable documentation PDF stable documentation
ToolsForCategoricalTowers Tools for CategoricalTowers HTML stable documentation PDF stable documentation
Toposes Elementary toposes HTML stable documentation PDF stable documentation
ZariskiFrames (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties HTML stable documentation PDF stable documentation