home.social
Sign in Create account

#relationalarrows — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #relationalarrows, aggregated by home.social.

  1. Jon Awbrey @[email protected] ·

    Relational Arrows ⟿

    Relations have types.
    Types are functions.
    Functions are relations.

    Relation Theory
    • ncatlab.org/nlab/revision/rela

    Relational Arrows
    • ncatlab.org/nlab/revision/rela

    #CategoryTheory #Mathematics
    #RelationTheory #RelationalArrows

    #mathematics #relationalarrows #relationtheory #categorytheory