Загрузки by Lucius Gregory Meredith

A Diagrammatic Approach to Categorifying Quantum Groups III

A Diagrammatic Approach to Categorifying Quantum Groups II

A Diagrammatic Approach to Categorifying Quantum Groups I

A convenient differential category

Monads and extensive quantities

An introduction to Conway's Games and Numbers

Calculus of extensive quantities

Xquery Tutorial

Programming with Arrows

Enumeration of Generalized Pol Yo Mi Noes

Clowns to the left of me, Jokers to the right

Abstracting abstract machines

Closed nominal rewriting and efficiently computable nominal algebra equality

Yacc is dead

A Rite of Spring

Monadic framework for delimited continuations

Polarity and the logic of delimited continuations

Tensor product for symmetric monoidal categories

Scrap Your Zippers

BIMONADS AND HOPF MONADS ON CATEGORIES

ScalaFlow

Foundations of Nominal Techniques

Hanging Gardens Hanging Man

Arrows

Factor is at Ion

HopfObject