Dominic Verity on Category Theory (Part 2)
Loading...
Loading...
9 videosfp-syd - Sydney Functional Programing User Group- 7:38
Type Systems in Theorem Provers - Eric Willigersby GoogleFOSSSydney159 views
- 40:34
specs2: go functional! - Eric Torreborreby GoogleFOSSSydney446 views
- 32:51
PlaySpace (web and OpenGL) - Sean Seefriedby GoogleFOSSSydney66 views
- 17:34
My recent adventures in DDC land - Erik de Castro Lopoby GoogleFOSSSydney57 views
- 48:59
Fermat's Last Theorem (Complete)by dkahn40043,932 views
- 9:05
Monads 1by TheCatsters41,254 views
- 0:43
a little badly done category theory (tenth grade attractor)by diproton614 views
- 10:06
Metric spaces and enriched categories 3by TheCatsters2,770 views
- 9:53
Group objects and Hopf algebras 1by TheCatsters3,985 views
- 8:13
Monads 2by TheCatsters9,467 views
- 14:29
Visualizing Group Theory 1by HarryCarry56,053 views
- 3:41
Introduction to Group Theoryby singingbanana34,850 views
- 9:43
Slice and comma categories 1by TheCatsters1,829 views
- 4:10
Em uma turma de teoria das categorias...by Poltrona36292 views
- 14:29
advcat04by cskurims142 views
- 4:21
Six String Theory - Blues Category - Chicago Bluesby TopOfGuitar2,861 views
- 15:00
advcat05by cskurims159 views
- 3:20
Brian Rotman/Nicolas Salazar-Sutil, "Choreographing Category Theory"by GoldsmithsLondon330 views
- 21:20
Python Fundamentals Training - Functional Programmingby MarakanaTechTV1,350 views
- 7:11
Brian Rotman/ Nicolas Salazar Sutil 'Choreographing Category Theory'by SalazarSutil187 views
The inaudible question around 0:33 is mine,... The question was something like:
"if C contains some objects and there is a tensor from C x C to C, that means that C must already contain objects which are pairs of objects and pairs of pairs of objects and so on, right?"
etorreborre 8 months ago