The category of Milner processes is exact View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1987

AUTHORS

David B. Benson

ABSTRACT

This analysis has shown that there are several levels of ideas used in categories of Park-Milner processes. First and foremost, the theory of exact categories provides the fundamental structures. Second, the idea of rooted processes means one is attempting to work in a bigpointed category. As this brief analysis shows, bipointed categories have a rather weak collection of nice properties—at least known to me. Third, additive idempotence introduces considerable additional structure, and it is here that the non-unital aspects of the A-modules play an important rôle. More... »

PAGES

71-97

Book

TITLE

Category Theory and Computer Science

ISBN

978-3-540-18508-6
978-3-540-48006-8

Author Affiliations

From Grant

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-18508-9_21

DOI

http://dx.doi.org/10.1007/3-540-18508-9_21

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1042701435


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Washington State University", 
          "id": "https://www.grid.ac/institutes/grid.30064.31", 
          "name": [
            "Computer Science Department, Washington State University, 99164-1210\u00a0Pullman, WA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Benson", 
        "givenName": "David B.", 
        "id": "sg:person.015006706745.00", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015006706745.00"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1987", 
    "datePublishedReg": "1987-01-01", 
    "description": "This analysis has shown that there are several levels of ideas used in categories of Park-Milner processes. First and foremost, the theory of exact categories provides the fundamental structures. Second, the idea of rooted processes means one is attempting to work in a bigpointed category. As this brief analysis shows, bipointed categories have a rather weak collection of nice properties\u2014at least known to me. Third, additive idempotence introduces considerable additional structure, and it is here that the non-unital aspects of the A-modules play an important r\u00f4le.", 
    "editor": [
      {
        "familyName": "Pitt", 
        "givenName": "David H.", 
        "type": "Person"
      }, 
      {
        "familyName": "Poign\u00e9", 
        "givenName": "Axel", 
        "type": "Person"
      }, 
      {
        "familyName": "Rydeheard", 
        "givenName": "David E.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-18508-9_21", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isFundedItemOf": [
      {
        "id": "sg:grant.3331728", 
        "type": "MonetaryGrant"
      }
    ], 
    "isPartOf": {
      "isbn": [
        "978-3-540-18508-6", 
        "978-3-540-48006-8"
      ], 
      "name": "Category Theory and Computer Science", 
      "type": "Book"
    }, 
    "name": "The category of Milner processes is exact", 
    "pagination": "71-97", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-18508-9_21"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "cb6788a82ff35f646486f35e05020a72a407de1fe26498a9d884863767595616"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1042701435"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-18508-9_21", 
      "https://app.dimensions.ai/details/publication/pub.1042701435"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T15:10", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8672_00000073.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-18508-9_21"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/3-540-18508-9_21'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/3-540-18508-9_21'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-18508-9_21'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-18508-9_21'


 

This table displays all metadata directly associated to this object as RDF triples.

77 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-18508-9_21 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author N0311df0cc00f4cf2b30f74954dd851aa
4 schema:datePublished 1987
5 schema:datePublishedReg 1987-01-01
6 schema:description This analysis has shown that there are several levels of ideas used in categories of Park-Milner processes. First and foremost, the theory of exact categories provides the fundamental structures. Second, the idea of rooted processes means one is attempting to work in a bigpointed category. As this brief analysis shows, bipointed categories have a rather weak collection of nice properties—at least known to me. Third, additive idempotence introduces considerable additional structure, and it is here that the non-unital aspects of the A-modules play an important rôle.
7 schema:editor N07eee4bf22674f31b96023d874ef5af8
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N6d43bdd67d734703a0d120a1c0427d55
12 schema:name The category of Milner processes is exact
13 schema:pagination 71-97
14 schema:productId N3dbc622384f841eaba70b2eecbda14da
15 N778c6ea454ee4699bbe738f8550f81bf
16 Nf1ec33668b064d99b8929fbc869d9345
17 schema:publisher N385b2b5dc668459da11f63b93fcabbfc
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042701435
19 https://doi.org/10.1007/3-540-18508-9_21
20 schema:sdDatePublished 2019-04-15T15:10
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher N08b11bfb351445f392adc79694c72835
23 schema:url http://link.springer.com/10.1007/3-540-18508-9_21
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N0311df0cc00f4cf2b30f74954dd851aa rdf:first sg:person.015006706745.00
28 rdf:rest rdf:nil
29 N07eee4bf22674f31b96023d874ef5af8 rdf:first Neb942cabd46247fe989ed7770ac79df6
30 rdf:rest N8c5e9298ab3b477686b070f27fd69a5f
31 N08b11bfb351445f392adc79694c72835 schema:name Springer Nature - SN SciGraph project
32 rdf:type schema:Organization
33 N385b2b5dc668459da11f63b93fcabbfc schema:location Berlin, Heidelberg
34 schema:name Springer Berlin Heidelberg
35 rdf:type schema:Organisation
36 N3dbc622384f841eaba70b2eecbda14da schema:name doi
37 schema:value 10.1007/3-540-18508-9_21
38 rdf:type schema:PropertyValue
39 N5e074436b88b4343974753e4b87a0356 rdf:first N867830189ee544e4b160667dec08a72d
40 rdf:rest rdf:nil
41 N6d43bdd67d734703a0d120a1c0427d55 schema:isbn 978-3-540-18508-6
42 978-3-540-48006-8
43 schema:name Category Theory and Computer Science
44 rdf:type schema:Book
45 N778c6ea454ee4699bbe738f8550f81bf schema:name dimensions_id
46 schema:value pub.1042701435
47 rdf:type schema:PropertyValue
48 N867830189ee544e4b160667dec08a72d schema:familyName Rydeheard
49 schema:givenName David E.
50 rdf:type schema:Person
51 N8c5e9298ab3b477686b070f27fd69a5f rdf:first Nc2a915ce36fe462c9bf4613d9da800d4
52 rdf:rest N5e074436b88b4343974753e4b87a0356
53 Nc2a915ce36fe462c9bf4613d9da800d4 schema:familyName Poigné
54 schema:givenName Axel
55 rdf:type schema:Person
56 Neb942cabd46247fe989ed7770ac79df6 schema:familyName Pitt
57 schema:givenName David H.
58 rdf:type schema:Person
59 Nf1ec33668b064d99b8929fbc869d9345 schema:name readcube_id
60 schema:value cb6788a82ff35f646486f35e05020a72a407de1fe26498a9d884863767595616
61 rdf:type schema:PropertyValue
62 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
63 schema:name Mathematical Sciences
64 rdf:type schema:DefinedTerm
65 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
66 schema:name Pure Mathematics
67 rdf:type schema:DefinedTerm
68 sg:grant.3331728 http://pending.schema.org/fundedItem sg:pub.10.1007/3-540-18508-9_21
69 rdf:type schema:MonetaryGrant
70 sg:person.015006706745.00 schema:affiliation https://www.grid.ac/institutes/grid.30064.31
71 schema:familyName Benson
72 schema:givenName David B.
73 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015006706745.00
74 rdf:type schema:Person
75 https://www.grid.ac/institutes/grid.30064.31 schema:alternateName Washington State University
76 schema:name Computer Science Department, Washington State University, 99164-1210 Pullman, WA, USA
77 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...