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