Subcategories.FullSubcategory

Full subcategory a category C.

Documentation

data FullSubcategory c m o

The datatype for full subcategories of a given category containing given objects.

Constructors

FullSubcategory c [o]

Instances

(Eq c, Eq o) => Eq (FullSubcategory c m o)

Defined in Subcategories.FullSubcategory

Methods

(==) :: FullSubcategory c m o -> FullSubcategory c m o -> Bool

(/=) :: FullSubcategory c m o -> FullSubcategory c m o -> Bool

(Show c, Show o) => Show (FullSubcategory c m o)

Defined in Subcategories.FullSubcategory

Methods

showsPrec :: Int -> FullSubcategory c m o -> ShowS

show :: FullSubcategory c m o -> String

showList :: [FullSubcategory c m o] -> ShowS

(PrettyPrintable c, PrettyPrintable o) => PrettyPrintable (FullSubcategory c m o)

Defined in Subcategories.FullSubcategory

Methods

pprint :: FullSubcategory c m o -> String

(FiniteCategory c m o, Morphism m o, Eq m, Eq o) => GeneratedFiniteCategory (FullSubcategory c m o) m o

Defined in Subcategories.FullSubcategory

Methods

genAr :: FullSubcategory c m o -> o -> o -> [m]

decompose :: FullSubcategory c m o -> m -> [m]

genArrows :: FullSubcategory c m o -> [m]

(FiniteCategory c m o, Morphism m o, Eq m, Eq o) => FiniteCategory (FullSubcategory c m o) m o

Defined in Subcategories.FullSubcategory

Methods

ob :: FullSubcategory c m o -> [o]

identity :: FullSubcategory c m o -> o -> m

ar :: FullSubcategory c m o -> o -> o -> [m]

arrows :: FullSubcategory c m o -> [m]