scientific article; zbMATH DE number 2172974

MaRDI QIDQ4680362zbMATH OpenFDO

Authors Marcelo P. Fiore, Matias Menni

Publication date 1 June 2005

Full work available at URL https://eudml.org/doc/125160, http://www.emis.de/journals/TAC/volumes/15/2/15-02abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

combinatorial structuresfactorization systemsJoyal speciesKleisli categoriesmonadspower seriesSchanuel topos

Mathematics Subject Classification ID

Factorials, binomial coefficients, combinatorial functions (05A10) Functor categories, comma categories (18A25) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Recommendations

• Factorization systems as Eilenberg-Moore algebras
• Adjoint monads and an isomorphism of the Kleisli categories
• Order-adjoint monads and injective objects
• How iterative reflections of monads are constructed
• Exponential Kleisli monoids as Eilenberg-Moore algebras

Cited in

(11)

• Factorization systems as Eilenberg-Moore algebras
• Multi-\({\mathcal E}\)-reflective and bireflective subcategories of partial algebras
• Coreflectivity of \(E\)-monads and algebraic hulls
• scientific article; zbMATH DE number 3914531 (Why is no real title available?)
• Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp
• A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
• The étendue of a combinatorial space and its dimension
• Equalizer in the Kleisli category of the n-fuzzy powerset monad
• Automata and coalgebras in categories of species
• Equivalence and conditional independence in atomic sheaf logic
• Equivalence and conditional independence in atomic sheaf logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4680362)