Pseudomonad (category theory)¶

A higher-categorical monad whose unit and multiplication laws hold up to coherent invertible cells.

Version: v1 · 2026-09-28 · History
Domain-specific #: 11552
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Higher Category Theory, Category Theory → Mathematics

Core Idea¶

A pseudomonad weakens ordinary monad equations in a controlled higher-dimensional way. An endo action T still has unit η and multiplication μ. Instead of requiring the unit and associativity composites to be literally equal, it supplies specified invertible higher cells between them and demands further coherence. 'Up to isomorphism' is not license to ignore the laws: the witnesses and their compatibility are part of the object.

The diagram pseudomonad sends a category to its diagrams, puts an object into a one-object diagram, and flattens diagrams of diagrams. The small-presheaf pseudomonad uses Yoneda and weighted-colimit multiplication. Both come from an authored construction with size restrictions; they show why an exact ambient 2-category and coherence convention matter. A strict 2-monad fits as a special case, but not every pseudomonad has strictly equal laws in its given presentation.

Structural Signature¶

Sig role-phrases:

Ambient higher category — Supplies objects, morphisms, 2-cells, and higher coherence conventions. It is constitutive. Counterfactual: An ordinary set endofunction without 2-cell structure is not enough.
Endo action T — Maps each ambient object/category back into the same higher setting. It is constitutive. Counterfactual: An unrelated functor between different categories lacks the endo structure.
Unit η — Embeds the identity into T through a suitable transformation. It is constitutive. Counterfactual: A closure-like endo action without unit data is incomplete.
Multiplication μ — Combines a double application T² into T. It is constitutive. Counterfactual: Two iterations without a flattening operation do not yield the monad operation.
Coherent invertible cells — Witness associativity and unit comparisons and satisfy coherence equations. It is constitutive. Counterfactual: Merely asserting that two composites are isomorphic without compatible witnesses is insufficient.
Size and convention boundary — Specifies locally small/small diagram conditions and strict-versus-pseudo choices. It is central. Counterfactual: An unrestricted presheaf construction on large categories may fail to live in the stated CAT setting.

What It Is Not¶

Not an ordinary monad synonym. Strict equality is a special case, not the general rule.
Not arbitrary isomorphism. Coherent invertible witnesses are required.
Not an endofunctor alone. Unit and multiplication data are constitutive.
Not biology's pseudomonad. The carrier is higher-category structure.
Closest near-miss. A strict 2-monad is a special degenerate case where comparison cells can be identities; formulations on 2-categories, bicategories, and Gray categories differ in their surrounding cell structure and size assumptions.

Scope of Application¶

Higher category theory. Study monad-like algebra under weak associativity and units.
Categorical completion. Model free diagram and small-presheaf completion operations.
Pseudoalgebra theory. Relate chosen colimit structures to actions of pseudomonads.
Formal semantics. Check coherence and size before transferring monadic constructions.

Clarity¶

A pseudomonad has the familiar T, unit, and multiplication of a monad, but its laws can be witnessed by coherent invertible higher cells rather than strict equalities. The diagram construction C↦Diag(C) and small-presheaf construction C↦P(C) are documented instances. Stating only 'up to isomorphism' omits the crucial coherence conditions.

Manages Complexity¶

Coherence packages many possible rebracketings and unit insertions into compatible transformations. The abstraction lets weakly associative constructions be handled systematically, while size and ambient-category choices prevent a concise formula from becoming ill-typed.

Abstract Reasoning¶

Specify the ambient 2-category or bicategorical convention and size universe.
Define the endo action T on objects, arrows, and relevant higher cells.
Supply a suitable unit η:1⇒T.
Supply multiplication μ:T²⇒T.
Give invertible unit and associativity comparisons.
Verify their coherence equations and inspect a worked object such as a diagram-of-diagrams.

Knowledge Transfer¶

The pseudomonad architecture applies to several categorical completion processes, but an ordinary weak analogy about repeated operations is not a literal pseudomonad. Higher-cell data, well-typed transformations, and coherence must survive transfer.

Examples¶

Canonical¶

Perrone and Tholen's paper gives a complete diagram-pseudomonad construction on CAT: C is sent to its category of small diagrams, η inserts a one-object diagram, and μ flattens a diagram of diagrams through the Grothendieck construction. Their verified comparison cells and size conditions make this a precise worked instance of the formal pseudomonad laws.

Mapped back: Ambient higher category → CAT of locally small categories under the authors' size convention; Endo action T → C ↦ Diag(C); Unit η → one-object diagram inclusion; Multiplication μ → flattening diagram of diagrams; Coherent invertible cells → author-proved pseudomonad unit/associativity comparisons; Size and convention boundary → small indexing categories and locally small C.

Applied / In Practice¶

The same primary research develops a distinct small-presheaf pseudomonad P(C), applying the coherent unit/multiplication framework to Yoneda insertion and free weighted-colimit combination. Its purpose is a separate categorical construction, not a software deployment; it does not license unrestricted presheaves over every large category or silently identify the diagram and presheaf pseudomonads.

Mapped back: Ambient higher category → CAT under local-smallness and small-presheaf restrictions; Endo action T → C ↦ P(C); Unit η → Yoneda embedding; Multiplication μ → weighted-colimit combination of presheaves; Coherent invertible cells → pseudonaturality/coherence exhibited in the construction; Size and convention boundary → only small presheaves where required.

Structural Tensions¶

T1 — Strict Laws versus Flexible Equivalence. Demanding literal equalities simplifies bookkeeping but excludes naturally associative-up-to-isomorphism constructions; weakening the laws adds coherence obligations.

Diagnostic: Which equalities are genuinely structural rather than chosen presentation?

T2 — Unrestricted Construction versus Size Control. Large presheaf families increase expressive reach but can fail to inhabit the chosen category of categories; smallness keeps operations well-typed at a cost.

Diagnostic: What size universe or small-presheaf rule is stated?

T3 — Abstract Axioms versus Worked Multiplication. A compact pseudomonoid definition travels widely but hides how nested data flatten in particular examples.

Diagnostic: Can η and μ be given on the chosen objects?

Structural–Framed Character¶

The portable-looking skeleton is an iterated endo-operation with unit and multiplication laws witnessed by coherent higher cells. It is a provisional coherent-structure candidate, not a new prime or an asserted DAG parent; the pseudomonad's typed 2-categorical data are indispensable.

Evaluative weight: Low in the definition, although usefulness depends on the construction being modeled. Human-practice-bound: Low in the relevant sense: formal conventions specify the ambient 2-category, but validity is determined by mathematical typing and coherence, not a social role. Institutional origin: Category-theoretic practice supplies the terminology and acceptable presentation; it does not make coherence optional. Vocabulary travels: “Pseudomonad” can be used across appropriate higher-categorical settings, not for every weakly associative process. Import versus recognize: If a new setting supplies the required endo-action, unit, multiplication, invertible witnesses, and coherent laws, a pseudomonad may be recognized there; merely borrowing the word imports only an analogy.

Its character: A formally defined specialist structure whose general schema travels only with its higher-cell obligations.

Structural Core vs. Domain Accent¶

Skeletal core. Iterated operation plus unit and composition laws relaxed through coherent witnesses. Domain-bound accent. 2-functors, pseudonatural transformations, modifications, and categorical size conditions are literal. Transfer boundary. A merely approximately associative workflow has no typed higher cells and is only an analogy.

This entry is a kind of Mathematical structure.

Approved root. The live catalog has Category and Functor neighbors but no exact monad or pseudomonad higher-structure genus verified as a strict parent.
Neighbor. A strict 2-monad embeds as a special case; a pseudomonad is not simply any monad on a category.

Relationships to Other Abstractions¶

Current abstraction Pseudomonad (category theory) Domain-specific

Parents (1) — more general patterns this builds on

Pseudomonad (category theory) is a kind of Mathematical structure Domain-specific

Pseudomonad (category theory) is a strict kind of Mathematical structure: its frozen identity entails the parent's defining structure while adding domain-specific restrictions.

Hierarchy path (1) — routes to 1 parentless root

Pseudomonad (category theory) → Mathematical structure → Set and Membership

Neighborhood in Abstraction Space¶

Pseudomonad (category theory) sits in a crowded region of the domain-specific corpus (39^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Category Theory & Higher Structures (18 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Ordinary monad. Tell: Its laws are given as equality in a 1-category rather than specified coherent higher comparisons.
Pseudofunctor. Tell: Supplies an action but not unit/multiplication and pseudomonad coherence.
Pseudomonoid. Tell: An abstract monoidal-higher-category presentation that requires endo context to become a pseudomonad.
Pseudomonas. Tell: A bacterial genus unrelated to this mathematical identity.

References¶

Gambino and Lobbia, On the formal theory of pseudomonads and pseudodistributive laws: primary Gray-category definition and coherent modifications.
Perrone and Tholen, Kan Extensions are Partial Colimits: worked diagram and small-presheaf pseudomonads, including unit/multiplication and size conditions.
Frozen Wikipedia discovery revision: discovery only; its malformed attribution and formula are not adopted.