We construct a small realization as flow of every precubical set (modeling for example a process algebra). The realization is small in the sense that the construction does not make use of any cofibrant replacement functor and of any transfinite construction. In particular, if the precubical set is finite, then the corresponding flow has a finite globular decomposition. Two applications are give...

We report compressibility data on single-domain, globular proteins which suggest a general relationship between protein conformational transitions and delta kzeroS, the change in the partial specific adiabatic compressibility which accompanies the transition. Specifically, we find transitions between native and compact intermediate states to be accompanied by small increases in kzeroS of +(1-4)...

This derivation of (2) is not valid, because this duality applies to inferences and theorems only, not to definitions. In fact, (1) should be treated as an axiom. Accordingly, the duality of Lemma 3.3.1 would not be valid until the dual (2) of (1) is proved independently, as we do below. Our new proof will make use of Proposition 3.3.3, the original proof of which is based on duality. So, we mu...

Answering a recent question posed by Gregori, Morillas and Sapena (“On a class of completable fuzzy metric spaces”, Fuzzy Sets and Systems, 161 (2010), 2193–2205) we present two examples of non strong fuzzy metrics (in the sense of George and Veeramani).

We provide an extension of the notion of chain-valued frame introduced by Pultr and Rodabaugh in [Category theoretic aspects of chain-valued frames: parts I and II, Fuzzy Sets and Systems 159 (2008) 501–528 and 529–558] by relaxing the assumption that L be a complete chain. As a result of this investigation we formulate the category L-Frm of L-frames under the weaker assumption that L is a comp...

In this state-of-the-art paper, important advances that have been made during the past five years for both general and interval type-2 fuzzy sets and systems are described. Interest in type-2 subjects is worldwide and touches on a broad range of applications and many interesting theoretical topics. The main focus of this paper is on the theoretical topics, with descriptions of what they are, wh...

in this article we introduce the notion of textit{fractal $omega$-operad} emerging from  a natural $omega$-operad associated to any coglobular object in the category of higher operads in batanin's sense, which in fact is a coendomorphism $omega$-operads. we have in mind coglobular object of higher operads which algebras are kind of higher transformations. it follows that this natural $omega$-op...

We start this article by rebuilding higher operads of weak higher transformations, and correct those in cite{Cambat}. As in cite{Cambat} we propose an operadic approach for weak higher $n$-transformations, for each $ninmathbb{N}$, where such weak higher $n$-transformations are seen as algebras for specific contractible higher operads. The last chapter of this article asserts that, up to precise...

For a given ω-operad A on globular sets we introduce a sequence of symmetric operads on Set called slices of A and show how the connected limit preserving properties of slices are related to the property of the category of n-computads of A being a presheaf topos.

We introduce a new simplicial nerve of higher dimensional automata whose homology groups yield a new definition of the globular homology. With this new definition, the drawbacks noticed with the construction of [Gau99] disappear. Moreover the important morphisms which associate to every globe its corresponding branching area and merging area of execution paths become morphisms of simplicial sets.