arxiv: 2605.03102 · v1 · submitted 2026-05-04 · 🧮 math.CT

Recognition: unknown

Monads in 2-categories

Aaron David Fairbanks

Pith reviewed 2026-05-08 01:43 UTC · model grok-4.3

classification 🧮 math.CT

keywords 2-categoriesmonadsdouble categoriesmonad morphismsmonad transformationsformal theory of monads

0 comments

The pith

Monads inside any 2-category assemble into two double categories.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives a compact account of monads when the ambient structure is itself a 2-category. It shows how the multiplication, unit, algebras, morphisms, and transformations are defined using the 2-cells already present in that structure. The principal new step is the construction of two double categories whose objects are exactly these monads. If the constructions hold, monad maps become 1-cells that compose in two independent directions while the 2-cells record the transformations between them. This matters because it turns the collection of all monads in a 2-category into an object that can be studied with the full toolkit of double-category theory.

Core claim

In any 2-category the usual data of a monad, its morphisms, and its transformations can be interpreted using the 2-cells of the ambient structure. These data assemble into two double categories: the objects are the monads, the vertical and horizontal 1-cells are two different sorts of monad morphism, and the 2-cells are monad transformations, all equipped with the expected composition laws that are compatible with the 2-categorical associators and unitors.

What carries the argument

Two double categories of monads whose cells simultaneously encode monads, their morphisms of both kinds, and the transformations between those morphisms.

Load-bearing premise

The 2-category obeys the standard coherence axioms that let the monad diagrams be interpreted without ambiguity.

What would settle it

Explicitly construct one of the double categories inside the 2-category of small categories, functors and natural transformations, then check whether the horizontal composition of two monad morphisms is again a monad morphism and is associative.

read the original abstract

This is a condensed overview of the formal theory of monads in a 2-category. We also define two double categories of monads in a 2-category, extending Lack and Street's 2-categories of monads.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Fairbanks defines two new double categories of monads in a 2-category extending Lack and Street, on top of a condensed overview of the formal theory.

read the letter

The key takeaway is that Fairbanks has defined two double categories of monads in a 2-category by extending the 2-categories of monads introduced by Lack and Street. The rest is a condensed overview of the standard formal theory. The paper does well in keeping things concise and directly building on established foundations without reinventing the wheel. The definitions appear to follow naturally from the 2-categorical setting, and the extension to double categories makes sense for capturing both horizontal and vertical aspects of monads. Where it is softer is in the lack of substantial new theorems or concrete applications. Purely definitional papers can be valuable for organizing ideas, but without showing how these double categories simplify proofs or reveal new phenomena, the work feels preliminary. The soundness rests on verifying that the proposed compositions and units satisfy the double category axioms, which the abstract does not detail but which should be straightforward if done carefully. This is aimed at specialists in category theory, particularly those interested in monads and 2-dimensional algebra. A reader who knows the basics of 2-categories and monads will find it accessible and potentially useful as a reference. Overall, it is worth a serious referee's time to confirm the constructions and assess their potential.

Referee Report

0 major / 3 minor

Summary. The paper provides a condensed overview of the formal theory of monads in a 2-category and defines two double categories of monads in a 2-category that extend the 2-categories of monads previously introduced by Lack and Street.

Significance. If the definitions are consistent with the axioms of 2-category theory and satisfy the double-category axioms (associativity, unit laws, and interchange), the constructions supply a natural higher-dimensional setting for monads that supports both vertical and horizontal composition. This could streamline arguments involving monad morphisms, distributive laws, and coherence in enriched or internal contexts, building directly on standard 2-categorical machinery without introducing new parameters or ad-hoc axioms.

minor comments (3)

The introduction should explicitly state which portions of the overview are standard recollections of the formal theory of monads (e.g., the 2-category of monads) versus the new double-category constructions, to help readers distinguish the contribution.
In the sections defining the two double categories, the horizontal and vertical unit and composition operations should be accompanied by a brief, self-contained verification that the interchange law holds, even if the verification is routine; this would make the extension claim immediately verifiable without external references.
Notation for the objects, horizontal arrows, and vertical arrows of the new double categories should be introduced with a small comparison table or diagram against the Lack–Street 2-categories to clarify the precise extension.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity; pure definitional extension of standard 2-category theory

full rationale

The paper is an overview plus definitional extension of monads in 2-categories, building two double categories on Lack-Street 2-categories of monads. No equations, predictions, or claims reduce by construction to fitted inputs, self-citations, or renamed prior results. All load-bearing steps are explicit definitions whose validity rests on verifying standard double-category axioms (associativity, units, interchange) against the given data; this is independent of the paper's own content and does not invoke any of the enumerated circularity patterns. The work is self-contained against external benchmarks in 2-category theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is populated from standard background assumptions in 2-category theory rather than specific claims in the paper. No free parameters or invented entities are mentioned.

axioms (1)

standard math Standard axioms of 2-category theory including associativity and unit laws for composition of 1-morphisms and 2-morphisms.
The overview of monads in a 2-category presupposes the usual coherence conditions of 2-categories.

pith-pipeline@v0.9.0 · 5302 in / 1260 out tokens · 34410 ms · 2026-05-08T01:43:22.117166+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

146 extracted references · 46 canonical work pages

[1]

Bulletin of the Australian Mathematical Society , author=

Colimits of algebras revisited , volume=. Bulletin of the Australian Mathematical Society , author=. 1977 , pages=. doi:10.1017/S0004972700010704 , number=

work page doi:10.1017/s0004972700010704 1977
[2]

Introduction to coalgebra , volume =

Adamek, Jiri , year =. Introduction to coalgebra , volume =
[3]

2002 , note =

A classification of accessible categories , journal =. 2002 , note =. doi:https://doi.org/10.1016/S0022-4049(02)00126-3 , author =

work page doi:10.1016/s0022-4049(02)00126-3 2002
[4]

, title =

Adamek, Jiri and Herrlich, Horst and Strecker, George E. , title =. 1990 , isbn =

1990
[5]

Theory and Applications of Categories , author=

On finitary functors , volume=. Theory and Applications of Categories , author=. 2019 , pages=

2019
[6]

Mathematical Structures in Computer Science , author=

On varieties and covarieties in a category , volume=. Mathematical Structures in Computer Science , author=. 2003 , pages=. doi:10.1017/S0960129502003882 , number=

work page doi:10.1017/s0960129502003882 2003
[7]

and Rosicky, J

Adamek, J. and Rosicky, J. , year=. Locally Presentable and Accessible Categories , publisher=
[8]

A Formula for Codensity Monads and Density Comonads , volume=

Adamek, Jiri and Sousa, Lurdes , year=. A Formula for Codensity Monads and Density Comonads , volume=. doi:https://doi.org/10.1007/s10485-018-9530-6 , journal=

work page doi:10.1007/s10485-018-9530-6
[9]

Limits for Lax Morphisms , volume=

Stephen Lack , year=. Limits for Lax Morphisms , volume=. doi:https://doi.org/10.1007/s10485-005-2958-5 , journal=

work page doi:10.1007/s10485-005-2958-5
[10]

, year =

Adamek, Jiri and Velebil, J. , year =. Analytic functors and weak pullbacks , volume =
[11]

Marcelo Aguiar , title =
[12]

2016 , Eprint =

Danel Ahman and Tarmo Uustalu , Title =. 2016 , Eprint =

2016
[13]

Taking Updates Seriously , booktitle =

Danel Ahman and Tarmo Uustalu , editor =. Taking Updates Seriously , booktitle =. 2017 , url =

2017
[14]

2025 , eprint=

Exponentiable virtual double categories and presheaves for double categories , author=. 2025 , eprint=

2025
[15]

2024 , issn =

The formal theory of relative monads , journal =. 2024 , issn =. doi:https://doi.org/10.1016/j.jpaa.2024.107676 , author =

work page doi:10.1016/j.jpaa.2024.107676 2024
[16]

2025 , issn =

Relative monadicity , journal =. 2025 , issn =. doi:https://doi.org/10.1016/j.jalgebra.2024.08.040 , author =

work page doi:10.1016/j.jalgebra.2024.08.040 2025
[17]

1993 , issn =

Terminal coalgebras in well-founded set theory , journal =. 1993 , issn =. doi:https://doi.org/10.1016/0304-3975(93)90076-6 , author =

work page doi:10.1016/0304-3975(93)90076-6 1993
[18]

Grillet, Donovan H

Michael Barr, Pierre A. Grillet, Donovan H. Osdol , title =. Lecture Notes in Mathematics , publisher =. 1971 , address =

1971
[19]

Toposes, Triples, and Theories , publisher=

Michael Barr and Charles Wells , year=. Toposes, Triples, and Theories , publisher=
[20]

Jonathan Mock Beck , title =
[21]

Distributive laws

Beck, Jonathan Mock. Distributive laws. Seminar on Triples and Categorical Homology Theory. 1969

1969
[22]

Gregory J Bird , title =
[23]

Blackwell , title =

R. Blackwell , title =
[24]

Pacific Journal of Mathematics , number =

Andreas Blass , title =. Pacific Journal of Mathematics , number =
[25]

Handbook of Categorical Algebra , publisher=

Borceux, Francis , year=. Handbook of Categorical Algebra , publisher=
[26]

2024 , note=

Bicategorical enrichment in algebra , author =. 2024 , note=

2024
[27]

Category Theory 1991: Proceedings of an International Summer Category Theory Meeting, Held June 23-30, 1991 , publisher =

Dominique Bourn , title =. Category Theory 1991: Proceedings of an International Summer Category Theory Meeting, Held June 23-30, 1991 , publisher =

1991
[28]

Mathematical Structures in Computer Science , author=

Connected limits, familial representability and Artin glueing , volume=. Mathematical Structures in Computer Science , author=. 1995 , pages=. doi:10.1017/S0960129500001183 , number=

work page doi:10.1017/s0960129500001183 1995
[29]

, copyright =

Introduction to extensive and distributive categories , journal =. 1993 , issn =. doi:https://doi.org/10.1016/0022-4049(93)90035-R , author =

work page doi:10.1016/0022-4049(93)90035-r 1993
[30]

Journal of the Australian Mathematical Society

Reflective subcategories, localizations and factorization systems , volume=. Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics , author=. 1985 , pages=. doi:10.1017/S1446788700023624 , number=

work page doi:10.1017/s1446788700023624 1985
[31]

2022 , month = feb, url =

Bryce Clarke , title =. 2022 , month = feb, url =

2022
[32]

2022 , note=

Enriched lenses , author =. 2022 , note=

2022
[33]

2022 , eprint=

An introduction to enriched cofunctors , author=. 2022 , eprint=

2022
[34]

and Shulman, Michael , journal =

Cruttwell, G.S.H. and Shulman, Michael , journal =. A unified framework for generalized multicategories , volume =
[35]

1980 , issn =

Multimonads and multimonadic categories , journal =. 1980 , issn =. doi:https://doi.org/10.1016/0022-4049(80)90081-X , author =

work page doi:10.1016/0022-4049(80)90081-x 1980
[36]

2020 , issn =

Codensity: Isbell duality, pro-objects, compactness and accessibility , journal =. 2020 , issn =. doi:https://doi.org/10.1016/j.jpaa.2020.106379 , author =

work page doi:10.1016/j.jpaa.2020.106379 2020
[37]

2022 , url=

Recognizing Retromorphisms Retrospectively , author =. 2022 , url=

2022
[38]

The category of asymmetric lenses and its proxy pullbacks , year =

Matthew. The category of asymmetric lenses and its proxy pullbacks , year =
[39]

Dubuc , title =

Eduardo J. Dubuc , title =. 1970 , address =

1970
[40]

Adjoint triangles

Dubuc, Eduardo. Adjoint triangles. Reports of the Midwest Category Seminar II. 1968

1968
[41]

Mathematical Proceedings of the Cambridge Philosophical Society , author=

Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures , volume=. Mathematical Proceedings of the Cambridge Philosophical Society , author=. 1993 , pages=. doi:10.1017/S0305004100071760 , number=

work page doi:10.1017/s0305004100071760 1993
[42]

Introduction to Coalgebra: Towards Mathematics of States and Observation , publisher=

Jacobs, Bart , year=. Introduction to Coalgebra: Towards Mathematics of States and Observation , publisher=
[43]

1997 , author =

A tutorial on (co)algebras and (co)induction , journal =. 1997 , author =

1997
[44]

2001 , note =

On the structure of categories of coalgebras , journal =. 2001 , note =. doi:https://doi.org/10.1016/S0304-3975(00)00124-9 , author =

work page doi:10.1016/s0304-3975(00)00124-9 2001
[45]

, title =

Johnstone, Peter T. , title =. Bulletin of the London Mathematical Society , volume =. doi:https://doi.org/10.1112/blms/7.3.294 , year =

work page doi:10.1112/blms/7.3.294
[46]

, TITLE =

Johnstone, Peter T. , TITLE =. 2002 , MRCLASS =

2002
[47]

Monads in 2-categories , author=
[48]

2026 , note=

Comonads as spaces , author=. 2026 , note=

2026
[49]

2026 , journal=

Doubly weak double categories , author=. 2026 , journal=

2026
[50]

2011 , issn =

Monads in double categories , journal =. 2011 , issn =. doi:https://doi.org/10.1016/j.jpaa.2010.08.003 , author =

work page doi:10.1016/j.jpaa.2010.08.003 2011
[51]

2012 , note =

Ionads , journal =. 2012 , note =. doi:https://doi.org/10.1016/j.jpaa.2012.02.013 , author =

work page doi:10.1016/j.jpaa.2012.02.013 2012
[52]

doi:https://doi.org/10.1007/978-1-4612-0615-6 , Year =

Robert Goldblatt , Title =. doi:https://doi.org/10.1007/978-1-4612-0615-6 , Year =

work page doi:10.1007/978-1-4612-0615-6
[53]

An Introduction to Regular Categories

Gran, Marino. An Introduction to Regular Categories. New Perspectives in Algebra, Topology and Categories: Summer School, Louvain-la-Neuve, Belgium, September 12-15, 2018 and September 11-14, 2019. 2021. doi:10.1007/978-3-030-84319-9_4

work page doi:10.1007/978-3-030-84319-9_4 2018
[54]

Adjoint for double categories , volume =

Grandis, Marco and Par. Adjoint for double categories , volume =. Cahiers de Topologie et G
[55]

1974 , author =

Formal category theory: adjointness for 2-categories , publisher =. 1974 , author =

1974
[56]

1999 , address=

Elements of the general theory of coalgebras , author =. 1999 , address=

1999
[57]

Functors for Coalgebras , volume =

H. Functors for Coalgebras , volume =. Algebra Universalis , doi =. 2001 , pages =

2001
[58]

2000 , note =

Coalgebraic structure from weak limit preserving functors , journal =. 2000 , note =. doi:https://doi.org/10.1016/S1571-0661(05)80346-9 , author =

work page doi:10.1016/s1571-0661(05)80346-9 2000
[59]

Coalgebras of bounded type , volume=

H. Coalgebras of bounded type , volume=. Mathematical Structures in Computer Science , year=. doi:10.1017/S0960129501003590 , number=

work page doi:10.1017/s0960129501003590
[60]

Types and coalgebraic structure , year =

H. Types and coalgebraic structure , year =. Algebra Universalis , doi =
[61]

2023 , issn =

Combinatorial and accessible weak model categories , journal =. 2023 , issn =. doi:https://doi.org/10.1016/j.jpaa.2022.107191 , author =

work page doi:10.1016/j.jpaa.2022.107191 2023
[62]

Introducing String Diagrams: The Art of Category Theory , publisher=

Hinze, Ralf and Marsden, Dan , year=. Introducing String Diagrams: The Art of Category Theory , publisher=
[63]

The graphical theory of monads , volume=

Ralf Hinze and Dan Marsden , year=. The graphical theory of monads , volume=. doi:10.1017/S095679682500005X , journal=

work page doi:10.1017/s095679682500005x
[64]

, pages =

Huber, Peter J. , pages =. Homotopy theory in general categories , volume=. doi:10.1007/BF01396534 , journal=

work page doi:10.1007/bf01396534
[65]

2011 , issn =

Symmetric cubical sets , journal =. 2011 , issn =. doi:https://doi.org/10.1016/j.jpaa.2010.08.001 , author =

work page doi:10.1016/j.jpaa.2010.08.001 2011
[66]

2021 , month = jan, isbn =

Johnson, Niles and Yau, Donald , title =. 2021 , month = jan, isbn =

2021
[67]

Une th´ eorie combinatoire des s´ eries formelles

Une th\'eorie combinatoire des s\'eries formelles , journal =. 1981 , issn =. doi:https://doi.org/10.1016/0001-8708(81)90052-9 , author =

work page doi:10.1016/0001-8708(81)90052-9 1981
[68]

Bulletin of the Australian Mathematical Society , author=

A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on , volume=. Bulletin of the Australian Mathematical Society , author=. 1980 , pages=. doi:10.1017/S0004972700006353 , number=

work page doi:10.1017/s0004972700006353 1980
[69]

and Lack, Stephen , journal =

Kelly, G.M. and Lack, Stephen , journal =. On the monadicity of categories with chosen colimits , volume =
[70]

Kelly, G. M. and Street, Ross. Review of the elements of 2-categories. Category Seminar. 1974

1974
[71]

Theory and Applications of Categories , volume=

On pointwise Kan extensions in double categories , author=. Theory and Applications of Categories , volume=
[72]

Journal of Pure and Applied Algebra , volume =

The formal theory of monads. Journal of Pure and Applied Algebra , volume =. 2002 , note =. doi:https://doi.org/10.1016/S0022-4049(02)00137-8 , author =

work page doi:10.1016/s0022-4049(02)00137-8 2002
[73]

Leinster, Tom , Title =
[74]

Theory and Applications of Categories , Year =

Codensity and the ultrafilter monad , Author =. Theory and Applications of Categories , Year =
[75]

Libkind, Sophie and Spivak, David I. , year=. Pattern Runs on Matter: The Free Monad Monad as a Module over the Cofree Comonad Comonad , volume=. doi:10.4204/eptcs.429.1 , ournal=

work page doi:10.4204/eptcs.429.1
[76]

Linton, F. E. J. Coequalizers in categories of algebras. Seminar on Triples and Categorical Homology Theory. 1969

1969
[77]

2025 , eprint=

V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases , author=. 2025 , eprint=

2025
[78]

Linton, F. E. J. and Par \'e , R. Injectives in topoi, I : Representing coalgebras as algebras. Categorical Topology. 1979

1979
[79]

Mac Lane, Saunders , Title =
[80]

Mac Lane, Saunders and Moerdijk, Ieke , Title =. 1994. doi:10.1007/978-1-4612-0927-0

work page doi:10.1007/978-1-4612-0927-0 1994

Showing first 80 references.