In a recent talk at CT06 http://faculty.tnstate.edu/sforcey/ct06.htm and in a research proposal at http://faculty.tnstate.edu/sforcey/class_home/research.htm a definition of weak enrichment over a strict monoidal n-category is introduced. We would like to generalize the definition of enrichment in a way which fits naturally into the world of weakened category theory, where multiplication and co...

We study deformations of invertible bimodules and the behavior of Picard groups under deformation quantization. While K0-groups are known to be stable under formal deformations of algebras, Picard groups may change drastically. We identify the semiclassical limit of bimodule deformations as contravariant connections and study the associated deformation quantization problem. Our main focus is on...

We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This provides a purely categorical proof of a conjecture by Ostrik concerning the structure of F . As a by-product we obtain a concrete expression for the structure...

This paper presents a new approach to robustly track a robot’s location in indoor environments using a partially observable Markov model. This model is constructed from topological representation of the environment, plus actuator an sensor characteristics. The system takes into account various sources of uncertainty to maintain a probability distribution over all possible locations of the robot...

Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a continuous function on it. Here we partially solve a major open problem in the field by showing (by reduction of the ω-reachability problem for lossy channel systems) that the dynamic topological logic over arbitrary top...

Let A be a Banach algebra and X a Banach A-bimodule, the derivation D : A → X is semi-inner if there are ξ, μ ∈ X such that D(a) = a.ξ − μ.a, (a ∈ A). A is called semi-amenable if every derivation D : A → X∗ is semi-inner. The dual Banach algebra A is Connes semi-amenable (resp. approximately semi-amenable) if, every D ∈ Z1w _ (A,X), for each normal, dual Banach A-bimodule X, is semi -inner (re...

: Answering a question by Honsell and Plotkin, we show that there are two equations between λ-terms, the so-called subtractive equations, consistent with λ-calculus but not simultaneously satisfied in any partially ordered model with bottom element. We also relate the subtractive equations to the open problem of the order-incompleteness of λ-calculus, by studying the connection between the noti...

We describe a new framework for dependency grammar, with a modular decomposition of immediate dependency and linear precedence. Our approach distinguishes two orthogonal yet mutually constraining structures: a syntactic dependency tree and a topological dependency tree. The syntax tree is nonprojective and even non-ordered, while the topological tree is projective and partially ordered.

The five mycobacteria Mycobacterium lepraemurium, M. leprae, M. bovis BCG, M. smegmatis, and M. intracellulare were studied. Catalase and peroxidase activities were demonstrated in polyacrylamide and crossed immunoelectrophoresis gels for M. lepraemurium, M. intracellulare, and BCG, but not for M. leprae. Peroxidase and catalase activities were associated with the same precipitate line in cross...