MOAL.maths.category_theory package¶

Submodules¶

MOAL.maths.category_theory.cat_basics module¶

MOAL.maths.category_theory.cat_basics.bazify(thing)[source]¶

MOAL.maths.category_theory.cat_basics.compose_hybrid(arg, **kwargs)[source]¶

MOAL.maths.category_theory.cat_basics.compose_hybrid_hof(**kwargs)[source]¶

MOAL.maths.category_theory.cat_basics.delimit(thing, delimiter=', ')[source]¶

MOAL.maths.category_theory.cat_basics.dictify(*args, **kwargs)[source]¶

Convert arg to a dict.

Args:

arg (mixed) - the thing to convert to a dictionary.

MOAL.maths.category_theory.cat_basics.f(a)[source]¶

MOAL.maths.category_theory.cat_basics.f_g(a, b, arg)[source]¶

MOAL.maths.category_theory.cat_basics.fooify(thing)[source]¶

MOAL.maths.category_theory.cat_basics.g(b)[source]¶

MOAL.maths.category_theory.cat_basics.id(thing)[source]¶

Identity function.

Args:

thing (mixed) - the thing to return.

MOAL.maths.category_theory.cat_basics.listify(*args, **kwargs)[source]¶

Convert arg to a list.

Args:

arg (mixed) - the thing to convert to a list.

MOAL.maths.category_theory.cat_basics.prefix(thing, prefix='_:')[source]¶