State spaces and dipaths up to dihomotopy.

Raussen, Martin

Displaying similar documents to “State spaces and dipaths up to dihomotopy.”

Some relations between shape constructions

Friedrich W. Bauer (1978)

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

Similarity:

Locally cartesian closed categories without chosen constructions.

Palmgren, Erik (2008)

Theory and Applications of Categories [electronic only]

Similarity:

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:

Model structures for homotopy of internal categories.

Everaert, T., Kieboom, R.W., Van der Linden, T. (2005)

Theory and Applications of Categories [electronic only]

Similarity:

A higher dimensional homotopy sequence.

Grandis, M., Vitale, E.M. (2002)

Homology, Homotopy and Applications

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:

An inverse $K$ -theory functor.

Mandell, Michael A. (2010)

Documenta Mathematica

Similarity:

The shape of a category up to directed homotopy.

Grandis, Marco (2005)

Theory and Applications of Categories [electronic only]

Similarity:

Generalized Brown representability in homotopy categories.

Rosický, Jiří (2005)

Theory and Applications of Categories [electronic only]

Similarity:

Traced premonoidal categories

Nick Benton, Martin Hyland (2003)

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

Similarity:

Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in cartesian categories.