Murat Kasimov

More about me

Я language (β)

/Я language (β)/Glossary/Limit/

Limit is a special object with an unique morphism into it.

Product is a limit of both Arrow and Scope categories:

i `RA___` i `P` ii `AR___` ii i `TA___` i `P` ii `AT___` ii

Colimit is a special object with an unique morphism from it.

Sum is a colimit of both Arrow and Scope categories:

i `AR___` i `S` ii `RA___` ii i `AT___` i `S` ii `TA___` ii