Results 1 
5 of
5
TRIPLES, ALGEBRAS AND COHOMOLOGY
 REPRINTS IN THEORY AND APPLICATIONS OF CATEGORIES
, 2003
"... ..."
Groupoids and van Kampen’s theorem
 Proc. London Math. Soc
, 1967
"... The fundamental groupoid TT(X) of a topological space X has been known for a long time but has been regarded, usually, as of little import in comparison with the fundamental group—for example, the groupoid is described in ((3) 155) as an 'interesting curiosity'. In this paper we ..."
Abstract

Cited by 27 (18 self)
 Add to MetaCart
The fundamental groupoid TT(X) of a topological space X has been known for a long time but has been regarded, usually, as of little import in comparison with the fundamental group—for example, the groupoid is described in ((3) 155) as an 'interesting curiosity'. In this paper we
Exactly Definable Categories
"... this paper is to show that certain properties ofmodules become more transparent if one views them as exact functors. In particular, one can use the machinery of localization theory for locally coherent Grothendieck categories because Ex(C ..."
Abstract

Cited by 12 (7 self)
 Add to MetaCart
this paper is to show that certain properties ofmodules become more transparent if one views them as exact functors. In particular, one can use the machinery of localization theory for locally coherent Grothendieck categories because Ex(C
Topological Stochastic Grammars
 In Pattern Recognition in Practice IV
, 1994
"... King Sun Fu [1] has discussed the need for recognising that human pattern recognition is syntactic. When the human eye reads a character, there is evidence that the character is decomposed into `strokes' and that the relationship between the components is coded in some way. Fu attempted to tackle th ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
King Sun Fu [1] has discussed the need for recognising that human pattern recognition is syntactic. When the human eye reads a character, there is evidence that the character is decomposed into `strokes' and that the relationship between the components is coded in some way. Fu attempted to tackle the problem of finding structure in objects in images by coding judiciously selected parts of the image as symbols; objects might then be described by concatenating symbols to strings. The string representing one object would, if the selection of primitive symbols was well chosen, be similar in some way to a string representing a similar object. The Fu program then required the set of strings describing a class of objects to lead to the inference of a grammar, an algorithm for deciding if a new string belongs in the `language' of such object descriptors. Extensions to the stochastic case, where strings are assigned a frequency or probability of production by the grammar were also tried. This h...
Dedicated to the memory of Heinrich Kleisli, 1930–2011.
"... Abstract. In [Barr & Kleisli 2001] we described ⋆autonomous structures on two full subcategories of topological abelian groups. In this paper we do the same for sup semilattices except that uniform structures play the role that topology did in the earlier paper. 1. ..."
Abstract
 Add to MetaCart
Abstract. In [Barr & Kleisli 2001] we described ⋆autonomous structures on two full subcategories of topological abelian groups. In this paper we do the same for sup semilattices except that uniform structures play the role that topology did in the earlier paper. 1.