Segal Condition Meets Computational Effects

Abstract

Every finitary monad T on the category of sets is described by an algebraic theory whose n-ary operations are the elements of the free algebra Tn generated by n letters. This canonical presentation of the monad (called its Lawvere theory)offers a precious guideline in the search for an intuitive presentation of the monad by generators and relations. Hence… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics