Sciweavers

ACS
2005
13 years 11 months ago
Measurable Categories
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...
D. Yetter
ACS
2005
13 years 11 months ago
Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid
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 ...
Isar Stubbe
ACS
2005
13 years 11 months ago
Functorial Quasi-Uniformities on Frames
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...
Maria João Ferreira, Jorge Picado
ACS
2005
13 years 11 months ago
Locally Compact Path Spaces
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. ...
Susan B. Niefield
ACS
2005
13 years 11 months ago
Relating Categorical Semantics for Intuitionistic Linear Logic
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...
Maria Emilia Maietti, Paola Maneggia, Valeria de P...
ACS
2005
13 years 11 months ago
Symmetric Brace Algebras
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...
Tom Lada, Martin Markl
ACS
2005
13 years 11 months ago
An Operadic Approach to Internal Structures
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...
Stephen Lack, Simona Paoli
ACS
2005
13 years 11 months ago
Limits for Lax Morphisms
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 ...
Stephen Lack