Geodesic
On property-like structures
Theory and applications of categories, Tome 3 (1997), pp. 213-250.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

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, consisting of those property-like 2-monads for which all 2-cells between (even lax) algebra morphisms are algebra 2-cells. The consideration of lax morphisms leads us to a new characterization of those monads, studied by Kock and Zoberlein, for which `structure is adjoint to unit', and which we now call lax-idempotent 2-monads: both these and their colax-idempotent duals are fully property-like. We end by showing that (at least for finitary 2-monads) the classes of property-likes, fully property-likes, and lax-idempotents are each coreflective among all 2-monads.
Classification : 18C10, 18C15, 18D05.
Keywords: 2-category, monad, structure, property. 
@article{TAC_1997_3_a8,
     author = {G. M. Kelly and Stephen Lack},
     title = {On property-like structures},
     journal = {Theory and applications of categories},
     pages = {213--250},
     publisher = {mathdoc},
     volume = {3},
     year = {1997},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_1997_3_a8/}
}
TY  - JOUR
AU  - G. M. Kelly
AU  - Stephen Lack
TI  - On property-like structures
JO  - Theory and applications of categories
PY  - 1997
SP  - 213
EP  - 250
VL  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_1997_3_a8/
LA  - en
ID  - TAC_1997_3_a8
ER  - 
%0 Journal Article
%A G. M. Kelly
%A Stephen Lack
%T On property-like structures
%J Theory and applications of categories
%D 1997
%P 213-250
%V 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_1997_3_a8/
%G en
%F TAC_1997_3_a8
G. M. Kelly; Stephen Lack. On property-like structures. Theory and applications of categories, Tome 3 (1997), pp. 213-250. http://geodesic.mathdoc.fr/item/TAC_1997_3_a8/