Category Theory, Computer Algebra and Theoretical Physics

or cancel
  1. SIUC Seminar | Dr. Zbigniew Oziewicz | Introduction to Some Concepts in Category Theory

    45:11

    from SIUC Department of Mathematics Added 303 1 0

    Dr. Zbigniew Oziewicz is a Professor at Universdad Nacional Autonama de Mexico and is visiting Dr. Jerzy Kocik this week.

    + More details
    • An Introduction to Category Theory - FP-Syd talk

      01:06:18

      from Alex Mason Added 6,295 35 2

      Dominic Verity presents a gentle introduction to Category Theory, perfect for those who've been playing with Haskell for some time and wanted to know what it's all about. Abstract: Speaker:…

      + More details
      • Untitled

        39:29

        from Jamie Vicary Added 136 1 0

        Talk by Bruce Bartlett at "Categories, Logic and the Foundations of Physics".

        + More details
        • Relativity Groupoid Instead of Relativity Group

          01:59:38

          from billpage Added 47 0 1

          The Lorentz relativity group if and only if there is a preferred reference system Ether. No preferred reference system (relativity principle) imply no relativity group, instead must be relativity…

          + More details
          • The Strategy Challenge in Computer Algebra

            52:19

            from Galois Video Added 436 7 0

            abstract: In automated deduction, strategy is a vital ingredient in effective proof search. Strategy comes in many forms, but the key is this: user-specifiable adaptations of general reasoning mechanisms…

            + More details
            • Databases are Categories

              01:13:19

              from Galois Video Added 2,925 21 5

              Talk presented by David Spivak on June 3, 2010, part of the Galois Tech Talk series. See http://www.galois.com/blog/2010/05/27/tech-talk-categories-are-databases/ for slides and further information.

              + More details

              Your membership in this group is pending until moderator approval

              Category Theory, Computer Algebra and Theoretical Physics

              billpage Created by billpage

              Presentations and discussions about applications of computer algebra in theoretical physics and the importance of category theory to both of these subjects.

              See also: axiom-wiki.newsynthesis.org

              Browse This Group

              Similar Groups

              This is a Vimeo Group. Groups allow you to create mini communities around the things you like. Check out other interesting groups. Groups