On a Foundation for Mathematics- a View of Mathematics I
Milan Đurić (1977)
Zbornik Radova
Similarity:
Milan Đurić (1977)
Zbornik Radova
Similarity:
B. Hilken, D. E. Rydeheard (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Bart Jacobs (2001)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
This paper gives a semantical underpinning for a many-sorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in object-oriented languages. These systems will be described as coalgebras of so-called polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Many-sorted Boolean Algebras...
Philip J. Scott (1989)
Diagrammes
Similarity:
Lawrence Neff Stout (2005)
Philosophia Scientiae
Similarity:
Starting with a review of the kinds of questions a foundation for mathematics should address, this paper provides a critique of set theoretical foundations, a proposal that multiple interconnected categorical foundations would be an improvement, and a way of recovering set theory within a categorical approach.
J. Lambek, P. J. Scott (1981)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Axel Möbus (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Colin McLarty (1989)
Diagrammes
Similarity: