Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads

Equivalence Between Enhanced $2$-Sketches and Algebras Over Enhanced $2$-Monads

Context and Motivation

The study presented in "Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads" (2605.04516) addresses foundational issues in $2$-category theory, especially concerning the rigidity and flexibility intrinsic to $2$-dimensional structures. Standard algebraic or categorical approaches often fall short in handling the nuanced coexistence of strictness and laxity present in, for example, monoidal double categories and pseudo double categories. Traditional notions such as strict or pseudo-natural transformations are insufficient to capture the weak morphisms utilized in these richer structures.

This work leverages the innovations of enhanced $2$-sketches—limit sketches internal to a setting (namely the $F$-category of full embeddings) where both “tight” and “loose” morphisms coexist—and connects their model theory with algebras for enhanced $2$-monads. The paper's framework brings together developments in enriched limit sketch theory, orthogonality with respect to classes of morphisms, small object arguments in enriched contexts, and higher monadicity.

Main Results

A key achievement of the work is the establishment of a categorical equivalence: for any enhanced limit $2$-sketch $2$0 with tight cones and any locally presentable enhanced $2$1-category $2$2, the enhanced $2$3-category of models of $2$4 in $2$5—where morphisms are tight (strict) $2$6-natural transformations and loose (weak) $2$7-natural transformations—is canonically equivalent to the enhanced $2$8-category of algebras for a suitable enhanced $2$9-monad $2$0 acting on the category of models on the tight part of $2$1:

$2$2

Here, $2$3 denotes the enhanced $2$4-category of models with strict and weak morphisms, and $2$5 denotes the category of algebras for the enhanced $2$6-monad, again stratified by strict and weak morphisms.

Notable Consequences

Limit Characterization: The above equivalence implies that $2$7 admits exactly the $2$8-rigged limits, and these are the only type of limits the category creates when restricted to the tight part. This provides a complete and precise description of the limiting behavior in such environments.

Generalization of Enriched Orthogonal Subcategory Theorems: The proofs build an enriched orthogonal subcategory theorem, applicable beyond the unenriched setting and for arbitrary classes of morphisms—not just isomorphisms—provided certain factorization and smallness conditions are met.

Broad Applicability: The theory applies uniformly to a plethora of $2$9-categorical structures relevant in both pure and applied category theory, such as monoidal double categories, intercategories, and various flavors of fibrations, as well as their weak morphisms (e.g., $2$0-monoidal functors).

Technical Innovations

Enhanced Limit $2$1-Sketches and $2$2-Categories

Models are constructed as functors enriched in the $2$3-category (whose objects are full embeddings between categories). This enrichment distinguishes between tight (strict) and loose (weak) morphisms at the level of hom-objects, enabling a richer analysis of transformations (natural, pseudo, lax, colax, etc.) in both source and target.

Enriched Orthogonality and Lifting

The work extends the notion of orthogonality and lifting properties—critical in constructing reflective subcategories and for enriched small object arguments—by introducing orthogonality and lifting “with respect to a class” of morphisms in the enriching category. This allows analysis of objects preserving cones not up to isomorphism but up to weaker equivalence, permitting the generalized characterization of limit preservation and reflection in enriched and higher settings.

Monadicity in the Enhanced Context

The paper generalizes classic monadicity theorems to enriched and enhanced $2$4-categorical settings. For a cone-reflecting morphism of limit $2$5-sketches, the induced adjunction on models is shown to be monadic under mild conditions, with explicit structural descriptions of the relevant monads.

Dotted $2$6-Limits

Critical to the explicit construction of limits in categories of models with weak morphisms is the introduction and use of dotted $2$7-limits—a refinement of weighted limits using (possibly weak) natural transformations but strictly on the “tight” morphisms. This innovation is essential for the precise analysis of what limiting diagrams are preserved in enhanced categories of models.

Strong Claims and Numerical Results

• Equivalence of Enhanced Categories: The core formal claim is the equivalence $2$8, not only at the level of objects but also reflecting the structure of strict and weak morphisms.
• Complete Characterization of Limits: The restriction functor from $2$9 to its tight models creates precisely the $2$0-rigged limits and no more (i.e., it does not create other types of limits), fully characterizing the limiting behavior for all model categories of enhanced $2$1-sketches with tight cones.
• Reflectivity and Monadicity for Arbitrary Enriched Models: For $2$2-categories with locally presentable enrichment and an appropriate weak factorization system, the subcategory of $2$3-models for any limit $2$4-sketch is shown to be reflective and the adjunction onto models is monadic.

Theoretical and Practical Implications

This work delivers a robust foundation for understanding, representing, and manipulating $2$5-dimensional categorical structures—especially those that arise with mixtures of strict and weak coherence. It streamlines the process of defining morphisms, transformations, and limits in applied settings such as compositional systems theory, double categories of open systems, network theory, and fibrational semantics in logic, where distinctions between strict and weak structure are vital.

The identification of which limits are inherited (i.e., $2$6-rigged limits) ensures that one can perform construction and reasoning in enhanced categories of models without losing control over the preservation or creation of essential categorical properties.

Future Directions

• Higher-Dimensional Generalization: The methodology signals potential generalization to $2$7-sketches and $2$8-categories, leveraging enhanced/sketched enrichment ideas for further categorical abstraction.
• Compositional and Computational Applications: Insights are directly relevant to modular theories in computation, systems theory, and logic, especially where hybrid strict-lax structures naturally arise.
• Automated Reasoning and Meta-Theory: The explicit bridging of strict and weak morphism modalities may inform both logical frameworks and computer-assisted theorem provers needing a more nuanced treatment of $2$9-categorical algebraic theories.

Conclusion

This research provides a comprehensive algebraic and categorical infrastructure for handling models of enhanced $2$0-sketches, precisely characterizing the relationship to enhanced $2$1-monads and their algebras, and establishing which limits are inherited. It generalizes and strengthens prior theorems in enriched sketches and monadicity, and develops new techniques—such as dotted $2$2-limits and class-based orthogonality—which promise to have lasting influence in both the foundations and applications of higher category theory.