Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorporton
    • CommentTimeMay 16th 2015
    • (edited May 16th 2015)

    I construct a category, which I call “category of pointfree funcoid triples”, you may find it in my draft book.

    Currently in the above mentioned PDF file there are several errors (marked with red-font FIXME) on this topic, however this does not matter.

    This category of reloid triples can be extended to a greater precategory “precategory of pointfree funcoid triples” which is not a category.

    I present this category in my book just for completeness, I don’t use them later in my research.

    My question: Is it worth to care about precategories? I mean: Is it worth to introduce special definition and/or notation for this precategory which has only some, not all identities? Or does missing identities make it uninteresting and not worth mentioning?

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 16th 2015

    See semicategory. They certainly have their uses.