0000000000019278

AUTHOR

Joachim Kock

showing 2 related works from this author

Polynomial functors and polynomial monads

2009

We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a polynomial endofunctor is polynomial. The relationship with operads and other related notions is explored.

Pure mathematicsPolynomialFunctorGeneral MathematicsMathematics - Category Theory18C15 18D05 18D50 03G30517 - AnàlisiMonad (functional programming)BicategoryMathematics::Algebraic TopologyCartesian closed categoryMathematics::K-Theory and HomologyMathematics::Category TheoryPolynomial functor polynomial monad locally cartesian closed categories W-types operadsFOS: MathematicsPolinomisCategory Theory (math.CT)Mathematics
researchProduct

Monads in double categories

2010

We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.

PolynomialPure mathematicsDemostració Teoria de la02 engineering and technology01 natural sciences510 - Consideracions fonamentals i generals de les matemàtiquesdouble categoriesDistributive law between monadsComputer Science::Logic in Computer ScienceMathematics::Category TheoryFOS: Mathematics0202 electrical engineering electronic engineering information engineeringCategory Theory (math.CT)0101 mathematicsMathematicsDiscrete mathematicsAlgebra and Number TheoryTheory010102 general mathematicsMathematics - Category Theory16. Peace & justiceAdjunctionBicategorySettore MAT/02 - AlgebraCategories (Matemàtica)Monad020201 artificial intelligence & image processing18D05 18C15Journal of Pure and Applied Algebra
researchProduct