Results 251 to 260 of about 1,838,152 (282)

Mealy Morphisms of Enriched Categories

Applied Categorical Structures, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Abstract substitution in enriched categories [PDF]

open access: yesJournal of Pure and Applied Algebra, 2003
Enriched categories equipped with an abstract substitution process are defined in this paper, and called substitudes. They generalize both monoidal enriched categories and operads, and are a little more general than multicategories.
Brian Day
exaly   +2 more sources

An introduction to quantaloid-enriched categories

Fuzzy Sets and Systems, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Enriched categories for local and interaction calculi

1987
The construction of models for distributed computations plays a very important role in designing and developing parallel computing systems. Various algebraic approaches have been proposed in the past as, for instance, the communicating computing agents of [Mil80], [BeK85], and [BHR84].
S. KASANGIAN   +2 more
openaire   +1 more source

Fibration in groupoid enriched category

1999
Summary: The concept of fibration is introduced in a groupoid enriched category and some properties of fibration are presented.
Behera, A., Pradhan, D. K.
openaire   +2 more sources

Enriching Categorial Grammar

1994
Chapter three has introduced categorial grammar as formulated on the foundations of type theory and substructural logic presented in chapter two. As logic formalisms, the Lambek calculi attract mathematical interest in their own right. In terms of application to natural language grammar however, their mathematical elegance can seem to imply ...
openaire   +1 more source

Home - About - Disclaimer - Privacy