Categorification of Rule Algebras in Compositional Rewriting Systems

Categorification of Rule Algebras in Compositional Rewriting Systems

Institut des Hautes Etudes Scientifiques (IHES) via YouTube Direct link

Formalization

3 of 12
Previous
Next

3 of 12

Formalization

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Categorification of Rule Algebras in Compositional Rewriting Systems

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Intro
  2. 2 Motivation
  3. 3 Formalization
  4. 4 Double Categories
  5. 5 Horizontal Composition
  6. 6 Double Category
  7. 7 Coend
  8. 8 Multisums
  9. 9 Nonnegative integer coefficients
  10. 10 Algebra
  11. 11 Example
  12. 12 Conclusion

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.