The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T”

On submeasures I

I. Dobrakoy

Similarity:

CONTENTSIntroduction....................................................................................... 5§ 1. On submeasures.................................................................... 6§ 2. Extension of submeasures................................................... 21§ 3. Extension of subcontents....................................................... 27References....................................................................................... 35

One Erdös style inequality

Tomáš J. Kepka, Petr C. Němec (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

One unusual inequality is examined.

Adhesive and quasiadhesive categories

Stephen Lack, Paweł Sobociński (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.