Results 1  10
of
13
Categories and groupoids
, 1971
"... In 1968, when this book was written, categories had been around for 20 years and groupoids for twice as long. Category theory had by then become widely accepted as an essential tool in many parts of mathematics and a number of books on the subject had appeared, or were about to appear (e.g. [13, 22, ..."
Abstract

Cited by 40 (2 self)
 Add to MetaCart
In 1968, when this book was written, categories had been around for 20 years and groupoids for twice as long. Category theory had by then become widely accepted as an essential tool in many parts of mathematics and a number of books on the subject had appeared, or were about to appear (e.g. [13, 22, 37, 58, 65] 1). By contrast, the use of groupoids was confined to a small number of pioneering articles, notably by Ehresmann [12] and Mackey [57], which were largely ignored by the mathematical community. Indeed groupoids were generally considered at that time not to be a subject for serious study. It was argued by several wellknown mathematicians that group theory sufficed for all situations where groupoids might be used, since a connected groupoid could be reduced to a group and a set. Curiously, this argument, which makes no appeal to elegance, was not applied to vector spaces: it was well known that the analogous reduction in this case is not canonical, and so is not available, when there is extra structure, even such simple structure as an endomorphism. Recently, Corfield in [41] has discussed methodological issues in mathematics with this topic, the resistance to the notion of groupoids, as a prime example. My book was intended chiefly as an attempt to reverse this general assessment of the time by presenting applications of groupoids to group theory
Variations on Algebra: monadicity and generalisations of equational theories
 Formal Aspects of Computing
, 2001
"... this paper the author was partially supported by an SERC/EPSRC Advanced Research Fellowship, EPSRC Research grant GR/L54639, and EU Working Group APPSEM ..."
Abstract

Cited by 25 (0 self)
 Add to MetaCart
this paper the author was partially supported by an SERC/EPSRC Advanced Research Fellowship, EPSRC Research grant GR/L54639, and EU Working Group APPSEM
One Setting for All: Metric, Topology, Uniformity, Approach Structure
"... For a complete lattice V which, as a category, is monoidal closed, and for a suitable Setmonad T we consider (T, V)algebras and introduce (T, V)proalgebras, in generalization of Lawvere's presentation of metric spaces and Barr's presentation of topological spaces. In this laxalgebraic setting, u ..."
Abstract

Cited by 18 (10 self)
 Add to MetaCart
For a complete lattice V which, as a category, is monoidal closed, and for a suitable Setmonad T we consider (T, V)algebras and introduce (T, V)proalgebras, in generalization of Lawvere's presentation of metric spaces and Barr's presentation of topological spaces. In this laxalgebraic setting, uniform spaces appear as proalgebras. Since the corresponding categories behave functorially both in T and in V, one establishes a network of functors at the general level which describe the basic connections between the structures mentioned by the title. Categories of (T, V)algebras and of (T, V)proalgebras turn out to be topological over Set.
MONADS OF EFFECTIVE DESCENT TYPE AND COMONADICITY
"... Abstract. We show, for an arbitrary adjunction F ⊣ U: B→Awith B Cauchy complete, that the functor F is comonadic if and only if the monad T on A induced by the adjunction is of effective descent type, meaning that the free Talgebra functor F T: A→A T is comonadic. This result is applied to several ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
Abstract. We show, for an arbitrary adjunction F ⊣ U: B→Awith B Cauchy complete, that the functor F is comonadic if and only if the monad T on A induced by the adjunction is of effective descent type, meaning that the free Talgebra functor F T: A→A T is comonadic. This result is applied to several situations: In Section 4 to give a sufficient condition for an exponential functor on a cartesian closed category to be monadic, in Sections 5 and 6 to settle the question of the comonadicity of those functors whose domain is Set, orSet⋆, or the category of modules over a semisimple ring, in Section 7 to study the effectiveness of (co)monads on module categories. Our final application is a descent theorem for noncommutative rings from which we deduce an important result of A. Joyal and M. Tierney and of J.P. Olivier, asserting that the effective descent morphisms in the opposite of the category of commutative unital rings are precisely the pure monomorphisms. 1.
Classifying Categories for Partial Equational Logic
, 2002
"... Along the lines of classical categorical type theory for total functions, we establish equivalence results between certain classes of partial equational theories on the one hand and corresponding classes of categories on the other hand, staying close to standard categorical notions. ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
Along the lines of classical categorical type theory for total functions, we establish equivalence results between certain classes of partial equational theories on the one hand and corresponding classes of categories on the other hand, staying close to standard categorical notions.
Modal Predicates and Coequations
, 2002
"... We show how coalgebras can be presented by operations and equations. We discuss the basic properties of this presentation and compare it with the usual approach. ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
We show how coalgebras can be presented by operations and equations. We discuss the basic properties of this presentation and compare it with the usual approach.
COPRODUCTS OF IDEAL MONADS
, 2004
"... The question of how to combine monads arises naturally in many areas with much recent interest focusing on the coproduct of two monads. In general, the coproduct of arbitrary monads does not always exist. Although a rather general construction was given by ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
The question of how to combine monads arises naturally in many areas with much recent interest focusing on the coproduct of two monads. In general, the coproduct of arbitrary monads does not always exist. Although a rather general construction was given by
Iteration Monads
 Proceedings CMCS'01. Electronic Notes in Theoretical Computer Science 44
, 2000
"... . It has already been noticed by C. Elgot and his collaborators that the algebra of (nite and innite) trees is completely iterative, i.e., every system of ideal recursive equations has a unique solution. We prove that this is a special case of a very general coalgebraic phenomenon: suppose that an e ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
. It has already been noticed by C. Elgot and his collaborators that the algebra of (nite and innite) trees is completely iterative, i.e., every system of ideal recursive equations has a unique solution. We prove that this is a special case of a very general coalgebraic phenomenon: suppose that an endofunctor
On iterable endofunctors
 Category Theory and Computer Science 2002, number 69 in Elect. Notes in Theor. Comp. Sci
, 2003
"... Completely iterative monads of Elgot et al. are the monads such that every guarded iterative equation has a unique solution. Free completely iterative monads are known to exist on every iteratable endofunctor H, i. e., one with final coalgebras of all functors H ( ) + X. We show that conversely, if ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Completely iterative monads of Elgot et al. are the monads such that every guarded iterative equation has a unique solution. Free completely iterative monads are known to exist on every iteratable endofunctor H, i. e., one with final coalgebras of all functors H ( ) + X. We show that conversely, if H generates a free completely iterative monad, then it is iteratable. Key words: monad, completely iterative, iterable 1
Internal categorical structure in homotopical algebra
 Proceedings of the IMA workshop ?nCategories: Foundations and Applications?, June 2004, (to appear). CROSSED MODULES AND PEIFFER CONDITION 135 [Ped95] [Por87
, 1995
"... Abstract. This is a survey on the use of some internal higher categorical structures in algebraic topology and homotopy theory. After providing a general view of the area and its applications, we concentrate on the algebraic modelling of connected (n + 1)types through cat ngroups. 1. ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
Abstract. This is a survey on the use of some internal higher categorical structures in algebraic topology and homotopy theory. After providing a general view of the area and its applications, we concentrate on the algebraic modelling of connected (n + 1)types through cat ngroups. 1.