Normalisation of the Theory T of Cartesian Closed Categories and
Conservativity  of Extensions T[x]  of T

Anne Preller; P. Duroux

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.

Tłumaczenie: Lew Pontraingin, O ciągłych ciałach algebraicznych

Jerzy Pogonowski (2018)

Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia

Similarity:

Tłumaczenie

PROBLEMS

M. Chrobak, M. Habib, P. John, H. Sachs, H. Zernitz, J. R. Reay, G. Sierksma, M. M. Sysło, T. Traczyk, W. Wessel (1987)

Applicationes Mathematicae

Similarity:

Powerful amicable numbers

Paul Pollack (2011)

Colloquium Mathematicae

Similarity: