A functorial approach to differential characters.

Turner, Paul

Displaying similar documents to “A functorial approach to differential characters.”

Gerbes and homotopy quantum field theories.

Bunke, Ulrich, Turner, Paul, Willerton, Simon (2004)

Algebraic & Geometric Topology

Similarity:

Colocalizations and their realizations as spectra.

Bauer, Friedrich W. (2002)

Theory and Applications of Categories [electronic only]

Similarity:

On the Krull-Schmidt theorem with application to sheaves

Michael F. Atiyah (1956)

Bulletin de la Société Mathématique de France

Similarity:

Integrating observational and computational features in the specification of state-based, dynamical systems

Corina Cîrstea (2001)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding...