Abstract:
. 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-like...
Citations
|
206
|
Basic Concepts of Enriched Category Theory
– Kelly
- 1982
|
|
129
|
Closed categories
– Eilenberg, Kelly
- 1965
|
|
116
|
Functorial semantic of algebraic theories
– Lawvere
- 1963
|
|
76
|
Review of the elements of 2-categories
– Kelly, Street
- 1974
|
|
66
|
Introduction to extensive and distributive categories
– Carboni, Lack, et al.
- 1993
|
|
61
|
The formal theory of monads
– Street
- 1972
|
|
48
|
Two-dimensional monad theory
– Blackwell, Kelly, et al.
- 1989
|
|
47
|
Cartesian bicategories I
– Carboni, Walters
- 1987
|
|
45
|
Adjunctions whose counits are coequalizers and presentations of enriched monads
– Kelly, Power
- 1993
|
|
39
|
Accessible Categories: The Foundations of Categorical Model Theory
– Makkai, Pare`
- 1989
|
|
38
|
Elementary observations on 2-categorical limits
– Kelly
- 1989
|
|
36
|
Introduction to bicategories, in: Reports of the Midwest Category
– Bénabou
- 1967
|
|
30
|
Monads for which structures are adjoint to units
– Kock
- 1995
|
|
27
|
A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so
– Kelly
- 1980
|
|
24
|
Fibrations in Bicategories, Cahiers de Topologie et Géométrie Différentielle 21
– Street
- 1980
|
|
22
|
Structures defined by finite limits in the enriched context
– Kelly
- 1980
|
|
18
|
A presentation of topoi as algebraic relative to categories or graphs
– Dubuc, Kelly
- 1983
|
|
17
|
Locally Presentable and Accessible Categories. Number 189
– Adámek, Rosick´y
- 1994
|
|
17
|
Coherence theorems for lax algebras and for distributive laws
– Kelly
- 1974
|
|
11
|
Doctrines whose structure forms a fully faithful adjoint string, Theory and Applications of Categories 3(2
– Marmolejo
- 1997
|
|
10
|
Flexible limits for 2-categories
– Bird, Kelly, et al.
- 1989
|
|
5
|
Doktrinen auf 2-Kategorien
– Zoberlein
- 1974
|
|
3
|
Limits in 2-categories of locally presented categories
– Bird
- 1984
|
|
3
|
On clubs and data-type constructors, in Applications of Categories to Computer Science (Proc
– Kelly
- 1991
|
|
2
|
On adjoint-functor factorization, Sydney Category Seminar, number 420
– Day
- 1974
|
|
2
|
Extensions in Enriched Category Theory, number 145
– Dubuc, Kan
- 1974
|
|
2
|
Monade idempotente associ'ee `a une monade
– Fakir
- 1970
|
|
2
|
Lokal-Prasentierbare Kategorien, number 221
– Gabriel, Ulmer
- 1971
|
