#### Filter Results:

#### Publication Year

1993

2016

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

- F Marmolejo, Ross Street
- 1997

We pursue the d eenition of a KZ-doctrine i n t erms of a fully faithful adjoint string Dd a m a dD. W e give t he d eenition in any Gray-category. T h e concept of algebra is given as an adjunction with i n vertible counit. We s h ow t hat t hese doctrines are instances of more general pseudomonads. The algebras for a pseudomonad are deened in more… (More)

This is an expanded, revised and corrected version of the rst author's preprint [1]. The discussion of one-dimensional cohomology H 1 in a fairly general category E involves passing to the (2-)category Cat(E) of categories in E. In particular, the coecient object is a category B in E and the torsors that H 1 classies are particular functors in E. We only… (More)

- Brian Day, Ross Street
- 1995

Strong promonoidal functors are defined. Left Kan extension (also called " existential quantification ") along a strong promonoidal functor is shown to be a strong monoidal functor. A construction for the free monoidal category on a promonoidal category is provided. A Fourier-like transform of presheaves is defined and shown to take convolution product to… (More)

- Peter Freyd, Ross Street, Michael Barr
- 1995

The purpose is to give a simple proof that a category is equivalent t o a small category if and only if both it and its presheaf category are locally small. In one of his lectures (University of New South Wales, 1971) on Yoneda structures SW], the second author conjectured that a category A is essentially small if and only if both A and the presheaf… (More)

- Thomas Booker, Ross Street
- 2013

Given a horizontal monoid M in a duoidal category F , we examine the relationship between bimonoid structures on M and monoidal structures on the category F * M of right M-modules which lift the vertical monoidal structure of F. We obtain our result using a variant of the so-called Tannaka adjunction; that is, an adjunction inducing the equivalence which… (More)

- G Janelidze, G M Kelly, Ross Street
- 2000

We show that every algebraically{central extension in a Mal'tsev variety | that is, every surjective homomorphism f : A?! B whose kernel{congruence is contained in the centre of A, as deened using the theory of commutators | is also a central extension in the sense of categorical Galois theory; this was previously known only for varieties of-groups, while… (More)