# ON PROPERTY-LIKE STRUCTURES

@article{Kelly1997ONPS, title={ON PROPERTY-LIKE STRUCTURES}, author={G. M. Kelly and Stephen Lack}, journal={Theory and Applications of Categories}, year={1997}, volume={3}, pages={213-250} }

A category may bear many monoidal structures, but (to within a unique isomorphism) only one structure of "category with finite products". To capture such distinctions, we consider on a 2-category those 2-monads for which algebra structure is essentially unique if it exists, giving a precise mathematical definition of "essentially unique" and investigating its consequences. We call such 2-monads property-like. We further consider the more restricted class of fully property-like 2-monads…

## 65 Citations

### Distributive Laws via Admissibility

- MathematicsApplied Categorical Structures
- 2019

This paper concerns the problem of lifting a KZ doctrine P to the 2-category of pseudo T-algebras for some pseudomonad T. Here we show that this problem is equivalent to giving a pseudo-distributive…

### Distributive Laws via Admissibility

- MathematicsAppl. Categorical Struct.
- 2019

It is shown that this problem of lifting a KZ doctrine P to the 2-category of pseudo T-algebras for some pseudomonad T is equivalent to giving a pseudo-distributive law, and that such distributive laws may be simply described algebraically and are essentially unique.

### *-Autonomous Envelopes and Conservativity

- MathematicsElectronic Proceedings in Theoretical Computer Science
- 2021

We prove 2-categorical conservativity for any {0,⊤}-free fragment of MALL over its corresponding intuitionistic version: that is, that the universal map from a closed symmetric monoidal category to…

### Probability, valuations, hyperspace: Three monads on Top and the support as a morphism

- MathematicsMath. Struct. Comput. Sci.
- 2021

It is obtained that taking the support of a $\tau$-smooth probability measure is also given by a morphism of monads, which implies that every H- algebra (topological complete semilattice) is also a V-algebra.

### Fibrations of predicates and bicategories of relations

- Mathematics
- 2014

We reconcile the two different category-theoretic semantics of regular theories in predicate logic. A 2-category of `regular fibrations' is constructed, as well as a 2-category of `regular proarrow…

### TIGHTLY BOUNDED COMPLETIONS

- Mathematics
- 2013

By a 'completion' on a 2-category K we mean here an idempotent pseu- domonad on K. We are particularly interested in pseudomonads that arise from KZ- doctrines. Motivated by a question of Lawvere, we…

### ON THE MONADICITY OF CATEGORIES WITH CHOSEN COLIMITS

- Mathematics
- 2000

There is a 2-category J -Colim of small categories equipped with a choice of colimit for each diagram whose domain J lies in a given small class J of small categories, functors strictly preserving…

## References

SHOWING 1-10 OF 64 REFERENCES

### A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on

- MathematicsBulletin of the Australian Mathematical Society
- 1980

Many problems lead to the consideration of “algebras”, given by an object A of a category A together with “actions” TkA → A on A of one or more endofunctors of A, subjected to equational axioms. Such…

### Applications of Categories in Computer Science: On clubs and data-type constructors

- Mathematics
- 1992

The author worked out a general notion of “club”, as a monad with certain properties, not necessarily on Cat now, but on any category with finite limits, which was further developed in [13], and applied later to other coherence problems in [16] and elsewhere.

### Elementary observations on 2-categorical limits

- MathematicsBulletin of the Australian Mathematical Society
- 1989

With a view to further applications, we give a self-contained account of indexed limits for 2-categories, including necessary and sufficient conditions for 2-categorical completeness. Many important…

### Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads

- Mathematics
- 1993

### Accessible categories : the foundations of categorical model theory

- Mathematics
- 1989

[F-S] D. Fremlin and S. Shelah, Pointwise compact and stable sets of measurable functions, manuscript, 1990. [G-G-M-S] N. Ghoussoub, G. Godefroy, B. Maurey, W. Schachermayer, Some topological and…