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.
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: