Pushout-complements and basic concepts of grammars in toposes (Q757576): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q171472
RedirectionBot (talk | contribs)
Changed an Item
Property / reviewed by
 
Property / reviewed by: Yves Diers / rank
 
Normal rank

Revision as of 04:58, 10 February 2024

scientific article
In more languages
Configure
Language Label Description Also known as
English
Pushout-complements and basic concepts of grammars in toposes
scientific article

    Statements

    Pushout-complements and basic concepts of grammars in toposes (English)
    The author investigates pushouts in toposes by using essentially the theory of binary relations, which he called relational calculus. A characterization of pushouts is given, and also characterizations of the existence of a whole pushout starting from some part of it. For example for a composable pair of morphisms (f,g) any pair of morphisms (h,k) such that (g,k) is the pushout of (f,h) is called a pushout-complement of (f,g). The special case of the topos of directed graphs is closely examined. As an application, an embedding theorem and Church-Rosser theorem on grammars in a topos is proved.
    pushouts
    binary relations
    topos of directed graphs
    embedding
    Church- Rosser theorem
    grammars in a topos

    Identifiers