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.
    • CommentAuthortomr
    • CommentTimeApr 24th 2019

    Wiki has interesting chapter that adjoint functors can be used for optimization, I guess more in the sense of finding optimal objects, structures. Is this original idea whose first exposition is in the wiki article or maybe there are available some references and elaborations of this idea? It would be good to know them? References will suffice, I can study them further.

    Also, I guess, such optimization can use for solving the “optimal, paradox free deontic logic” as sketched in my previous question

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 24th 2019

    I’m not sure there’s much more to say than what’s at universal construction, Kan extension, adjoint functor and related pages.

    I wonder if with Simon Willerton’s treatment of the Legendre-Fenchel transform in enriched category theory, the description as ’optimization’ becomes literal. There’s a flavour of his idea here.

    As for your logic case, sounds like you’re after some kind of initial object in a category of non-degenerate somethings, but conditions would have to be specified.

    Adjunctions certainly crop up in logic. E.g., you can form a left and a right adjoint to the forgetful functor from the category of Boolean algebras to that of Heyting algebras (here).