ACS
2005
14 years 15 days 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
14 years 15 days 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
14 years 15 days ago
2005
ACS
2005
14 years 15 days 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
14 years 15 days 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
14 years 15 days 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
14 years 15 days 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...
ACS
2005
14 years 15 days ago
2005
We study internal structures in the category of algebras for an operad, and show that these themselves admit an operadic description. The main case of interest is where the operad...
ACS
2005
14 years 15 days ago
2005
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well ...
ACS
2005
14 years 15 days ago
2005
