Order:
  1.  15
    Ultradiophantine Categories.Leopoldo Román - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):289-295.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  2.  36
    Monoidal Categories with Natural Numbers Object.Robert Paré & Leopoldo Román - 1989 - Studia Logica 48 (3):361 - 376.
    The notion of a natural numbers object in a monoidal category is defined and it is shown that the theory of primitive recursive functions can be developed. This is done by considering the category of cocommutative comonoids which is cartesian, and where the theory of natural numbers objects is well developed. A number of examples illustrate the usefulness of the concept.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3.  3
    Ultradiophantine Categories.Leopoldo Román - 1988 - Mathematical Logic Quarterly 34 (4):289-295.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography