Results 271 to 280 of about 1,477,961 (298)
Some of the next articles are maybe not open access.
Enriched categories for local and interaction calculi
1987The 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
1999Summary: 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
An Enriched Category Theory of Language: From Syntax to Semantics
La Matematica, 2022Tai-Danae Bradley
exaly
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
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
Classical Control and Quantum Circuits in Enriched Category Theory
Electronic Notes in Theoretical Computer Science, 2018Mathys Rennela
exaly
The enriched Grothendieck construction
Advances in Mathematics, 2019Liang Ze Wong, Jonathan Beardsley
exaly