nLab Author — Paolo Perrone

Overview

Paolo Perrone has contributed to 110 nLab pages.

Most recent contributions

All pages contributed to

• action
• action monad
• action of a monoidal category
• algebra over a monad
• antilinear map
• applied category theory
• associative unital algebra
• bar construction
• bilinear map
• Borel measure
• category
• category of couplings
• category of monoids
• category theory
• category-theoretic approaches to probability theory
• closed monoidal category
• coalgebra over a comonad
• cofinal diagrams
• commutative algebraic theory
• commutative monad
• comonad
• compact ordered space
• comprehensive factorization system
• convex function
• convex space
• coreader comonad
• correspondence between measure and valuation theory
• dagger equalizer
• derived category
• Dirac distribution
• Dirac measure
• directed join
• discrete fibration
• distribution monad
• distributive law
• dual adjunction
• end
• enriched functor category
• enriched monad
• equivariant
• expectation value
• extended probabilistic powerdomain
• filtered colimit
• final functor
• FinStoch
• fork
• Franco Rota
• free cocompletion
• free monoid
• full and faithful functor
• functor
• Giry monad
• graded monad
• graph
• internal hom of algebras over a commutative monad
• internalization
• Kan extension
• Kantorovich monad
• Kleisli category of a comonad
• Kolmogorov product
• lax morphism
• list of journals publishing homotopy theory and category theory
• locally compact topological space
• Markov category
• measurable Gelfand duality
• module over a monad
• monad
• monad (in computer science)
• monadic descent
• monads of probability, measures, and valuations
• monoid
• monoid in a monoidal category
• monoidal functor
• monoidal monad
• monotone function
• natural transformation
• networks of category theorists
• operad
• Paolo Perrone
• partial evaluation
• pointwise order
• Polish space
• probability theory
• pushforward measure
• quantale
• quasi-Borel space
• quiver
• Radon measure
• Radon monad
• ring
• saturated set
• Scott topology
• small presheaf
• stably compact space
• stochastic order
• strong monad
• support
• tau-additive measure
• tensor product
• tensor product of abelian groups
• tensor product of algebras
• tensor product of algebras over a commutative monad
• tensor product of modules
• ultrafilter
• universal construction
• valuation (measure theory)
• Walter Tholen
• Wasserstein metric
• weighted category
• Yoneda lemma