Murat Kasimov

More about me

Я language (β)

/Я language (β)/Glossary/Representing/

Lax Representing object is the one that participate in natural transformations of such a shape:

: target ( t o ) ( hom object o ) : target ( t a ) ( hom a object )

Lax co-Representing object, respectively:

: target ( hom object o ) ( t o ) : target ( hom a object ) ( t a )

It's called lax since these natural transformations do not necessary form Representable functors - i.e. natural isomorphisms are not guaranteed.