Pith. sign in

REVIEW 4 major objections 5 minor 95 references

Comma 2-comonad I: Eilenberg-Moore 2-category of colax coalgebras

T0 review · 4 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The comma construction forms a strict 2-comonad whose colax coalgebras encode adjoint triples and distributive laws.

desk verdict The abstract overclaims completeness, the body defers it to sequels, but the partial results are genuine and the program deserves a referee's time. read the letter →

arxiv 2505.00682 v1 pith:GQVO26LA submitted 2025-05-01 math.CT math.AT

Igor Baković This is my paper · ORCID
classification math.CTmath.AT MSC 00A0018A2518C20
keywords commacategory2-comonadcolaxcoalgebraEilenberg-Moore2-categoryadjointtripledistributivelawFrobeniusfunctor
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to establish that the classical comma-category construction can be promoted to a strict 2-comonad on the 2-category of functors, colax squares (squares equipped with a natural transformation), and their transformations. The central claim is that a colax coalgebra for this 2-comonad is a packaged version of familiar formal-category-theory data: a comonad on each side of a functor, a connecting functor, and six natural transformations obeying the explicit identities in Section 2. From that package the paper derives Kleisli liftings for every coalgebra, and for so-called split coalgebras a generalized distributive law plus a lifting to Eilenberg-Moore categories. Normal coalgebras are shown to force the unit and counit data of an adjoint triple, so Frobenius functors and ambidextrous adjunctions appear as examples. The paper announces that the complete description of the Eilenberg-Moore 2-category and applications to comprehension structures will be given in sequels, so the present contribution is the coalgebra calculus and its first consequences.

What carries the argument

The machine that carries the argument is the comma category $(X,U)$ and its universal property. Objects of $(X,U)$ are triples $(X,f,A)$ with $f\colon X\to U(A)$; the two projections $d_0,d_1$ make the comma square universal, and that universality produces the induced functors $D(U,\beta,F)$ from a colax square, hence the strict 2-functor $D$, the counit $\delta_G$, and the comultiplication $\xi_G$ that sends an object of $(X,G)$ to its identity morphism in $(X,G)^2$. Once the 2-comonad is in place, the classification machinery is a bookkeeping device: writing a coalgebra structure map as a colax square and projecting out the two comma-square coordinates splits it into a comonad $C$ on $X$, a comonad $Q$ on $A$, and a functor $K\colon X\to A$; the remaining components of the 2-cells form a cube of natural transformations, and the coalgebra axioms become the sixteen identities (83)--(100) that make all faces commute. Normal and split conditions then select the cases in which this cube collapses to an adjunction or to a distributive law.

What would settle it

Take two composable colax squares in $\mathbf{Cat}^2_c$ and compare the induced functor $D$ on their composite with the composite of the two induced functors on a specific non-identity object of the relevant comma category. The strict 2-adjunction of Theorem 2.1 requires these to be equal; exhibiting any pair for which they are only naturally isomorphic (or not isomorphic at all) would falsify the strict comonad and force the coalgebra equations in Section 2 to be weakened.

Watch

Extended reading notes

Core claim

On its own terms, the paper discovers that the assignment $U\mapsto (X,U)$ of a comma category to a functor $U\colon A\to X$ is not just a construction but the object map of a strict 2-functor $D$, right adjoint to the embedding $I$ that sends a category $B$ to its identity functor. The product $I D$ is a strict 2-comonad, and a colax $D$-coalgebra over a functor $G\colon A\to X$ is shown to be a package of interlocking data: comonads $C$ on $X$ and $Q$ on $A$, a functor $K\colon X\to A$, and natural transformations whose coherence is recorded by the sixteen identities (83)--(100) that make a cube of diagrams commute. The paper then proves that the associated functors $\widetilde K\colon X_C\to A_Q$ and $\widetilde H\colon A_Q\to X_C$ are liftings to Kleisli categories for every coalgebra (Propositions 2.12 and 2.13). For split coalgebras, the same data yields the generalized distributive law $\kappa\colon KC\Rightarrow QK$ and a lifting of $K$ to Eilenberg-Moore categories (Theorems 2.17 and 2.18), and comparison functors between Kleisli and Eilenberg-Moore presentations are obtained as adjoint squares. Theorem 3.1 shows that in the normal case the coherence maps collapse to the unit and counit of an adjoint triple, which is how Frobenius functors and ambidextrous adjunctions enter; Section 3 also exhibits a fibred Frobenius 2-monad on $\mathbf{Cat}\times\mathbf{Cat}$. The conclusion says that the full Eilenberg-Moore 2-category description and the promised applications are to appear in sequels.

Load-bearing premise

The load-bearing premise is that the comma-category construction preserves composition and identities exactly, with equalities rather than only up-to-isomorphism comparisons.

Editorial extensions

If this is right

  • If a colax coalgebra is the package described, then every construction that can be written as such a coalgebra inherits two comonads, a connecting functor, and two Kleisli liftings for free.
  • The normal-coalgebra theorem makes adjoint triples a special case of coalgebra theory, so any further theorem about these coalgebras automatically specializes to adjoint triples and Frobenius functors.
  • The split-coalgebra theorem turns the existence of a distributive law into a property of a single coalgebra, offering a route to distributive laws that avoids constructing them by hand.
  • The adjoint-square comparison theorems show that the Kleisli and Eilenberg-Moore faces of a comonad are linked by canonical comparisons arising from the same coalgebra data.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural test of the claimed unification is to classify pseudo $D$-coalgebras and compare them with adjoint triples up to isomorphism; if the pattern of Theorem 3.1 persists, pseudo coalgebras should correspond to bicategorical adjunctions rather than strict ones.
  • The 'Rubik's cube' replication noticed after Proposition 2.15 suggests that split coalgebras generate an infinite hierarchy of coherence data; formalizing that hierarchy, for example as a cubical set of natural transformations, could give a combinatorial backbone for the sequels.
  • The announced application to comprehension structures suggests reading comprehension as a coalgebra slice: different slices of the Eilenberg-Moore 2-category may recover comprehension categories, factorization systems, and Frobenius functors, which would be a strong test of the program.
  • Because Pavlović's dual comma comonad produces Chu spaces and ∗-autonomous categories, a dual version of the present coalgebra calculus might yield a 2-categorical account of Chu constructions; nothing in this paper proves that duality, but the symmetry of the comma construction makes it worth testing.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper introduces a 2-category Cat^2_c whose objects are functors, whose 1-cells are colax squares, and whose 2-cells are transformations, and it constructs a strict 2-adjunction I ⊣ D where D sends a functor to its comma category. The resulting 2-comonad is then used to define colax D-coalgebras, colax morphisms, and transformations. The body contains a long equational analysis of these coalgebras, proving Kleisli liftings (Propositions 2.12–2.13), liftings for 'split' coalgebras (Theorems 2.17–2.18), adjoint-square comparison results (Theorems 2.19–2.20), and a classification of strictly normal colax coalgebras (Theorem 3.1). The abstract claims a complete description of the Eilenberg-Moore 2-category of colax coalgebras and applications to adjoint triples, distributive laws, comprehension structures, and Frobenius functors, but Section 4 explicitly says these results will appear in sequels. The paper ends with a statement, without proof, of a Frobenius fibred 2-monad theorem (Theorem 3.5).

Significance. The underlying idea—deriving a comma 2-comonad and studying its colax coalgebras as a unified framework for formal category theory—is natural and potentially useful. The manuscript contains a large amount of explicit, checkable equational work: the normal-coalgebra classification in Theorem 3.1, the concrete Kleisli lifting formulas in Propositions 2.12–2.13, the split-coalgebra liftings in Theorems 2.17–2.18, and the adjoint-square comparison theorems in Theorems 2.19–2.20. These are genuine partial results and give the reader a clear formula-level picture. However, the advertised central contribution—a complete description of the Eilenberg-Moore 2-category of colax coalgebras, colax morphisms, and transformations—is not present in this manuscript, and Theorem 3.5 is stated without proof. The significance of the submitted version is therefore considerably narrower than its abstract claims.

major comments (4)
  1. [§4, with Definitions 2.3–2.5] The abstract's central claim of a complete description of the Eilenberg-Moore 2-category of colax D-coalgebras is explicitly deferred: Section 4 begins 'In the sequels to this paper we will give a complete description...' and lists the same items as postponed. No theorem in the body proves such a description for arbitrary colax coalgebras; the results cover normal coalgebras (Theorem 3.1), Kleisli liftings (Propositions 2.12–2.13), and split coalgebras (Theorems 2.17–2.18). The headline claim is therefore not established by the text.
  2. [§2, Theorem 2.1] The strict 2-adjunction I ⊣ D is the foundation for the entire comonad construction, yet its proof consists largely of the assertions 'clearly functorial', 'easily established', and 'This clearly establishes the commutativity of one of the triangle identities.' Since strictness of D and the strict triangular identities are used throughout the comonad axioms, the coalgebra definitions, and the liftings, this load-bearing step needs a complete proof or a precise reference where the details are supplied.
  3. [§3, Theorem 3.5] Theorem 3.5 states that the fibred 2-functor A_r is a Frobenius fibred 2-monad, but no proof is given. The construction of A_r is only sketched in the preceding paragraphs, and no reference is provided for the theorem. This is a substantial assertion and cannot be accepted as an unproved statement in a research paper.
  4. [Definition 2.14 and Theorems 2.17–2.18] The 'split' condition in Definition 2.14, equations (107)–(108), is introduced without motivation or evidence that it characterizes a natural class of coalgebras. Since the paper promises a complete description for arbitrary colax coalgebras, the restriction to split coalgebras in the lifting theorems leaves the central claim unaddressed and makes the ad hoc condition load-bearing.
minor comments (5)
  1. [Abstract and throughout] The text contains numerous typos and OCR artifacts, including 'ca tegory', 'transfo rmations', 'lifing', 'colagebras', and 'starightforward'. A careful proofreading pass is needed.
  2. [Definition 2.3] Definition 2.3 introduces a colax D-coalgebra as (G, FG, ζ, θ) but the surrounding text sometimes writes '(G, FG, η, θ)' and uses the symbol η for the first 2-cell. The notation should be made consistent.
  3. [Theorems 2.2, 2.19, 2.20] Several proofs are dismissed as 'straightforward consequences' of the axioms; while these are plausibly routine, the paper would be more useful if at least the key pasting equalities or the relevant diagrams were indicated.
  4. [§4] The conclusion contains unsupported programmatic claims, including the passage beginning 'I will show that...' about enhanced category theory. These future-work statements should be clearly separated from results of the present paper.
  5. [Figures and diagrams] The diagrams, though central to the argument, are often extremely dense and difficult to read at the rendered size. Larger diagrams or explicit named sub-diagrams would help the reader verify the claimed equalities.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper's formal results are internal diagram chases, and the abstract's complete-description claim is merely deferred to sequels, which is an omission rather than a circular step.

full rationale

The paper's formal content is an internal derivation: Theorem 2.1 constructs the strict 2-adjunction I ⊣ D from the universal property of comma categories; Theorem 2.2 obtains the 2-comonad from the adjunction; Definitions 2.3–2.5 unfold colax coalgebras, morphisms, and transformations; and the later equations, including (16)–(18), (31), (71)–(72), (83)–(100), and the lifting theorems, are consequences of these definitions and of the explicitly stated split conditions (107)–(108). No parameter is fitted to data and no conclusion is identified with an input by construction. The self-references to the author's sequels are not load-bearing: Section 4 states that a complete description 'will' appear in sequels, and the abstract's promise of a complete description is therefore not discharged in this paper, but that is an overclaim or omission, not a circular derivation. Theorem 3.5 is stated without proof, but an unproved assertion is not a circular step. The 'split' condition in Definition 2.14 is an additional sufficient hypothesis introduced to make the distributive-law argument work, rather than a conclusion smuggled in as a premise. On the evidence quoted, no step reduces to its own input, so the appropriate circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The paper introduces no fitted parameters; its free parameters are empty. The main load-bearing axioms are the strict 2-adjunction, the strict 2-category structure on Cat^2_c, the standard universal properties of comma categories, and the imported lifting-distributive-law correspondence. The only invented entity is the fibred 2-monad A r, which appears in an unproved final theorem and has no independent evidence. Overall, the paper relies on standard categorical background plus its own partially sketched adjunction and comonad constructions.

assumptions (4)
  • domain assumption Strict 2-adjunction I ⊣ D exists, with D the comma-category functor and I the identity-functor embedding.
    The entire 2-comonad structure rests on this adjunction. The proof in Theorem 2.1 is only sketched, and the diagrams are not fully rendered, so the strictness and naturality claims are taken as assumptions for the rest of the paper.
  • domain assumption Cat^2_c is a strict 2-category with the given composition of colax squares and transformations.
    Assumed throughout without explicit verification of associativity and interchange laws for the colax squares. The paper relies on these laws for all pasting computations.
  • standard math Universal properties of comma categories are applied freely and determine the functors D(FG), D(δG), and ξG uniquely.
    The constructions in Section 2 repeatedly invoke the universal property of the comma category (X, G). This is a standard categorical tool, but the paper does not spell out the uniqueness arguments.
  • standard math A lifting of a functor to Eilenberg-Moore categories is equivalent to a generalized distributive law, in the sense cited from Street (1972).
    Invoked in Theorems 2.17 and 2.18 without proof, relying on the formal theory of monads. This is standard but is imported rather than derived.
invented entities (1)
  • Fibred 2-monad A r on Cat×Cat
    purpose: To construct a Frobenius fibred 2-monad in Theorem 3.5.
    Introduced in Section 3.4 and used only in the final theorem, which is stated without proof. There is no external falsifiable handle outside the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Comma 2-comonad I: Eilenberg-Moore 2-category of colax coalgebras." pith.science (2026). https://pith.science/paper/GQVO26LA

@misc{pith2026250500682,
  author       = {Pith},
  title        = {Pith review of: Comma 2-comonad I: Eilenberg-Moore 2-category of colax coalgebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GQVO26LA}},
  note         = {Machine review of arXiv:2505.00682}
}
read the original abstract

In this paper we describe a comma 2-comonad on the 2-category whose objects are functors, 1-cell are colax squares and 2-cells are their transformations. We give a complete description of the Eilenberg-Moore 2-category of colax coalgebras, colax morphisms between them and their transformations and we show how many fundamental constructions in formal category theory like adjoint triples, distributive laws, comprehension structures, Frobenius functors etc. naturally fit in this context.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

95 extracted references · 79 canonical work pages

  1. [1]

    Arkor, I

    N. Arkor, I. Di Liberti, F. Loregian, Adjoint functor theorems for lax-idempotent pseudomonads, Theory and Applications of Categories, Vol. 41, No. 20 (2024), 667-685

    2024

  2. [2]

    Arkor, J

    N. Arkor, J. Bourke, J. Ko, Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation, preprint (2025), arXiv:2501.12510

    arXiv 2025

  3. [3]

    Bakovi\' c, Comma 2-comonad II: Monads in Eilenberg-Moore 2-category, in preparation

    I. Bakovi\' c, Comma 2-comonad II: Monads in Eilenberg-Moore 2-category, in preparation

  4. [4]

    J.C. Baez, J. Dolan, Higher-Dimensional Algebra III.n-Categories and the Algebra of Opetopes, Advances in Mathematics Volume 135, Issue 2, (1998), 145-206

    1998

  5. [5]

    Beck, Distributive laws, In: Eckmann, B

    J. Beck, Distributive laws, In: Eckmann, B. (eds) Seminar on Triples and Categorical Homology Theory, Lecture Notes in Mathematics, vol 80 (1969), 119-140

    1969

  6. [6]

    B\' enabou, Introduction to bicategories, Reports of the Midwest Category Seminar, Lecture Notes in Math

    J. B\' enabou, Introduction to bicategories, Reports of the Midwest Category Seminar, Lecture Notes in Math. 47 (1967), 1-77

    1967

  7. [7]

    B\'enabou, Les distributeurs, Institut de mathematiques pure and appliqu\' ee, Rapport No

    J. B\'enabou, Les distributeurs, Institut de mathematiques pure and appliqu\' ee, Rapport No. 3 (1973),Universit\' e catholique de Louvain

    1973

  8. [8]

    Blackwell, G.M

    R. Blackwell, G.M. Kelly, A.J. Power, Two-dimensional monad theory, Journal of Pure and Applied Algebra Volume 59, Issue 1 (1989), 1-41

    1989

Show all 95 references
  1. [9]

    Bourke, Two-dimensional monadicity, Advances in Mathematics 252 (2014), 708-747

    J. Bourke, Two-dimensional monadicity, Advances in Mathematics 252 (2014), 708-747

    2014

  2. [10]

    Bourke, G

    J. Bourke, G. Lobbia, A skew approach to enrichment for Gray-categories, Advances in Mathematics Volume 434 (2023), 109327

    2023

  3. [11]

    Borceaux, D

    F. Borceaux, D. Bourn, Mal'cev, Protomodular, Homological and Semi-abelian categories, Mathematics and its Applications vol. 566, Kluwer Academic Publishers (2004)

    2004

  4. [12]

    Bunge, Coherent Extensions and Relational Algebras, Transactions of the American Mathematical Society, Vol

    M. Bunge, Coherent Extensions and Relational Algebras, Transactions of the American Mathematical Society, Vol. 197 (1974), 355-390

    1974

  5. [13]

    Bunge, A

    M. Bunge, A. Carboni, The symmetric topos, Journal of Pure and Applied Algebra 105 (1995), 233-249

    1995

  6. [14]

    Bunge, J

    M. Bunge, J. Funk, On a bicomma object condition for KZ-doctrines, Journal of Pure and Applied Algebra 143 (1999), 69-105

    1999

  7. [15]

    Burroni, T -catégories (cat\' egories dans un triple), Cahiers de topologie et g\' eom\' etrie diff\' erentielle cat\' egoriques Volume 12 (1971) no

    A. Burroni, T -catégories (cat\' egories dans un triple), Cahiers de topologie et g\' eom\' etrie diff\' erentielle cat\' egoriques Volume 12 (1971) no. 3, pp. 215-321

    1971

  8. [16]

    Casta\ n o Iglesias, J

    F. Casta\ n o Iglesias, J. G\' omez-Torrecillas, C. Nastasescu, Frobenius functors: applications, Communications in Algebra vol. 27, Issue 10 (1998), 4879-4900

    1998

  9. [17]

    Caenepeel, G

    S. Caenepeel, G. Militaru, S. Zhu, Doi-Hopf modules, Yetter-Drinfel\' d modules and Frobenius type properties, Trans. Amer. Math. Soc. 349 (1997), 4311-4342

    1997

  10. [18]

    Cheng, N

    E. Cheng, N. Gurski, E. Riehl, Cyclic multicategories, multivariable adjunctions and mates,Journal of K-Theory 13 (2014), 337-396

    2014

  11. [19]

    Chikladze, Lax formal theory of monads, monoidal approach to bicategorical structures and generalized operads,Theory and Applications of Categories, Vol

    D. Chikladze, Lax formal theory of monads, monoidal approach to bicategorical structures and generalized operads,Theory and Applications of Categories, Vol. 30, No. 10, (2015), 332-386

    2015

  12. [20]

    Cockett, J

    J.R.B. Cockett, J. Koslowski, R.A.G. Seely, R.J. Wood, Modules, Theory and Applications of Categories, Vol. 11, No. 17 (2003), 375-396

    2003

  13. [21]

    Crans, A tensor product for Gray-categories, Theory and Applications of Categories 5, No

    S. Crans, A tensor product for Gray-categories, Theory and Applications of Categories 5, No. 2 (1999),12-69

    1999

  14. [22]

    Cruttwell, M

    G.S.H. Cruttwell, M. Shulman, A unified framework for generalized multicategories, Theory and Applications of Categories 24, No. 21 (2010), 580-655

    2010

  15. [23]

    Dawson, R

    R. Dawson, R. Par\' e, D.Pronk, Adjoining adjoints, Advances in Mathematics 178 (2003), 99-140

    2003

  16. [24]

    Di Liberti, F

    I. Di Liberti, F. Loregian, On the unicity of formal category theories, preprint (2019), arXiv:1901.01594

    2019 arXiv

  17. [25]

    Duskin, Simplicial matrices and the nerves of weak n-categories I: nerves of bicategories, Theory and Applications of Categories 9 (2000), 198-308

    J. Duskin, Simplicial matrices and the nerves of weak n-categories I: nerves of bicategories, Theory and Applications of Categories 9 (2000), 198-308

    2000

  18. [26]

    Duskin, Simplicial Matrices and the Nerves of Weak n-Categories II : Nerves of Morphisms of Bicategories, incomplete draft

    J. Duskin, Simplicial Matrices and the Nerves of Weak n-Categories II : Nerves of Morphisms of Bicategories, incomplete draft

  19. [27]

    Dyckhoff, W

    R. Dyckhoff, W. Tholen, Exponentiable morphisms, partial products and pullback complements, Journal of Pure Applied Algebra 49 (1987), 103-116

    1987

  20. [28]

    Kelly, Closed Categories, in: Eilenberg, Harrison,, MacLane, R\" ohrl, (eds.), Proceedings of the Conference on Categorical Algebra, (1966), 421-562

    S.Eilenberg, G.M. Kelly, Closed Categories, in: Eilenberg, Harrison,, MacLane, R\" ohrl, (eds.), Proceedings of the Conference on Categorical Algebra, (1966), 421-562

    1966

  21. [29]

    Emmenegger, L

    J. Emmenegger, L. Mesiti, G. Rosolini, T. Streicher, A comonad for Grothendieck fibrations, Theory and Applications of Categories Vol. 40, No. 13 (2024), 371-389

    2024

  22. [30]

    Fiore, Lifting as a KZ-doctrine, in: D

    M. Fiore, Lifting as a KZ-doctrine, in: D. Pitt et al. (Eds.), Category Theory and Computer Science, Lecture Notes in Computer Science, vol. 953, Springer, Berlin (1995), 146-158

    1995

  23. [31]

    Fiore, N

    M. Fiore, N. Gambino, M. Hyland, G. Wynskel, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, Selecta Mathematica Volume 24 (2018), 2791-2830

    2018

  24. [32]

    Fumex, N

    C. Fumex, N. Ghani, P. Johann, Indexed induction and coinduction, fibrationally, in Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30-September 2, 2011, Proceedings, volume 6859

    2011

  25. [33]

    Garner, Polycategories via pseudo-distributive laws, Advances in Mathematics Volume 218, Issue 3 (2008), 781-827

    R. Garner, Polycategories via pseudo-distributive laws, Advances in Mathematics Volume 218, Issue 3 (2008), 781-827

    2008

  26. [34]

    Garner, M

    R. Garner, M. Shulman, Enriched categories as a free cocompletion, Advances in Mathematics 289 (2016), 1-94

    2016

  27. [35]

    Gray, Fibred and cofibred categories, in: Proceedings of the Conference on Categorical Algebra (La Jolla, California 1965), Springer,(1966), 21-83

    J.W. Gray, Fibred and cofibred categories, in: Proceedings of the Conference on Categorical Algebra (La Jolla, California 1965), Springer,(1966), 21-83

    1966

  28. [36]

    Gray, The categorical comprehension scheme, In: P.J

    J.W. Gray, The categorical comprehension scheme, In: P.J. Hilton (ed.) Category Theory, Homology Theory and Their Applications III, Lecture Notes in Mathematics, vol 99 (1966), 242-312

    1966

  29. [37]

    Gray, Formal Category Theory: Adjointness for 2-Categories, Lecture Notes in Mathematics vol

    J.W. Gray, Formal Category Theory: Adjointness for 2-Categories, Lecture Notes in Mathematics vol. 391, 1974

    1974

  30. [38]

    Grothendieck, Catégories fibr\'ees et d\'escente, Expos\'e VI in Rev\^etements Etale et Groupe Fondamental, SGA 1, Lecture Notes in Math

    A. Grothendieck, Catégories fibr\'ees et d\'escente, Expos\'e VI in Rev\^etements Etale et Groupe Fondamental, SGA 1, Lecture Notes in Math. 224, Springer-Verlag, Berlin, 1971

    1971

  31. [39]

    Grothendieck, \' A la poursuite des champs Volume I, \' edit\' e par G

    A. Grothendieck, \' A la poursuite des champs Volume I, \' edit\' e par G. Maltsiniotis, Documents Math\' ematiques Volume 20, Soci\' et\' e Math\' ematique de France, 2022

    2022

  32. [40]

    Hermida, B

    C. Hermida, B. Jacobs, Structural Induction and Coinduction in a Fibrational Setting, Information and Computation 145 (1998), 107-152

    1998

  33. [41]

    Hermida, Representable multicategorires, Advances in Mathematics 151 (2000), 164-225

    C. Hermida, Representable multicategorires, Advances in Mathematics 151 (2000), 164-225

    2000

  34. [42]

    Hermida, From coherent structures to universal properties, Journal of Pure and Applied Algebra 165 (2001), 7-61

    C. Hermida, From coherent structures to universal properties, Journal of Pure and Applied Algebra 165 (2001), 7-61

    2001

  35. [43]

    Hyland, J

    M. Hyland, J. Power, Pseudo-commutative monads and pseudo-closed 2-categories, Journal of Pure and Applied Algebra 175 (2002), 141-185

    2002

  36. [44]

    Jacobs, Comprehension categories and the semantics of type dependency, Theoretical Computer Science Volume 107, Issue 2 (1993), 169-207

    B. Jacobs, Comprehension categories and the semantics of type dependency, Theoretical Computer Science Volume 107, Issue 2 (1993), 169-207

    1993

  37. [45]

    Johnstone, Fibrations and Partial Products in a 2-Category, Applied Categorical Structures 1 (1993), 141-179

    P.T. Johnstone, Fibrations and Partial Products in a 2-Category, Applied Categorical Structures 1 (1993), 141-179

    1993

  38. [46]

    Johnstone, Connected limits, familial representability and Artin glueing, Mathematical Structures in Computer Science vol

    P.T. Johnstone, Connected limits, familial representability and Artin glueing, Mathematical Structures in Computer Science vol. 5 (1995), 441-459

    1995

  39. [47]

    Johnstone, Remarks on punctual local connectedness, Theory and Applications of Categories, Vol

    P.T. Johnstone, Remarks on punctual local connectedness, Theory and Applications of Categories, Vol. 25, No. 3 (2011), 51-63

    2011

  40. [48]

    Kelly, Coherence theorems for lax algebras and for distributive laws, Category Seminar Sydney 1972/73, Lecture Notes in Mathematics, 420,(1974), 281-375

    G.M. Kelly, Coherence theorems for lax algebras and for distributive laws, Category Seminar Sydney 1972/73, Lecture Notes in Mathematics, 420,(1974), 281-375

    1974

  41. [49]

    Kelly, F.W

    G.M. Kelly, F.W. Lawvere, On the complete lattice of essential localizations, Bulletin de la Soci\' et\' e Math\' ematique de Belgique, S\' erie A, v.ol. 41, no 2 (1989), 289-319

    1989

  42. [50]

    Kock, Monads for which structures are adjoint to units, Journal of Pure and Applied Algebra 104, Issue 1 (1995), 41-59

    A. Kock, Monads for which structures are adjoint to units, Journal of Pure and Applied Algebra 104, Issue 1 (1995), 41-59

    1995

  43. [51]

    S. R. Koudenburg, Augmented virtual double categories, Theory and Applications of Categories 35, No. 10 (2020), 261-325

    2020

  44. [52]

    Korostenski, W

    M. Korostenski, W. Tholen, Factorization systems as Eilenberg-Moore algebras, Journal of Pure and Applied Algebra Volume 85, Issue 1 (1993), 57-72

    1993

  45. [53]

    S. Lack, R. Street, The formal theory of monads II, Journal of Pure and Applied Algebra vol. 175 (2002) 243--265

    2002

  46. [54]

    S. Lack, M. Shulman, Enhanced 2-categories and limits for lax morphisms, Advances in Mathematics vol. 229 (2012), 294-356

    2012

  47. [55]

    S. Lack, A. Miranda, What is the universal property of the 2-category of monads?, Theory and Applications of Categories, Vol. 42, No. 1 (2024), 2-18

    2024

  48. [56]

    A. D. Lauda, Frobenius algebras and ambidextrous adjunctions, Theory and Applications of Categories, Vol. 16, No. 4 (2006),84-122

    2006

  49. [57]

    F. W. Lawvere, Functorial Semantics of Algebraic Theories, Reprints in Theory and Applications of Categories, No. 5 (2004) 1-121

    2004

  50. [58]

    F. W. Lawvere, The category of categories as a foundation for mathematics., Proceedings of the Conference on Categorical Algebra, La Jolla 1965, S. Eilenberg, D. K. Harrison, S. MacLane, and H. R\" ohrl (eds.), Springer-Verlag New York Inc., New York (1966), 1-20

    1966

  51. [59]

    F. W. Lawvere, Ordinal Sums and Equational Doctrines, Springer Lecture Notes in Mathematics No. 80, Springer-Verlag (1969), 141-155

    1969

  52. [60]

    Lawvere, Adjointness in Foundations, Dialectica 23 (1969), 281-296

    F.W. Lawvere, Adjointness in Foundations, Dialectica 23 (1969), 281-296

    1969

  53. [61]

    Lawvere, Equality in hyperdoctrines and comprehension schema as an adjoint functor, Proceedings of the AMS Symposium on Pure Mathematics XVII (1970), 1-14

    F.W. Lawvere, Equality in hyperdoctrines and comprehension schema as an adjoint functor, Proceedings of the AMS Symposium on Pure Mathematics XVII (1970), 1-14

    1970

  54. [62]

    Lawvere, Axiomatic cohesion, Theory and Applications of Categories Vol

    F.W. Lawvere, Axiomatic cohesion, Theory and Applications of Categories Vol. 19, No. 3 (2007), 41-49

    2007

  55. [63]

    Leinster, Higher Operads, Higher Categories, Cambridge University Press, 2004

    T. Leinster, Higher Operads, Higher Categories, Cambridge University Press, 2004

    2004

  56. [64]

    Linton, Autonomous Categories and Duality of Functors, J

    F.E.J. Linton, Autonomous Categories and Duality of Functors, J. Alg. 2 (1965), p.315-349

    1965

  57. [65]

    Maltsiniotis, Structures d'asph\' ericit\' e, foncteurs lisses, et fibrations, Annales math\' ematiques Blaise Pascal, Volume 12 (2005) no

    G. Maltsiniotis, Structures d'asph\' ericit\' e, foncteurs lisses, et fibrations, Annales math\' ematiques Blaise Pascal, Volume 12 (2005) no. 1,1-39

    2005

  58. [66]

    Marmolejo, Doctrines whose structure forms a fully faithful adjoint string, Theory and Applications of Categories, Vol

    F. Marmolejo, Doctrines whose structure forms a fully faithful adjoint string, Theory and Applications of Categories, Vol. 3, No. 2 (1997), 23-44

    1997

  59. [67]

    Marmolejo, Kan extensions and lax idempotent pseudomonads, Theory and Applications of Categories, Vol

    F. Marmolejo, Kan extensions and lax idempotent pseudomonads, Theory and Applications of Categories, Vol. 26, No. 1, 2012, pp. 1-29

    2012

  60. [68]

    Melli\` es, Dialogue categories up to deformation, preprint (2012),359-412

    P.A. Melli\` es, Dialogue categories up to deformation, preprint (2012),359-412

    2012

  61. [69]

    Melli\` es, Dialogue Categories and Chiralities, Publications of the Research Institute for Mathematical Sciences 52 (2016),359-412

    P.A. Melli\` es, Dialogue Categories and Chiralities, Publications of the Research Institute for Mathematical Sciences 52 (2016),359-412

    2016

  62. [70]

    Melli\` es, N

    P.A. Melli\` es, N. Zeilberger, Functors are Type Refinement Systems.,POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2015) 3-16

    2015

  63. [71]

    Melli\` es, N

    P.A. Melli\` es, N. Zeilberger, A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS (2016), 555-564

    2016

  64. [72]

    Melli\` es, N

    P.A. Melli\` es, N. Rolland, Comprehension and quotient structures in the language of 2-categories, Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, Z. M. Ariola (ed.), (2020), 6:1-6:18

    2020

  65. [73]

    Mac Lane, Categories for the Working Mathematician, Second Edition, Originally published by Springer-Verlag New York (1971)

    S. Mac Lane, Categories for the Working Mathematician, Second Edition, Originally published by Springer-Verlag New York (1971)

    1971

  66. [74]

    Maranda, Formal Categories, Canadian Journal of Mathematics vol

    J.M. Maranda, Formal Categories, Canadian Journal of Mathematics vol. 17 (1965), 758-801

    1965

  67. [75]

    Morita, Adjoint pairs of functors and Frobenius extensions, Science Reports of the Tokyo Kyoiku Daigaku, Section A 9 202/208 (1965) 40-71

    K. Morita, Adjoint pairs of functors and Frobenius extensions, Science Reports of the Tokyo Kyoiku Daigaku, Section A 9 202/208 (1965) 40-71

    1965

  68. [76]

    Osmond, On Diers theory of Spectrum I : Stable functors and right multi-adjoints, arXiv:2012.00853

    A. Osmond, On Diers theory of Spectrum I : Stable functors and right multi-adjoints, arXiv:2012.00853

    2012 arXiv

  69. [77]

    Palmquist, The double category of adjoint squares

    P.H. Palmquist, The double category of adjoint squares. In: Reports of the Midwest Category Seminar V, Lecture Notes in Mathematics, vol 195, (1971)

    1971

  70. [78]

    Pavlovi\' c, Chu I: cofree equivalences, dualities and *-autonomous categories, Mathematical Structures in Computer Science Volume 7, Issue 1 (1997), 49-73

    D. Pavlovi\' c, Chu I: cofree equivalences, dualities and *-autonomous categories, Mathematical Structures in Computer Science Volume 7, Issue 1 (1997), 49-73

    1997

  71. [79]

    Par\' e, On absolute colimits, Journal of Algebra 19 (1971), 80-95

    R. Par\' e, On absolute colimits, Journal of Algebra 19 (1971), 80-95

    1971

  72. [80]

    Par\' e, R

    R. Par\' e, R. Rosebrugh, R.J. Wood, Idempotents in bicategories, Bulletin of the Australian Mathematical Society, Volume 39 , Issue 3 (1989), 421-434

    1989

  73. [81]

    Power, H

    A.J. Power, H. Watanabe, Combining a monad and a comonad, Theoretical Computer Science Volume 280, Issues 1-2 (2002), 137-162

    2002

  74. [82]

    Power, Three dimensional monad theory, In: Categories in algebra, geometry and mathematical physics, Contemporary Mathematics Vol

    A.J. Power, Three dimensional monad theory, In: Categories in algebra, geometry and mathematical physics, Contemporary Mathematics Vol. 431 (2007), 405-426

    2007

  75. [83]

    Rosicky, W.Tholen, Factorization, fibration and torsion, Journal of Homotopy and Related Structures Volume 2, Issue 2 (2007), 295-314

    J. Rosicky, W.Tholen, Factorization, fibration and torsion, Journal of Homotopy and Related Structures Volume 2, Issue 2 (2007), 295-314

    2007

  76. [84]

    Schanuel, R

    S. Schanuel, R. Street, The free adjunction, Cahiers de topologie et g\' eom\' etrie 7 (1986), 81-83

    1986

  77. [85]

    Shulman, Contravariance through enrichment, Theory and Applications of Categories, Vol

    M. Shulman, Contravariance through enrichment, Theory and Applications of Categories, Vol. 33, No. 5 (2018), 95-130

    2018

  78. [86]

    Street, The formal theory of monads, Journal of Pure and Applied Algebra Volume 2, Issue 2 (1972), 149-168

    R. Street, The formal theory of monads, Journal of Pure and Applied Algebra Volume 2, Issue 2 (1972), 149-168

    1972

  79. [87]

    Street, Fibrations and Yoneda's lemma in a 2 -category, Category Seminar (Proc

    R. Street, Fibrations and Yoneda's lemma in a 2 -category, Category Seminar (Proc. Sem., Sydney, 1972/1973), pp. 104-133. Lecture Notes in Mathematics, Vol. 420, Springer, Berlin, 1974

    1972

  80. [88]

    Street, R

    R. Street, R. Walters, Yoneda structures on 2-categories, Journal of Algebra vol. 50, Issue 2 (1978), 350-379

    1978

  81. [89]

    Street, W

    R. Street, W. Tholen, M.B. Wischnewsky, H. Wolff, Semi-topological functors III: Lifting of monads and adjoint functors, Journal of Pure and Applied Algebra, vol. 16, Issue 3, (1980), 299-314

    1980

  82. [90]

    Streicher, J

    T. Streicher, J. Weinberger, Simplicial sets inside cubical sets, Theory and Applications of Categories, Vol. 37 No. 10, (2021), 276-286

    2021

  83. [91]

    Walker, Yoneda structures and KZ doctrines, Journal of Pure and Applied Algebra 222, Issue 6 (2018), 1375-1387

    C. Walker, Yoneda structures and KZ doctrines, Journal of Pure and Applied Algebra 222, Issue 6 (2018), 1375-1387

    2018

  84. [92]

    Walker, Distributive Laws via Admissibility, Applied Categorical Structures 27 (2019),567-617

    C. Walker, Distributive Laws via Admissibility, Applied Categorical Structures 27 (2019),567-617

    2019

  85. [93]

    R. J. Wood, Abstract pro arrows I, Cahiers de Topologie et G\' eometrie Diff\' erentielle 23 (1982), 279-290

    1982

  86. [94]

    R. J. Wood, Proarrows II, Cahiers de topologie et g\' eom\' etrie diff\' erentielle cat\' egoriques 26, no. 2 (1985), 135-168

    1985

  87. [95]

    Yanofsky, The syntax of coherence, Cahiers de topologie et g\' eom\' etrie diff\' erentielle cat\' egoriques 41, no 4 (2000), 255-304

    N. Yanofsky, The syntax of coherence, Cahiers de topologie et g\' eom\' etrie diff\' erentielle cat\' egoriques 41, no 4 (2000), 255-304. document

    2000

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.