pith. sign in

arxiv: 2601.22721 · v2 · submitted 2026-01-30 · 🧮 math.CT · cs.LO

Profunctorial algebras

Quentin Aristote , Umberto Tarantino This is my paper

Pith reviewed 2026-05-16 09:53 UTC · model grok-4.3

classification 🧮 math.CT cs.LO
keywords profunctorspseudomonadsultraconvergence spacesultracategoriesexact squaresbicategoriesmonad extensionstopological spaces
0
0 comments X

The pith

Normalized lax algebras of the profunctorial ultracompletion pseudomonad are ultraconvergence spaces

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

The paper generalizes Barr's 1970 characterization of topological spaces as relational algebras for the ultrafilter monad to a bicategorical setting. Two-sided discrete fibrations replace relations, allowing pseudomonads on a bicategory to extend to skew monads on the bicategory of these fibrations, with exact squares determining when the extensions remain pseudomonads. Every Set-monad induces such a pseudomonad on categories that admit skew extensions to profunctors. The authors focus on the ultracompletion pseudomonad and characterize its normalized lax algebras under this profunctorial extension as ultraconvergence spaces.

Core claim

The normalized lax algebras of the profunctorial extension of the ultracompletion pseudomonad are ultraconvergence spaces, a categorification of topological spaces.

What carries the argument

Skew monad extensions of pseudomonads to the bicategory of two-sided discrete fibrations, which remain pseudomonads precisely when exact squares hold.

Load-bearing premise

Skew monad extensions are pseudomonads exactly when certain exact squares hold and the ultracompletion pseudomonad admits quotients that extend to profunctors.

What would settle it

A concrete normalized lax algebra of the profunctorial ultracompletion that is not an ultraconvergence space, or an ultraconvergence space that fails to be such an algebra.

read the original abstract

We provide a bicategorical generalization of Barr's landmark 1970 paper, in which he describes how to extend Set-monads to relations and uses this to characterize topological spaces as the relational algebras of the ultrafilter monad. With two-sided discrete fibrations playing the role of relations in a bicategory, we first describe how to extend pseudomonads on a bicategory to skew monads on its bicategory of two-sided discrete fibrations, and we characterize in terms of exact squares when these extensions are themselves pseudomonads. As a wide class of examples, we show that every Set-monad induces a pseudomonad on the 2-category of categories admitting a skew extension to profunctors, and in a few relevant cases we introduce suitable quotients also extending to profunctors. Among the latter, we then focus on the ultracompletion pseudomonad, whose pseudoalgebras are ultracategories: we characterize the normalized lax algebras of its profunctorial extension as ultraconvergence spaces, a recently-introduced categorification of topological spaces.

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.

Referee Report

2 major / 2 minor

Summary. The paper generalizes Barr's 1970 characterization of topological spaces as relational algebras of the ultrafilter monad. It extends pseudomonads on a bicategory to skew monads on the bicategory of two-sided discrete fibrations, characterizes when these extensions are themselves pseudomonads in terms of exact squares, shows that every Set-monad induces a pseudomonad on the 2-category of categories with a skew extension to profunctors, introduces suitable quotients in a few relevant cases, and focuses on the ultracompletion pseudomonad to characterize the normalized lax algebras of its profunctorial extension as ultraconvergence spaces.

Significance. If the central claims hold, the work supplies a bicategorical framework for extending pseudomonads to profunctors and recovers a categorification of topological spaces as normalized lax algebras, extending classical results in categorical topology with potential for unifying approaches to higher categorical structures.

major comments (2)
  1. [ultracompletion pseudomonad section] The central characterization of normalized lax algebras of the profunctorial extension of the ultracompletion pseudomonad as ultraconvergence spaces requires that suitable quotients extend to profunctors while preserving pseudomonad structure via exact squares. The manuscript states that suitable quotients are introduced 'in a few relevant cases' but supplies no explicit verification that the exactness condition holds for the ultracompletion pseudomonad (see the paragraph following the general extension construction and the subsequent focus on ultracompletion).
  2. [characterization of normalized lax algebras] The claim that the induced skew monad on two-sided discrete fibrations is itself a pseudomonad (and thus yields the desired lax-algebra characterization) is load-bearing for the final result, yet the text does not confirm that the relevant exact squares commute in this specific case, leaving the derivation of the ultraconvergence-space identification unverified.
minor comments (2)
  1. The abstract refers to 'ultraconvergence spaces, a recently-introduced categorification' without a citation to the source paper introducing the notion.
  2. Notation for 'normalized lax algebras' and 'skew monad extensions' is introduced without an early dedicated subsection clarifying the precise 2-categorical data involved.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough reading and valuable comments, which highlight areas where the manuscript would benefit from greater explicitness. We address each major comment below and will incorporate the necessary clarifications in a revised version.

read point-by-point responses

  1. Referee: [ultracompletion pseudomonad section] The central characterization of normalized lax algebras of the profunctorial extension of the ultracompletion pseudomonad as ultraconvergence spaces requires that suitable quotients extend to profunctors while preserving pseudomonad structure via exact squares. The manuscript states that suitable quotients are introduced 'in a few relevant cases' but supplies no explicit verification that the exactness condition holds for the ultracompletion pseudomonad (see the paragraph following the general extension construction and the subsequent focus on ultracompletion).

    Authors: We agree that the manuscript would be strengthened by an explicit verification that the exact squares commute for the ultracompletion pseudomonad. While the general extension theorem is stated in terms of exact squares, and the ultracompletion case is presented as one of the relevant examples where quotients extend, we omitted the direct check. In the revision we will insert a short subsection immediately after the general construction, verifying the exactness condition for ultracategories by appealing to the preservation of colimits and the normalization of the lax algebras. revision: yes

  2. Referee: [characterization of normalized lax algebras] The claim that the induced skew monad on two-sided discrete fibrations is itself a pseudomonad (and thus yields the desired lax-algebra characterization) is load-bearing for the final result, yet the text does not confirm that the relevant exact squares commute in this specific case, leaving the derivation of the ultraconvergence-space identification unverified.

    Authors: We accept this observation. The load-bearing step is indeed the confirmation that the skew monad arising from the ultracompletion pseudomonad is itself a pseudomonad, which follows from the exact-square criterion. The current text relies on the general theorem without spelling out the verification for this pseudomonad. We will add an explicit paragraph confirming that the relevant exact squares commute, thereby completing the derivation of the ultraconvergence-space characterization. revision: yes

Circularity Check

0 steps flagged

No significant circularity: characterization follows from independent bicategorical constructions

full rationale

The paper's derivation extends pseudomonads on bicategories to skew monads on two-sided discrete fibrations via exact squares, a standard construction independent of the target result. The ultracompletion pseudomonad's quotients and their profunctorial extensions are introduced as general examples before specializing to normalized lax algebras, which are then identified with ultraconvergence spaces by direct comparison of the resulting structures. No step reduces the final characterization to a fitted parameter, self-definition, or load-bearing self-citation; the exact-square condition is a general criterion applied to the specific case without assuming the conclusion in the inputs. The overall argument remains self-contained against external bicategorical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies entirely on standard bicategory axioms and pseudomonad definitions; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (1)
  • standard math Standard axioms of bicategories, pseudomonads, and two-sided discrete fibrations
    Invoked throughout the extension and characterization steps.

pith-pipeline@v0.9.0 · 5474 in / 1240 out tokens · 34655 ms · 2026-05-16T09:53:51.554446+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

111 extracted references · 111 canonical work pages

  1. [1]

    Domain theory,

    S. Abramsky and A. Jung, “Domain theory,” inHandbook of Logic in Computer Science (Vol. 3): Semantic Structures, USA, Jan. 15, 1995, pp. 1–168

    work page 1995

  2. [2]

    Semantics for two-dimensional type the- ory,

    B. Ahrens, P . R. North, and N. van der Weide, “Semantics for two-dimensional type the- ory,” inProceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, ser. LICS ’22, New York, NY, USA, Aug. 4, 2022, pp. 1–14

    work page 2022

  3. [3]

    Bicategorical type theory: Semantics and syntax,

    B. Ahrens, P . R. North, and N. van der Weide, “Bicategorical type theory: Semantics and syntax,”Mathematical Structures in Computer Science, vol. 33, no. 10, pp. 868–912, Nov. 2023

    work page 2023

  4. [4]

    Monads Need Not Be Endofunctors,

    T. Altenkirch, J. Chapman, and T. Uustalu, “Monads Need Not Be Endofunctors,” inFoun- dations of Software Science and Computational Structures, L. Ong, Ed., Berlin, Heidelberg, 2010, pp. 297–311

    work page 2010

  5. [5]

    Monotone Weak Distributive Laws over the Lifted Powerset Monad in Cat- egories of Algebras,

    Q. Aristote, “Monotone Weak Distributive Laws over the Lifted Powerset Monad in Cat- egories of Algebras,” in42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), O. Beyersdorff, M. Pilipczuk, E. Pimentel, and N. K. Thang, Eds., ser. Leibniz International Proceedings in Informatics (LIPIcs), vol. 327, Dagstuhl, Ger- many, 2...

    work page 2025

  6. [6]

    Bicategories of algebras for relative pseudomonads

    N. Arkor, P . Saville, and A. Slattery. “Bicategories of algebras for relative pseudomonads.”

    work page

  7. [7]

    Logical relations for call-by-push- value models, via internal fibrations in a 2-category,

    P . H. Azevedo de Amorim, S. Kura, and P . Saville, “Logical relations for call-by-push- value models, via internal fibrations in a 2-category,” in2025 40th Annual ACM/IEEE Sym- posium on Logic in Computer Science (LICS), Jun. 2025, pp. 732–747

    work page 2025

  8. [8]

    Relational algebras,

    M. Barr, “Relational algebras,” inReports of the Midwest Category Seminar IV, S. MacLane et al., Eds., Berlin, Heidelberg, 1970, pp. 39–55

    work page 1970

  9. [9]

    Distributive laws,

    J. Beck, “Distributive laws,” inSeminar on Triples and Categorical Homology Theory, H. Ap- pelgate et al., Eds., Berlin, Heidelberg, 1969, pp. 119–140

    work page 1969

  10. [10]

    Introduction to bicategories,

    J. B ´enabou, “Introduction to bicategories,” inReports of the Midwest Category Seminar, J. B´enabou et al., Eds., Berlin, Heidelberg, 1967, pp. 1–77

    work page 1967

  11. [11]

    Distributors at work,

    J. B ´enabou, “Distributors at work,” Jun. 2000

    work page 2000

  12. [12]

    Monads and Effects,

    N. Benton, J. Hughes, and E. Moggi, “Monads and Effects,” inApplied Semantics, G. Barthe, P . Dybjer, L. Pinto, and J. Saraiva, Eds., Berlin, Heidelberg, 2002, pp. 42–122

    work page 2002

  13. [13]

    Factorizations in bicategories,

    R. Betti, D. Schumacher, and R. Street, “Factorizations in bicategories,” Dipartimento di Matematica, Politecnico di Milano, 22/R, 1999. REFERENCES 29

    work page 1999

  14. [14]

    Relation lifting, with an application to the many-valued cover modality,

    M. Bilkova, A. Kurz, D. Petrisan, and J. Velebil, “Relation lifting, with an application to the many-valued cover modality,”Logical Methods in Computer Science, vol. Volume 9, Issue 4, p. 742, Oct. 25, 2013

    work page 2013

  15. [15]

    Relation Liftings on Preorders and Posets,

    M. B ´ılkov´a, A. Kurz, D. Petris ¸an, and J. Velebil, “Relation Liftings on Preorders and Posets,” inAlgebra and Coalgebra in Computer Science, A. Corradini, B. Klin, and C. C ˆırstea, Eds., Berlin, Heidelberg, 2011, pp. 115–129

    work page 2011

  16. [16]

    Two-dimensional monad theory,

    R. Blackwell, G. M. Kelly, and A. J. Power, “Two-dimensional monad theory,”Journal of Pure and Applied Algebra, vol. 59, no. 1, pp. 1–41, Jul. 25, 1989

    work page 1989

  17. [17]

    The weak theory of monads,

    G. B ¨ohm, “The weak theory of monads,”Advances in Mathematics, vol. 225, no. 1, pp. 1–32, Sep. 10, 2010

    work page 2010

  18. [18]

    Bicategories and distributors,

    “Bicategories and distributors,” inHandbook of Categorical Algebra: Volume 1: Basic Category Theory, ser. Encyclopedia of Mathematics and Its Applications 50, F. Borceux, Ed., vol. 1, 3 vols., Cambridge, 1994, pp. 281–324

    work page 1994

  19. [19]

    Borceux,Handbook of Categorical Algebra: Volume 1: Basic Category Theory(Encyclopedia of Mathematics and Its Applications 50), 3 vols

    F. Borceux,Handbook of Categorical Algebra: Volume 1: Basic Category Theory(Encyclopedia of Mathematics and Its Applications 50), 3 vols. Cambridge, 1994, vol. 1

    work page 1994

  20. [20]

    Borceux,Handbook of Categorical Algebra: Volume 3: Sheaf Theory(Encyclopedia of Math- ematics and Its Applications 52), 3 vols

    F. Borceux,Handbook of Categorical Algebra: Volume 3: Sheaf Theory(Encyclopedia of Math- ematics and Its Applications 52), 3 vols. Cambridge, 1994, vol. 3

    work page 1994

  21. [21]

    Regular categories,

    “Regular categories,” inHandbook of Categorical Algebra: Volume 2: Categories and Structures, ser. Encyclopedia of Mathematics and Its Applications 51, F. Borceux, Ed., vol. 2, 3 vols., Cambridge, 1994, pp. 89–121

    work page 1994

  22. [22]

    Two-dimensional regularity and exactness,

    J. Bourke and R. Garner, “Two-dimensional regularity and exactness,”Journal of Pure and Applied Algebra, vol. 218, no. 7, pp. 1346–1371, Jul. 1, 2014

    work page 2014

  23. [23]

    A 2-categorical approach to change of base and geometric morphisms I,

    A. Carboni, G. M. Kelly, and R. J. Wood, “A 2-categorical approach to change of base and geometric morphisms I,”Cahiers de Topologie et G´ eom´ etrie Diff´ erentielle Cat´ egoriques, vol. 32, no. 1, pp. 47–95, 1991

    work page 1991

  24. [24]

    Modulated bicategories,

    A. Carboni, S. Johnson, R. Street, and D. Verity, “Modulated bicategories,”Journal of Pure and Applied Algebra, vol. 94, no. 3, pp. 229–282, Jul. 8, 1994

    work page 1994

  25. [25]

    C. C. Chang and H. J. Keisler,Model Theory. Jan. 1, 2012

    work page 2012

  26. [26]

    Pseudo-distributive Laws,

    E. Cheng, M. Hyland, and J. Power, “Pseudo-distributive Laws,”Electronic Notes in Theo- retical Computer Science, vol. 83, pp. 227–245, 2003

    work page 2003

  27. [27]

    The Cartesian Closed Bicategory of Thin Spans of Groupoids,

    P . Clairambault and S. Forest, “The Cartesian Closed Bicategory of Thin Spans of Groupoids,” in2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun. 2023, pp. 1–13

    work page 2023

  28. [28]

    M. M. Clementino et al.,Monoidal Topology: A Categorical Approach to Order, Metric and Topology. 2014

    work page 2014

  29. [29]

    A unified framework for generalized multicate- gories,

    G. S. H. Cruttwell and M. A. Shulman, “A unified framework for generalized multicate- gories,” vol. 24, no. 21, pp. 580–655, 2010

    work page 2010

  30. [30]

    Monadic Type-And-Effect Soundness,

    F. Dagnino, P . Giannini, and E. Zucca, “Monadic Type-And-Effect Soundness,” in39th European Conference on Object-Oriented Programming (ECOOP 2025), J. Aldrich and A. Silva, Eds., ser. Leibniz International Proceedings in Informatics (LIPIcs), vol. 333, Dagstuhl, Germany, 2025, 7:1–7:31

    work page 2025

  31. [31]

    Filter Monads, Continuous Lattices and Closure Systems,

    A. Day, “Filter Monads, Continuous Lattices and Closure Systems,”Canadian Journal of Mathematics, vol. 27, no. 1, pp. 50–59, Feb. 1, 1975

    work page 1975

  32. [32]

    Limits of small functors,

    B. J. Day and S. Lack, “Limits of small functors,”Journal of Pure and Applied Algebra, vol. 210, no. 3, pp. 651–663, Sep. 1, 2007

    work page 2007

  33. [33]

    Injective spaces via the filter monad,

    M. Escardo, “Injective spaces via the filter monad,”Proceedings of the 12th Summer Confer- ence on General Topology and Its Applications, vol. 22, Jan. 1, 1997

    work page 1997

  34. [34]

    The cartesian closed bicategory of generalised species of structures,

    M. Fiore, N. Gambino, M. Hyland, and G. Winskel, “The cartesian closed bicategory of generalised species of structures,”Journal of the London Mathematical Society, vol. 77, no. 1, pp. 203–220, 2008. 30 REFERENCES

    work page 2008

  35. [35]

    Relative pseudomonads, Kleisli bicat- egories, and substitution monoidal structures,

    M. Fiore, N. Gambino, M. Hyland, and G. Winskel, “Relative pseudomonads, Kleisli bicat- egories, and substitution monoidal structures,”Selecta Mathematica, vol. 24, no. 3, pp. 2791– 2830, Jul. 2018

    work page 2018

  36. [36]

    Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure,

    M. Fiore and P . Saville, “Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure,” inProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, ser. LICS ’20, New York, NY, USA, Jul. 8, 2020, pp. 425–439

    work page 2020

  37. [37]

    Convex Spaces I: Definition and Examples

    T. Fritz. “Convex Spaces I: Definition and Examples.”

    work page

  38. [38]

    On the formal theory of pseudomonads and pseudodistribu- tive laws,

    N. Gambino and G. Lobbia, “On the formal theory of pseudomonads and pseudodistribu- tive laws,”Theory and Applications of Categories, vol. 37, no. 2, pp. 14–56, Jan. 20, 2021

    work page 2021

  39. [39]

    The Vietoris Monad and Weak Distributive Laws,

    R. Garner, “The Vietoris Monad and Weak Distributive Laws,”Applied Categorical Struc- tures, vol. 28, no. 2, pp. 339–354, 2019

    work page 2019

  40. [40]

    Ultrafilters, finite coproducts and locally connected classifying toposes,

    R. Garner, “Ultrafilters, finite coproducts and locally connected classifying toposes,”An- nals of Pure and Applied Logic, vol. 171, no. 10, p. 102 831, Dec. 2020

    work page 2020

  41. [41]

    A Topological Approach to Recognition,

    M. Gehrke, S. Grigorieff, and J.- ´E. Pin, “A Topological Approach to Recognition,” inAu- tomata, Languages and Programming, S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer Auf Der Heide, and P . G. Spirakis, Eds., red. by D. Hutchison et al., vol. 6199, Berlin, Heidel- berg, 2010, pp. 151–162

    work page 2010

  42. [42]

    Gehrke and S

    M. Gehrke and S. van Gool,Topological Duality for Distributive Lattices: Theory and Applica- tions(Cambridge Tracts in Theoretical Computer Science). Cambridge, 2024

    work page 2024

  43. [43]

    On duality and model theory for polyadic spaces,

    S. van Gool and J. Marqu `es, “On duality and model theory for polyadic spaces,”Annals of Pure and Applied Logic, vol. 175, no. 2, p. 103 388, Feb. 1, 2024

    work page 2024

  44. [44]

    Toposes with enough points as categories of ´etale spaces

    S. van Gool, J. Marqu `es, and U. Tarantino. “Toposes with enough points as categories of ´etale spaces.”

    work page

  45. [45]

    Weak Distributive Laws between Monads of Continuous Valuations and of Non-Deterministic Choice

    J. Goubault-Larrecq. “Weak Distributive Laws between Monads of Continuous Valuations and of Non-Deterministic Choice.”

    work page

  46. [46]

    Combining probabilistic and non-deterministic choice via weak distributive laws,

    A. Goy and D. Petris ¸an, “Combining probabilistic and non-deterministic choice via weak distributive laws,” inProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Com- puter Science, Saarbr ¨ucken Germany, Jul. 8, 2020, pp. 454–464

    work page 2020

  47. [47]

    Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces,

    A. Goy, D. Petris ¸an, and M. Aiguier, “Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces,”LIPIcs, Volume 198, ICALP 2021, vol. 198, N. Bansal, E. Merelli, and J. Worrell, Eds., 132:1–132:14, 2021

    work page 2021

  48. [48]

    Relations et carr ´es exacts,

    R. Guitart, “Relations et carr ´es exacts,”Annales des sciences math´ ematiques du Qu´ ebec, vol. 4, no. 2, pp. 103–125, 1980

    work page 1980

  49. [49]

    Generalised ultracategories and conceptual completeness of geometric logic

    A. Hamad. “Generalised ultracategories and conceptual completeness of geometric logic.”

    work page

  50. [50]

    Ultracategories as colax algebras for a pseudo-monad on CAT

    A. Hamad. “Ultracategories as colax algebras for a pseudo-monad on CAT.”

    work page

  51. [51]

    An axiomatic basis for computer programming,

    C. A. R. Hoare, “An axiomatic basis for computer programming,”Commun. ACM, vol. 12, no. 10, pp. 576–580, Oct. 1, 1969

    work page 1969

  52. [52]

    Elements of a theory of algebraic theories,

    J. M. E. Hyland, “Elements of a theory of algebraic theories,”Theoretical Computer Science, Models of Interaction: Essays in Honour of Glynn Winskel, vol. 546, pp. 132–144, Aug. 21, 2014

    work page 2014

  53. [53]

    P . T. Johnstone,Sketches of an Elephant: A Topos Theory Compendium. Oxford, England, 2002

    work page 2002

  54. [54]

    Stably Compact Spaces and Closed Rela- tions,

    A. Jung, M. Kegelmann, and M. A. Moshier, “Stably Compact Spaces and Closed Rela- tions,”Electronic Notes in Theoretical Computer Science, MFPS 2001,Seventeenth Conference on the Mathematical Foundations of Programming Semantics, vol. 45, pp. 209–231, Nov. 1, 2001

    work page 2001

  55. [55]

    Algebraic foundations for effect-dependent optimisa- tions,

    O. Kammar and G. D. Plotkin, “Algebraic foundations for effect-dependent optimisa- tions,”SIGPLAN Not., vol. 47, no. 1, pp. 349–360, Jan. 25, 2012

    work page 2012

  56. [56]

    Mixed powerdomains for probability and nondetermin- ism,

    K. Keimel and G. D. Plotkin, “Mixed powerdomains for probability and nondetermin- ism,”Logical Methods in Computer Science, vol. Volume 13, no. 1, Jan. 24, 2017

    work page 2017

  57. [57]

    Basic concepts of enriched category theory,

    G. M. Kelly, “Basic concepts of enriched category theory,”TAC, 2005. REFERENCES 31

    work page 2005

  58. [58]

    On property-like structures,

    G. M. Kelly and S. Lack, “On property-like structures,”Theory and Applications of Cate- gories, vol. 3, no. 9, pp. 213–250, 1997

    work page 1997

  59. [59]

    A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces,

    B. Klin, “A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces,”Electronic Notes in Theoretical Computer Science, Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS), vol. 106, pp. 201–218, Dec. 11, 2004

    work page 2004

  60. [60]

    Completeness for the coalgebraic cover modality,

    C. Kupke, A. Kurz, and Y. Venema, “Completeness for the coalgebraic cover modality,” Logical Methods in Computer Science, vol. 8, no. 3, pp. 1–76, Jul. 31, 2012

    work page 2012

  61. [61]

    Stone Duality for Relations

    A. Kurz, A. Moshier, and A. Jung. “Stone Duality for Relations.”

    work page

  62. [62]

    Relation lifting, a survey,

    A. Kurz and J. Velebil, “Relation lifting, a survey,”Journal of Logical and Algebraic Methods in Programming, Relational and Algebraic Methods in Computer Science, vol. 85, no. 4, pp. 475–499, Jun. 1, 2016

    work page 2016

  63. [63]

    A Coherent Approach to Pseudomonads,

    S. Lack, “A Coherent Approach to Pseudomonads,”Advances in Mathematics, vol. 152, no. 2, pp. 179–202, Jun. 25, 2000

    work page 2000

  64. [64]

    Loregian,Coend Calculus

    F. Loregian,Coend Calculus. Jun. 30, 2021

    work page 2021

  65. [65]

    Categorical notions of fibration,

    F. Loregian and E. Riehl, “Categorical notions of fibration,”Expositiones Mathematicae, vol. 38, no. 4, pp. 496–514, Dec. 1, 2020

    work page 2020

  66. [66]

    Ultracategories,

    J. Lurie, “Ultracategories,” 2018

    work page 2018

  67. [67]

    Coherence for bicategories and indexed categories,

    S. Maclane and R. Par ´e, “Coherence for bicategories and indexed categories,”Journal of Pure and Applied Algebra, vol. 37, pp. 59–80, 1985

    work page 1985

  68. [68]

    Stone duality for first order logic,

    M. Makkai, “Stone duality for first order logic,”Advances in Mathematics, vol. 65, no. 2, pp. 97–170, Aug. 1, 1987

    work page 1987

  69. [69]

    A triple theoretic construction of compact algebras,

    E. Manes, “A triple theoretic construction of compact algebras,” inSeminar on Triples and Categorical Homology Theory, H. Appelgate et al., Eds., Berlin, Heidelberg, 1969, pp. 91–118

    work page 1969

  70. [70]

    Ultraproducts and continuous families of models,

    F. Marmolejo, “Ultraproducts and continuous families of models,” Dalhousie University, 1995

    work page 1995

  71. [71]

    Doctrines whose structure forms a fully faithful adjoint string,

    F. Marmolejo, “Doctrines whose structure forms a fully faithful adjoint string,”Theory and Applications of Categories, vol. 3, no. 2, 1997

    work page 1997

  72. [72]

    Distributive laws for pseudomonads,

    F. Marmolejo, “Distributive laws for pseudomonads,”TAC, 1999

    work page 1999

  73. [73]

    Coherence for pseudodistributive laws revisited,

    F. Marmolejo and R. J. Wood, “Coherence for pseudodistributive laws revisited,”Theory and Applications of Categories, vol. 20, no. 6, pp. 74–84, 2008

    work page 2008

  74. [74]

    Distributive laws for pseudomonads II,

    F. Marmolejo, “Distributive laws for pseudomonads II,”Journal of Pure and Applied Algebra, vol. 194, no. 1, pp. 169–182, Nov. 1, 2004

    work page 2004

  75. [75]

    Asynchronous template games and the gray tensor product of 2-categories,

    P .-A. Melli `es, “Asynchronous template games and the gray tensor product of 2-categories,” inProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, ser. LICS ’21, Rome, Italy, Nov. 24, 2021, pp. 1–13

    work page 2021

  76. [76]

    Computational lambda-calculus and monads,

    E. Moggi, “Computational lambda-calculus and monads,” in[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, Pacific Grove, CA, USA, 1989, pp. 14–23

    work page 1989

  77. [77]

    Notions of computation and monads,

    E. Moggi, “Notions of computation and monads,”Information and Computation, vol. 93, no. 1, pp. 55–92, Jul. 1991

    work page 1991

  78. [78]

    Coalgebraic logic,

    L. S. Moss, “Coalgebraic logic,”Annals of Pure and Applied Logic, vol. 96, no. 1, pp. 277–317, Mar. 1, 1999

    work page 1999

  79. [79]

    String Diagrams For Double Categories and Equipments

    D. J. Myers. “String Diagrams For Double Categories and Equipments.”

    work page

  80. [80]

    Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories,

    H. Paquet and P . Saville, “Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories,”Electronic Proceedings in Theoretical Computer Science, vol. 397, pp. 190–209, Dec. 14, 2023

    work page 2023

Showing first 80 references.