Classifying spaces of categories and term rewriting.

Citterio, Maurizio G.

Displaying similar documents to “Classifying spaces of categories and term rewriting.”

Coherent categories with respect to monads and coherent prohomotopy theory

M. A. Batanin (1993)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Operads in higher-dimensional category theory.

Leinster, Tom (2004)

Theory and Applications of Categories [electronic only]

Similarity:

Localization of $𝒱$ -categories.

Dundas, Bjørn Ian (2001)

Theory and Applications of Categories [electronic only]

Similarity:

Simplicial and categorical diagrams, and their equivariant applications.

Fritsch, Rudolf, Golasiński, Marek (1998)

Theory and Applications of Categories [electronic only]

Similarity:

Simplicial $n$ -fold monoidal categories model all loop spaces

Fiedorowicz, Vogt (2003)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

An Introduction to Adjunction

Kosta Došen (1998)

Zbornik Radova

Similarity:

A survey of definitions of $n$ -category.

Leinster, Tom (2002)

Theory and Applications of Categories [electronic only]

Similarity:

Closed model categories for $[n, m,]$ -types.

Extremiana Aldana, J.Ignazio, Hernández Paricio, L.Javier, Rivas Rodríguez, M.Teresa (1997)

Theory and Applications of Categories [electronic only]

Similarity:

Adhesive and quasiadhesive categories

Stephen Lack, Paweł Sobociński (2005)

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

Similarity:

We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.

Colimits for the pro-category of towers of simplicial sets

David Blanc (1996)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity: