ACT 2020 Tutorial: Introduction to string diagrams (Fabrizio Genovese)

ACT 2020 Tutorial: Introduction to string diagrams (Fabrizio Genovese)

Category Theory III 2.1: String Diagrams part 1See more

Category Theory III 2.1: String Diagrams part 1

Category Theory III 2.2, String Diagrams part 2See more

Category Theory III 2.2, String Diagrams part 2

[3S2] Fabrizio Genovese, idris-ctSee more

[3S2] Fabrizio Genovese, idris-ct

String diagrams for structural causal modelling and inferenceSee more

String diagrams for structural causal modelling and inference

ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)See more

ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)

String Diagrams for Assembly PlanningSee more

String Diagrams for Assembly Planning

Guillaume Boisseau: String diagrams for optics (FSCD B)See more

Guillaume Boisseau: String diagrams for optics (FSCD B)

String diagrams 1See more

String diagrams 1

String diagrams 2See more

String diagrams 2

ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl)See more

ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl)

News