Cover Image

Calculating monad transformers with category theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Manzyuk, Oleksandr
Format:	Preprint
Published:	2025
Subjects:	Category Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Discrete Lawvere theories and monads
by: Rosický, Jiří
Published: (2024)

A duality between monads and monadic morphisms
by: Heine, Hadrian
Published: (2017)

Between Markov and restriction: Two more monads on categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)

Free monad sequences and extension operations
by: Sattler, Christian
Published: (2025)

The bounded ideal monad on the category of quasi-metric spaces and its algebras
by: Wang, Kai, et al.
Published: (2024)

Duality for coalgebras for Vietoris and monadicity
by: Abbadini, Marco, et al.
Published: (2023)

Diagrammatic category theory
by: Nakahira, Kenji
Published: (2023)

On unification of categories associated with F -transforms and fuzzy pretopological spaces as Qua category
by: Tripathi, Abha, et al.
Published: (2025)

Differential torsion theories on Eilenberg-Moore categories of monads
by: Ahuja, Divya, et al.
Published: (2024)

Eilenberg-Moore categories and quiver representations of monads and comonads
by: Ahuja, Divya, et al.
Published: (2023)

Cofinal morphism of polynomial monads and double delooping
by: De Leger, Florian
Published: (2022)

Polynomials in homotopy type theory as a Kleisli category
by: Harington, Elies, et al.
Published: (2024)

Generalization of formal monad theory to lax functors
by: Hirata, Kengo
Published: (2023)

Enriched Morita theory of monoids in a closed symmetric monoidal category
by: Lee, Jaehyeok, et al.
Published: (2023)

A monoidal category of dependently sorted algebraic theories II: categorical aspects
by: Almeida, Daniel
Published: (2026)

Sweedler theory for double categories
by: Aravantinos-Sotiropoulos, Vasileios, et al.
Published: (2024)

Pushforward monads
by: Mateo, Adrián Doña
Published: (2024)

Straightening for lax transformations and adjunctions of $(\infty,2)$-categories
by: Abellán, Fernando, et al.
Published: (2024)

Extriangulated length categories: torsion classes and $τ$-tilting theory
by: Wang, Li, et al.
Published: (2025)

On the equivalence invariance of formal category theory
by: Verdugo, Paula
Published: (2025)

Stable homotopy theory of higher categories
by: Heine, Hadrian
Published: (2026)

Cartesian differential categories as skew enriched categories
by: Garner, Richard, et al.
Published: (2020)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

Idempotence for relative monads
by: Arkor, Nathanael, et al.
Published: (2025)

A monoidal category of dependently sorted algebraic theories I: syntax
by: Almeida, Daniel
Published: (2025)

Colimits and cocompletions in internal higher category theory
by: Martini, Louis, et al.
Published: (2021)

Tilting theory for extended module categories
by: Zhou, Yu
Published: (2024)

Mackey functors from the viewpoint of double category theories
by: Wu, Mawei
Published: (2025)

Characterizations of higher derivations and higher differential torsion theories in Eilenberg-Moore categories of monads
by: Paik, Dipti, et al.
Published: (2026)

Dévissage for Algebraic K-theory of Small Stable $\infty$-categories
by: Wei, Chunhui
Published: (2026)

Monads on dagger categories
by: Heunen, Chris, et al.
Published: (2016)

Homotopical presentation of categories
by: Lee, Seunghun
Published: (2024)

Taming large categories
by: Kaledin, D.
Published: (2024)

Accessible bridge between category theory and functional programming
by: Kadhi, Fethi
Published: (2024)

The reflectivity of some categories of T0 spaces in domain theory
by: Shen, Chong, et al.
Published: (2021)

Regular categories, oligomorphic monoids, and tensor categories
by: Snowden, Andrew
Published: (2024)

Monobricks in extriangulated length categories
by: Mei, Yuxia, et al.
Published: (2025)

Pita factorisation in operadic categories
by: Batanin, Michael, et al.
Published: (2025)

Reflective centers as categories of modules
by: Schauenburg, Peter
Published: (2025)

Para construction for double categories
by: Femić, Bojana
Published: (2025)