### Navigation

- index
- modules |
- next |
- previous |
- Category Theory »

# Subquotient Functorial Construction

AUTHORS:

> - Nicolas M. Thiery (2010): initial revision

class `sage.categories.subquotients.``SubquotientsCategory`(category, *args)

  Bases: `sage.categories.covariant_functorial_construction.RegressiveCovariantConstructionCategory`

  TESTS:

      sage: from sage.categories.covariant_functorial_construction import CovariantConstructionCategory
      sage: class FooBars(CovariantConstructionCategory):
      ...       _functor_category = "FooBars"
      sage: Category.FooBars = lambda self: FooBars.category_of(self)
      sage: C = FooBars(ModulesWithBasis(ZZ))
      sage: C
      Category of foo bars of modules with basis over Integer Ring
      sage: C.base_category()
      Category of modules with basis over Integer Ring
      sage: latex(C)
      \mathbf{FooBars}(\mathbf{ModulesWithBasis}_{\Bold{Z}})
      sage: import __main__; __main__.FooBars = FooBars # Fake FooBars being defined in a python module
      sage: TestSuite(C).run()

### Navigation

- index
- modules |
- next |
- previous |
- Category Theory »