Results 1 
2 of
2
On PropertyLike Structures
, 1997
"... 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 2category those 2monads for which algebra structure is essentially unique if it exists, giving a precise mathemat ..."
Abstract

Cited by 9 (3 self)
 Add to MetaCart
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 2category those 2monads 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 2monads propertylike. We further consider the more restricted class of fully propertylike 2monads, consisting of those propertylike 2monads for which all 2cells between (even lax) algebra morphisms are algebra 2cells. 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 laxidempotent 2monads: both these and their colaxidempotent duals are fully propertylike. We end by showing that (at least for finitary 2monads) the classes of propertylikes, fully propertylike...
Distribution Algebras and Duality
, 2000
"... INTRODUCTION By an Svalued distribution on a topos E bounded over a base topos S it is meant here a cocontinuous Sindexed functor : E ! S. Since introduced by F. W. Lawvere in 1983, considerable progress has been made in the study of distributions on toposes from a variety of viewpoints [19, 15, ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
INTRODUCTION By an Svalued distribution on a topos E bounded over a base topos S it is meant here a cocontinuous Sindexed functor : E ! S. Since introduced by F. W. Lawvere in 1983, considerable progress has been made in the study of distributions on toposes from a variety of viewpoints [19, 15, 24, 5, 6, 12, 7, 8, 9]. However, much work still remains to be done in this area. The purpose of this paper is to deepen our understanding of topos distributions by exploring a (dual) latticetheoretic notion of distribution algebra. We characterize the distribution algebras in E relative to S as the Sbicomplete Satomic Heyting algebras in E . As an illustration, we employ distribution algebras explicitly in order to give an alternative description of the display locale (complete spread) of a distribution [10, 12, 7].