Paolo Perrone: Composing partial evaluations

Paolo Perrone: Composing partial evaluations

Brandon Shapiro: Compositional structure of partial evaluationsSee more

Brandon Shapiro: Compositional structure of partial evaluations

Kan extensions are partial colimits, Paolo Perrone, 11/02/2021See more

Kan extensions are partial colimits, Paolo Perrone, 11/02/2021

Paolo Perrone --- Categorical probability, Markov categories, and the de Finetti theorem.See more

Paolo Perrone --- Categorical probability, Markov categories, and the de Finetti theorem.

Paolo Perrone: Kan extensions are partial colimitsSee more

Paolo Perrone: Kan extensions are partial colimits

Tutorial: What is a probability monad? (Paolo Perrone)See more

Tutorial: What is a probability monad? (Paolo Perrone)

Paolo Perrone. Monads, partial evaluations, and rewriting.See more

Paolo Perrone. Monads, partial evaluations, and rewriting.

Paolo Perrone: Probability monads and stochastic dominanceSee more

Paolo Perrone: Probability monads and stochastic dominance

Tutorial: Probabilistic programming - a categorical tutorial (Sam Staton)See more

Tutorial: Probabilistic programming - a categorical tutorial (Sam Staton)

Paolo Perrone: "The rise of quantitative category theory"See more

Paolo Perrone: 'The rise of quantitative category theory'

ACT 2020 Tutorial: Monads and comonads (Paolo Perrone)See more

ACT 2020 Tutorial: Monads and comonads (Paolo Perrone)

Partial evaluations: The results so farSee more

Partial evaluations: The results so far

Introduction to Markov categories - Paolo PerroneSee more

Introduction to Markov categories - Paolo Perrone

News