+ All Categories

The top documents of lucius-gregory-meredith

Towards the Mathematics of Quantum Field Theory
Towards the Mathematics of Quantum Field Theory
528 views
ScalaFlow: Continuation-based Data Flow in Scala
ScalaFlow: Continuation-based Data Flow in Scala
1.373 views
Programming with Arrows
Programming with Arrows
231 views
Monadic framework for delimited continuations
Monadic framework for delimited continuations
227 views
Foundations of Nominal Techniques
Foundations of Nominal Techniques
221 views
An introduction to Conway's Games and Numbers
An introduction to Conway's Games and Numbers
223 views
A convenient differential category
A convenient differential category
218 views
Tensor product for symmetric monoidal categories
Tensor product for symmetric monoidal categories
219 views
BIMONADS AND HOPF MONADS ON CATEGORIES
BIMONADS AND HOPF MONADS ON CATEGORIES
217 views
A Diagrammatic Approach to Categorifying Quantum Groups III
A Diagrammatic Approach to Categorifying Quantum Groups III
218 views
A Diagrammatic Approach to Categorifying Quantum Groups I
A Diagrammatic Approach to Categorifying Quantum Groups I
220 views
Calculus of extensive quantities
Calculus of extensive quantities
214 views
Monads and extensive quantities
Monads and extensive quantities
233 views
Abstracting abstract machines
Abstracting abstract machines
221 views