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.
    • CommentAuthorjonatan
    • CommentTimeNov 24th 2015
    • (edited Nov 24th 2015)
    Is it possible to infer morphisms and properties of the higher order categories from the properties and morphisms of the lower order categories? Are there applications of such kind of zooming or microscopy in math? I have recently read about logic as category which has statements as objects and derivation relation as morphisms. But recently I also found different look on logics - there are categories whose objects are whole logics and morphisms are translations among logics. Apparently one can construct here lkower-higher order category structures and make lot of theory and applications. Is that possible and is it wise endeavour to pursue?

    References:
    John L. Bell.The Development of Categorical Logic - logic as category
    Peter Arndt. Homotopical Categories of Logics - category of logics