klefki.algebra.isomorphism

Module Contents

Classes

Isomorphism

A morphism f : X → Y in a category is an isomorphism if it admits a two-sided inverse.

class klefki.algebra.isomorphism.Isomorphism(fn)

A morphism f : X → Y in a category is an isomorphism if it admits a two-sided inverse.

class Trunks

Bases: list

Built-in mutable sequence.

If no argument is given, the constructor creates a new empty list. The argument must be an iterable if specified.

__call__(self, *args, **kwargs)

__invert__(self)

__rshift__(self, next)

__lshift__(self, prev)

inverse(self)

__call__(self, *args, **kwargs)

__rshift__(self, next)

__lshift__(self, prev)

static bijection(inverse)

classmethod do(cls, *fns: Iterable[Callable]) → Trunks

__repr__(self)

Return repr(self).

klefki.algebra.isomorphism.bijection

klefki.algebra.isomorphism.do