18 search results - page 1 / 4 » Limits for Lax Morphisms |
ACS
2005
13 years 4 months 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
2004
13 years 4 months ago
2004
Abstract. In this paper we investigate effective descent morphisms in categories of reflexive and transitive lax algebras. We show in particular that open and proper maps are effec...
ACS
2004
13 years 4 months ago
2004
DM
2006
13 years 4 months ago
2006
We will present some properties of the direct limit of a direct system of multialgebras in a subcategory of the category of multialgebras obtained by considering as morphisms the i...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...