We show that each of the three K-theory multifunctors from small permutative categories to $$\mathcal {G}_*$$ -categories, -simplicial sets, and connective spectra, is an equivalence homotopy theories. For these multifunctors, we describe explicit inverse functor. As a separate application our general results about pointed diagram categories, observe right-induced theory Bohmann–Osorno {E}_*$$ ...

We have performed for the first time in the literature a 2D structural analysis on the barred lenticular and face–on galaxies NGC 4608 and NGC 5701. The results indicate that these galaxies either have never had large disks or their disks were almost completely destroyed by their strong bars, due to secular evolution processes. We discuss these surprising conclusions checking for signs of secul...

The working of a 19-bed isolation unit in a general hospital was studied from August 1975 to July 1976. A few patients received the highest degree of isolation, but infections in all categories were contained and patients at risk in the same unit were protected from infection.

We describe a Coq formalization of constructive ω-cpos, ultrametric spaces and ultrametric-enriched categories, up to and including the inverse-limit construction of solutions to mixed-variance recursive equations in both categories enriched over ω-cppos and categories enriched over ultrametric spaces. We show how these mathematical structures may be used in formalizing semantics for three repr...

Src homology 2 (SH2) domains recognize phosphotyrosine (pY)-containing sequences and thereby mediate their association to ligands. Bruton's tyrosine kinase (Btk) is a cytoplasmic protein tyrosine kinase, in which mutations cause a hereditary immunodeficiency disease, X-linked agammaglobulinemia (XLA). Mutations have been found in all Btk domains, including SH2. We have analyzed the structural a...

The present paper is an attempt to study the minimal BL-general fuzzy automata which realizes the given fuzzy behavior. Of two methods applied for construction of such automaton presented here, one has been based on Myhill-Nerode's theory while the other has been based on derivatives of the given fuzzy behavior. Meanwhile, the categories of BL-general fuzzy automata and fuzzy behavior, along wi...