Results 1  10
of
11
Nuclear and Trace Ideals in Tensored *Categories
, 1998
"... We generalize the notion of nuclear maps from functional analysis by defining nuclear ideals in tensored categories. The motivation for this study came from attempts to generalize the structure of the category of relations to handle what might be called "probabilistic relations". The comp ..."
Abstract

Cited by 30 (9 self)
 Add to MetaCart
We generalize the notion of nuclear maps from functional analysis by defining nuclear ideals in tensored categories. The motivation for this study came from attempts to generalize the structure of the category of relations to handle what might be called "probabilistic relations". The compact closed structure associated with the category of relations does not generalize directly, instead one obtains nuclear ideals. Most tensored categories have a large class of morphisms which behave as if they were part of a compact closed category, i.e. they allow one to transfer variables between the domain and the codomain. We introduce the notion of nuclear ideals to analyze these classes of morphisms. In compact closed tensored categories, all morphisms are nuclear, and in the tensored category of Hilbert spaces, the nuclear morphisms are the HilbertSchmidt maps. We also introduce two new examples of tensored categories, in which integration plays the role of composition. In the first, mor...
Homotopy quantum field theories and the homotopy cobordism category in dimension 1+1
"... Abstract. We define Homotopy quantum field theories (HQFT) as Topological quantum field theories (TQFT) for manifolds endowed with extra structure in the form of a map into some background space X. We also build the category of homotopy cobordisms HCobord(n, X) such that an HQFT is a functor ..."
Abstract

Cited by 16 (0 self)
 Add to MetaCart
(Show Context)
Abstract. We define Homotopy quantum field theories (HQFT) as Topological quantum field theories (TQFT) for manifolds endowed with extra structure in the form of a map into some background space X. We also build the category of homotopy cobordisms HCobord(n, X) such that an HQFT is a functor
On Yetter’s invariant and an extension of the DijkgraafWitten invariant to categorical groups
 Theory Appl. Categ
"... We give an interpretation of Yetter’s Invariant of manifolds M in terms of the homotopy type of the function space TOP(M,B(G)), where G is a crossed module and B(G) is its classifying space. From this formulation, there follows that Yetter’s invariant depends only on the homotopy type of M, and the ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
(Show Context)
We give an interpretation of Yetter’s Invariant of manifolds M in terms of the homotopy type of the function space TOP(M,B(G)), where G is a crossed module and B(G) is its classifying space. From this formulation, there follows that Yetter’s invariant depends only on the homotopy type of M, and the weak homotopy type of the crossed module G. We use this interpretation to define a twisting of Yetter’s Invariant by cohomology classes of crossed modules, defined
Formal Homotopy Quantum Field Theories
 II : Simplicial Formal Maps
"... Homotopy Quantum Field Theories (HQFTs) were introduced by the second author to extend the ideas and methods of Topological Quantum Field Theories to closed dmanifolds endowed with extra structure in the form of homotopy classes of maps into a given ‘target ’ space. For d = 1, classifications of HQ ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
(Show Context)
Homotopy Quantum Field Theories (HQFTs) were introduced by the second author to extend the ideas and methods of Topological Quantum Field Theories to closed dmanifolds endowed with extra structure in the form of homotopy classes of maps into a given ‘target ’ space. For d = 1, classifications of HQFTs in terms of algebraic structures are known when B is a K(G,1) and also when it is simply connected. Here we study general HQFTs with d = 1 and target a general 2type, giving a common generalisation of the classifying algebraic structures for the two cases previously known. The algebraic models for 2types that we use are crossed modules, C, and we introduce a notion of formal Cmap, which extends the usual latticetype constructions to this setting. This leads to a classification of ‘formal ’ 2dimensional HQFTs with target C,
THE FUNDAMENTAL CROSSED MODULE OF THE COMPLEMENT Of A Knotted Surface
, 2009
"... We prove that if M is a CWcomplex and M 1 is its 1skeleton, then the crossed module Π2(M,M 1) depends only on the homotopy type of M as a space, up to free products, in the category of crossed modules, with Π2(D 2,S 1). From this it follows that if G is a finite crossed module and M is finite, the ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
We prove that if M is a CWcomplex and M 1 is its 1skeleton, then the crossed module Π2(M,M 1) depends only on the homotopy type of M as a space, up to free products, in the category of crossed modules, with Π2(D 2,S 1). From this it follows that if G is a finite crossed module and M is finite, then the number of crossed module morphisms Π2(M,M 1) →Gcan be rescaled to a homotopy invariant IG(M), depending only on the algebraic 2type of M. We describe an algorithm for calculating π2(M,M (1) ) as a crossed module over π1(M (1)), in the case when M is the complement of a knotted surface Σ in S 4 and M (1) is the handlebody of a handle decomposition of M made from its 0 and 1handles. Here, Σ is presented by a knot with bands. This in particular gives us a geometric method for calculating the algebraic 2type of the complement of a knotted surface from a hyperbolic splitting of it. We prove in addition that the invariant IG yields a nontrivial invariant of knotted surfaces in S 4 with good properties with regard to explicit calculations.
Invariants of welded virtual knots via crossed module invariants of knotted surfaces
 Comp. Math
"... We define an invariant of welded virtual knots from each finite crossed module by considering crossed module invariants of ribbon knotted surfaces which are naturally associated with them. We elucidate that the invariants obtained are non trivial by calculating explicit examples. We define welded vi ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We define an invariant of welded virtual knots from each finite crossed module by considering crossed module invariants of ribbon knotted surfaces which are naturally associated with them. We elucidate that the invariants obtained are non trivial by calculating explicit examples. We define welded virtual graphs and consider invariants of them defined in a similar way. Also at Departamento de Matemática, Universidade Lusófona de Humanidades e Tecnologia,
Spin Foam Perturbation Theory
, 1999
"... We study perturbation theory for spin foam models on triangulated manifolds. ..."
Abstract
 Add to MetaCart
(Show Context)
We study perturbation theory for spin foam models on triangulated manifolds.
Contents
, 1998
"... Abstract. To characterize categorical constraints associativity, commutativity and monoidality in the context of quasimonoidal categories, from a cohomological point of view, we define the notion of a parity (quasi)complex. Applied to groups gives nonabelian cohomology. The categorification func ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. To characterize categorical constraints associativity, commutativity and monoidality in the context of quasimonoidal categories, from a cohomological point of view, we define the notion of a parity (quasi)complex. Applied to groups gives nonabelian cohomology. The categorification functor from groups to monoidal categories provides the correspondence between the respective parity (quasi)complexes and allows to interpret 1cochains as functors, 2cocycles monoidal structures, 3cocycles associators. The cohomology spaces H 3, H 2, H 1, H 0 correspond as usual to quasiextensions, extensions, split extensions and invariants, as in the abelian case. A larger class of commutativity constraints for monoidal categories is identified. It is
Contemporary Mathematics Formal Homotopy Quantum Field Theories, II: Simplicial Formal Maps
, 2005
"... Abstract. Simplicial formal maps were introduced in the first paper of this series as a tool for studying Homotopy Quantum Field Theories with background a general homotopy 2type. Here we continue their study, showing how a natural generalisation can handle much more general backgrounds. The questi ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. Simplicial formal maps were introduced in the first paper of this series as a tool for studying Homotopy Quantum Field Theories with background a general homotopy 2type. Here we continue their study, showing how a natural generalisation can handle much more general backgrounds. The question of the geometric interpretation of these formal maps is partially answered in terms of combinatorial bundles. This suggests new interpretations of HQFTs.