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
    • CommentTimeJul 25th 2012
    I discovered today a new category (related to topology):

    See this math.SE question.

    Am I the first who has described this category or have I come again with somebody other's discovery?
    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeJul 25th 2012

    Looks like just the full subcategory of Lax(2,Pos)Lax(2,Pos) on the endomorphisms.

    • CommentRowNumber3.
    • CommentAuthorporton
    • CommentTimeJul 25th 2012
    Where to read about "Lax"? (preferably open access on the Web)
    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeJul 25th 2012

    lax natural transformation (there I think the notation used is 2Cat lax(,)2Cat_{lax}(-,-)).

    • CommentRowNumber5.
    • CommentAuthorZhen Lin
    • CommentTimeJul 25th 2012

    I think the inequality specified in the question means we want oplax transformations (in the terminology of the linked article).

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeJul 25th 2012

    Oops.