Fascinating links between the semantics of concurrent programs and algebraic topology
have been discovered and developed since the 1990s, motivated by the hope that each field …

§ 3. Ahnlichkeit einer Abbildung. Ahnliche Systeme § 4. Abbildung eines Systems in sich
selbst § 5. Das Endliche und Unendliche § 6. Einfach unendliche Systeme. Reihe der …

We prove a generalization of the classical connectivity theorem of Blakers–Massey, valid in
an arbitrary higher topos and with respect to an arbitrary modality, that is, a factorization …

It's often said that set theory provides a foundation for classical mathematics because every
classical mathematical object can be modeled as a set and every classical mathematical …

In this paper I investigate how conceptual engineering applies to mathematical concepts in
particular. I begin with a discussion of Waismann's notion of open texture, and compare it to …

This volume explores the many different meanings of the notion of the axiomatic method,
offering an insightful historical and philosophical discussion about how these notions …

The information and analytical activities of experts have one of the main problems which are
the unstructured information resources usage to be displayed in various network documents …

We review how core structures of string/M‐theory emerge as higher structures in super
homotopy theory; namely from systematic analysis of the brane bouquet of universal …

In this manuscript, some tripled fixed point results were derived under (φ, ρ, ℓ)-contraction in
the framework of ordered partially metric spaces. Moreover, we furnish an example which …

Birkedal et al. recently introduced dependent right adjoints as an important class of (non-
fibered) modalities in type theory. We observe that several aspects of their calculus are left …