Gerbes and homotopy quantum field theories.
Bunke, Ulrich, Turner, Paul, Willerton, Simon (2004)
Algebraic & Geometric Topology
Similarity:
Bunke, Ulrich, Turner, Paul, Willerton, Simon (2004)
Algebraic & Geometric Topology
Similarity:
Bauer, Friedrich W. (2002)
Theory and Applications of Categories [electronic only]
Similarity:
Michael F. Atiyah (1956)
Bulletin de la Société Mathématique de France
Similarity:
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...
Khovanov, Mikhail (2002)
Algebraic & Geometric Topology
Similarity:
Smith, Justin R. (2011)
Theory and Applications of Categories [electronic only]
Similarity:
Barr, Michael (1995)
Theory and Applications of Categories [electronic only]
Similarity:
Hernandez-Paricio, Luis-Javier (1995)
Theory and Applications of Categories [electronic only]
Similarity:
Picken, Roger (2004)
Algebraic & Geometric Topology
Similarity:
Marek Golasiński, Grzegorz Gromadzki (1982)
Colloquium Mathematicae
Similarity:
Adámek, Jiří, Rosický, Jiří (1996)
Theory and Applications of Categories [electronic only]
Similarity: