25,269 research outputs found
Edge contraction on dual ribbon graphs and 2D TQFT
We present a new set of axioms for 2D TQFT formulated on the category of cell
graphs with edge-contraction operations as morphisms. We construct a functor
from this category to the endofunctor category consisting of Frobenius
algebras. Edge-contraction operations correspond to natural transformations of
endofunctors, which are compatible with the Frobenius algebra structure. Given
a Frobenius algebra A, every cell graph determines an element of the symmetric
tensor algebra defined over the dual space A*. We show that the
edge-contraction axioms make this assignment depending only on the topological
type of the cell graph, but not on the graph itself. Thus the functor generates
the TQFT corresponding to A.Comment: accepted in Journal of Algebra (22 pages, 13 figures
A Topological Representation Theorem for Oriented Matroids
We present a new direct proof of a topological representation theorem for
oriented matroids in the general rank case. Our proof is based on an earlier
rank 3 version. It uses hyperline sequences and the generalized Sch{\"o}nflies
theorem. As an application, we show that one can read off oriented matroids
from arrangements of embedded spheres of codimension one, even if wild spheres
are involved.Comment: 21 pages, 4 figure
Axiomatic Digital Topology
The paper presents a new set of axioms of digital topology, which are easily
understandable for application developers. They define a class of locally
finite (LF) topological spaces. An important property of LF spaces satisfying
the axioms is that the neighborhood relation is antisymmetric and transitive.
Therefore any connected and non-trivial LF space is isomorphic to an abstract
cell complex. The paper demonstrates that in an n-dimensional digital space
only those of the (a, b)-adjacencies commonly used in computer imagery have
analogs among the LF spaces, in which a and b are different and one of the
adjacencies is the "maximal" one, corresponding to 3n\"i1 neighbors. Even these
(a, b)-adjacencies have important limitations and drawbacks. The most important
one is that they are applicable only to binary images. The way of easily using
LF spaces in computer imagery on standard orthogonal grids containing only
pixels or voxels and no cells of lower dimensions is suggested
Topological Foundations of Cognitive Science
A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers:
** Topological Foundations of Cognitive Science, Barry Smith
** The Bounds of Axiomatisation, Graham White
** Rethinking Boundaries, Wojciech Zelaniec
** Sheaf Mereology and Space Cognition, Jean Petitot
** A Mereotopological Definition of 'Point', Carola Eschenbach
** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel
** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda
** Defining a 'Doughnut' Made Difficult, N .M. Gotts
** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts
** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi
** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Ki
- …