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).

Atrium > Mathematics, Physics & Philosophy: Should I care about precategories?

Bottom of Page

1 to 2 of 2

  1.  
    • 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.

1 to 2 of 2

  1.