Some relations between shape constructions
Friedrich W. Bauer (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “State spaces and dipaths up to dihomotopy.”
Some relations between shape constructions
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 -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 -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.