On Categories of Relations
Mara Alagić (1989)
Publications de l'Institut Mathématique
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.
The search session has expired. Please query the service again.
Displaying similar documents to “Categories of directed spaces”
On Categories of Relations
A remark on accessible and axiomatizable categories
Jiří Adámek, Jiří Rosický (1996)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
For categories with equalizers the concepts ``accessible'' and ``axiomatizable'' are equivalent. This results is proved under (in fact, is equivalent to) the large-cardinal Vopěnka's principle.
A survey of totality for enriched and ordinary categories
G. M. Kelly (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
From cubical to globular higher categories
Marco Grandis, Robert Paré (2012)
Diagrammes
Similarity:
Bicat is not triequivalent to Gray.
Lack, Stephen (2007)
Theory and Applications of Categories [electronic only]
Similarity:
A convenient category for directed homotopy.
Fajstrup, L., Rosický, J. (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Centrality and normality in protomodular categories.
Bourn, Dominique, Gran, Marino (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Categorical domain theory: Scott topology, powercategories, coherent categories.
Karazeris, Panagis (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Reedy categories which encode the notion of category actions
Julia E. Bergner, Philip Hackney (2015)
Fundamenta Mathematicae
Similarity:
We study a certain type of action of categories on categories and on operads. Using the structure of the categories Δ and Ω governing category and operad structures, respectively, we define categories which instead encode the structure of a category acting on a category, or a category acting on an operad. We prove that the former has the structure of an elegant Reedy category, whereas the latter has the structure of a generalized Reedy category. In particular, this approach gives a new...