ACS
2004
13 years 4 months ago
2004
The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new hom...
ACS
2004
13 years 4 months ago
2004
ACS
2004
13 years 4 months ago
2004
ACS
2005
13 years 4 months ago
2005
A `2-group' is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, 2-groups have representa...
ACS
2005
13 years 4 months ago
2005
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched ...
ACS
2005
13 years 4 months ago
2005
ACS
2005
13 years 4 months ago
2005
Abstract: In this paper we present a unified study of functorial frame quasiuniformities by means of Weil entourages and frame congruences. In particular, we use the pointfree vers...
ACS
2005
13 years 4 months ago
2005
It is shown that the space X[0,1], of continuous maps [0, 1] X with the compact-open topology, is not locally compact for any space X having a nonconstant path of closed points. ...
ACS
2005
13 years 4 months ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
ACS
2005
13 years 4 months ago
2005
We develop a symmetric analog of brace algebras and discuss the relation of such algebras to L-algebras. We give an alternate proof that the category of symmetric brace algebras is...