David Jaz Myers - Tutorial on Lenses

preview_player
Показать описание
Tutorial given at Applied Category Theory 2023

  1. Applied Category Theory
  2. applied category theory
  3. category theory
  4. mathematics
  5. computer science
  6. logic
Рекомендации по теме
David Jaz Myers 2:57:18

David Jaz Myers - Tutorial on Lenses

David Jaz Myers: 0:59:50

David Jaz Myers: 'A synthetic approach to orbifolds'

David Jaz Myers: 1:02:19

David Jaz Myers: Open dynamical systems, trajectories and hierarchical planning

David Jaz Myers: 1:04:01

David Jaz Myers: Homotopy type theory for doing category theory

David Jaz Myers: 0:58:55

David Jaz Myers: A general definition of open dynamical system

David Jaz Myers 0:42:41

David Jaz Myers - Degrees, Dimensions, and Crispness

Berkeley Seminar: David 1:04:09

Berkeley Seminar: David Jaz Myers, 8/7/2023

David Jaz Myers: 1:06:53

David Jaz Myers: Paradigms of composition

David Jaz Myers: 1:02:26

David Jaz Myers: The Para Construction as a Distributive Law

[Oxford Seminar] David 1:08:29

[Oxford Seminar] David Jaz Myers | Preservation of 2-algebraic structure by pseudo-functors

David Jaz Myers: 0:40:26

David Jaz Myers: Double Categories of Open Dynamical Systems

[Berkeley Seminar] David 1:00:56

[Berkeley Seminar] David Jaz Myers | Categorical Algebra with Segal Conditions

David Jaz Myers, 1:03:58

David Jaz Myers, Higher Schreier theory

David Jaz Myers 0:27:55

David Jaz Myers - Topological Quantum Gates in Homotopy Type Theory

David Jaz Myers: 0:38:52

David Jaz Myers: 'Three Realisms and The Idea of Sheaves'

David Jaz Myers 0:49:55

David Jaz Myers - Logical Topology and Axiomatic Cohesion

David Jaz Myers 0:51:11

David Jaz Myers --- Contextads: Para and Kleisli constructions as wreath products.

David Jaz Myers, 1:13:37

David Jaz Myers, The tangent bundles of spheres

David Myers: Behavioral 0:29:25

David Myers: Behavioral Mereology: A Modal Logic for Passing Constraints

Modeling Dynamical Systems 0:39:33

Modeling Dynamical Systems with Lenses 2: Lens Composition

Modeling Dynamical Systems 0:21:50

Modeling Dynamical Systems with Lenses 3: Parallel Product

'Simplicial, Differential, and 1:09:45

'Simplicial, Differential, and Equivariant Homotopy Type Theory', talk by David Myers at C...

[HoTT/UF 2021] Modal 0:30:02

[HoTT/UF 2021] Modal Fracture of Higher Grous

Formalities & Informalities: 0:08:27

Formalities & Informalities: HoTT Workflows [Intro to HoTT, No. 2, Part 0]