Introduction 2 1. Symmetric spectra 5 1.1. Simplicial sets 5 1.2. Symmetric spectra 6 1.3. Simplicial structure on Sp 8 1.4. Symmetric Ω-spectra 10 2. The smash product of symmetric spectra 11 2.1. Symmetric sequences 11 2.2. Symmetric spectra 14 2.3. The ordinary category of spectra 18 3. Stable homotopy theory of symmetric spectra 19 3.1. Stable equivalence 20 3.2. Model categories 26 3.3. Le...

LoA) and τ is a subalgebra of A . Morphisms (X,A, τ) (f,φ) −−−→ (Y,B, σ) are Set × LoA-morphisms (X,A) (f,φ) −−−→ (Y,B) such that φ ◦ p ◦ f ∈ τ for every p ∈ σ (the so-called continuity). Our definition subsumes the traditional latticevalued approach of [2]. The motivation for the new concept was provided by the problem of doing fuzzy mathematics without order. In [1] the authors consider a rel...

Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces via adjunction, arXiv:math.CT/0804.0326] the construction of a Yoneda embedding allowed to identify injectivity of spaces as cocompleteness and to show monadic...

This article consists of two parts. In Part 1, we present a formulation of twodimensional topological quantum field theories in terms of a functor from a category of ribbon graphs to the endofuntor category of a monoidal category. The key point is that the category of ribbon graphs produces all Frobenius objects. Necessary backgrounds from Frobenius algebras, topological quantum field theories,...

A crucial observation in Quillen’s definition of higher algebraic K-theory was that the right way to proceed is to define the higer K-groups as the homotopy groups of a space ([21]). Quillen gave two different space level models, one via the plus construction and the other via the Q-construction. The Q construction version allowed Quillen to prove a number of important formal properties of the ...

The branching space of a flow is the topological space of germs of its nonconstant execution paths beginning in the same way. However, there exist weakly Shomotopy equivalent flows having non weakly homotopy equivalent branching spaces. This topological space is then badly behaved from a computer-scientific viewpoint since weakly S-homotopy equivalent flows must correspond to higher dimensional...

We give an elementary proof that there are two topological generators for the full group of every aperiodic hyperfinite probability measure preserving Borel equivalence relation. Our proof explicitly constructs topological generators for the orbit equivalence relation of the irrational rotation of the circle, and then appeals to Dye’s theorem and a Baire category argument to conclude the genera...

We introduce observation frames as an extension of ordinary frames. The aim is to give an abstract representation of a mapping from observable predicates to all predicates of a specific system. A full subcategory of the category of observation frames is shown to be dual to the category of F! topological spaces. The notions we use generalize those in the adjunction between frames and topological...

We introduce the notion of a half-ribbon Hopf algebra, which is a Hopf algebra H along with a distinguished element t ∈ H such that (H, R,C) is a ribbon Hopf algebra, where R = (t ⊗ t)∆(t) and C = t. The element t is closely related to the topological ‘half-twist’, which twists a ribbon by 180 degrees. We construct a functor from a topological category of ribbons with half-twists to the categor...

This paper proposes a generation method of a subject-specific Facial Expression Map (FEMap) using the Self-Organizing Maps (SOM) of unsupervised learning and Counter Propagation Networks (CPN) of supervised learning together. The proposed method consists of two steps. In the first step, the topological change of a face pattern in the expressional process of facial expression is learned hierarch...