Crossed squares and 2-crossed modules of commutative algebras.
Arvasi, Zekeri̇ya (1997)
Theory and Applications of Categories [electronic only]
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Arvasi, Zekeri̇ya (1997)
Theory and Applications of Categories [electronic only]
Similarity:
Mutlu, A., Porter, T. (1998)
Theory and Applications of Categories [electronic only]
Similarity:
Mutlu, A., Porter, T. (1998)
Theory and Applications of Categories [electronic only]
Similarity:
Brown, Ronald, Wensley, Christopher D. (1995)
Theory and Applications of Categories [electronic only]
Similarity:
Baker, Andrew, Lazarev, Andrey (2004)
Algebraic & Geometric Topology
Similarity:
Sommerhäuser, Yorck (1996)
The New York Journal of Mathematics [electronic only]
Similarity:
Brown, Ronald, Wensley, Christopher D. (1996)
Theory and Applications of Categories [electronic only]
Similarity:
Schwede, Stefan, Shipley, Brooke (2003)
Algebraic & Geometric Topology
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...
A. Mutlu, T. Porter (1999)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Carrasco, P., Garzon, A.R., Vitale, E.M. (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Khovanov, Mikhail (2002)
Algebraic & Geometric Topology
Similarity: