Results 41 to 50 of about 85 (81)
Categorical properties of topological and differentiable stacks
, 2011 The focus of this PhD research is on the theory of topological and differentiable stacks. There are two main themes of this research. The first, is the creation of the theory of compactly generated stacks, which solve many categorical shortcomings of the
Sub Algebra,Geometry&Mathem. Logic begr. +2 more
core
, 2004 We present a simple and workable axiomatization of domain theory within intuitionistic set theory, in which predomains are (special) sets, and domains are algebras for a simple equational theory.
Rosolini, Giuseppe, Simpson, Alex
core
Right-Wing Populist Parties' Bordering Narratives in Times of Crisis: Anti-Immigration Discourse in the Genevan Borderland during the COVID-19 Pandemic. [PDF]
Schweiz Z Polit, 2022 Yerly G.
europepmc +1 more source
Practical Reasoning and Practical Argumentation: A Stakeholder Commitment Approach. [PDF]
Topoi (Dordr), 2023 van Berkel K, Wagemans JHM.
europepmc +1 more source
Towards a Convenient Category of Topological Domains
, 2003 topological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations.
Simpson, Alex, Alex Simpson
core
Alrededor de la lógica categórica infinitaria
Se estudia una generalización de la lógica categórica para lenguajes infinitarios. Principalmente se trabaja con una generalización de los topos de Grothendieck, que también generalizan los topos usados por Espíndola, y se estudia como esta definición ...
Roldan Moros, Samuel Felipe
core +1 more source
A Survey of Fuzzy Set and Topos theory
, 1991 This paper is a comparison and contrast of approaches to many-valued mathematics offered by Fuzzy Set theory and topos theory. It gives a survey of the categorical foundations of Fuzzy Set theory and related topoi.
Stout, Lawrence
core
Boundary Algebra: A Simpler Approach to Boolean Algebra and the Sentential Connectives [PDF]
Boundary algebra [BA] is a algebra of type , and a simplified notation for Spencer-Brown’s (1969) primary algebra. The syntax of the primary arithmetic [PA] consists of two atoms, () and the blank page, concatenation, and enclosure between ‘(‘ and ...
Philip Meguire
core
, 1983 A current update of our original 1980 publication entitled "Natural Transformations of Organismic Structures" is here presented, along with the original (1980) article.
Baianu, Dr. Ion
core