6 citations · 6 across the 1 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2007★ 1 cited
Cofibrant complexes are free
Francois Metayer
We define a notion of cofibration among n-categories and show that the cofibrant objects are exactly the free ones, that is those generated by polygraphs.
math.CT2004★ 6 cited
State monads and their algebras
Francois Metayer
State monads in cartesian closed categories are those defined by the familiar adjunction between product and exponential. We investigate the structure of their algebras, and show t…