Search
Results: 2
An enriched view on the extended finitary monad-Lawvere theory correspondence
We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base. Our account explains this correspondence in...
bicategory enriched category monad Lawvere theory Finitary monad Enrichment in a bicategory Locally finitely presentable category Lawvere theory Absolute colimits /dk/atira/pure/subjectarea/asjc/2600/2600 name=General Mathematics /dk/atira/pure/subjectarea/asjc/2600/2614 name=Theoretical Computer Science /dk/atira/pure/subjectarea/asjc/1700/1700 name=General Computer Science
An enriched view on the extended finitary monad-Lawvere theory correspondence
We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base. Our account explains this correspondence in...
bicategory enriched category monad Lawvere theory Finitary monad Enrichment in a bicategory Locally finitely presentable category Lawvere theory Absolute colimits /dk/atira/pure/subjectarea/asjc/2600/2600 name=General Mathematics /dk/atira/pure/subjectarea/asjc/2600/2614 name=Theoretical Computer Science /dk/atira/pure/subjectarea/asjc/1700/1700 name=General Computer Science