The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi”

Many-sorted coalgebraic modal logic : a model-theoretic study

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...

Upsetting the foundations for mathematics

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.