What should a generic object be? (Q6174093): Difference between revisions

@@ Property / OpenAlex ID @@
+W4366990317
@@ Property / OpenAlex ID: W4366990317 / rank @@
+Normal rank
@@ Property / cites work @@
+Displayed Categories
@@ Property / cites work: Displayed Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
+Normal rank
@@ Property / cites work @@
+On the unicity of the theory of higher categories
@@ Property / cites work: On the unicity of the theory of higher categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851317
@@ Property / cites work: Q2851317 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibered categories and the foundations of naive category theory
+Normal rank
@@ Property / cites work @@
+Developing theories of types and computability via realizability
+Normal rank
@@ Property / cites work @@
+Q5458501
@@ Property / cites work: Q5458501 / rank @@
+Normal rank
@@ Property / cites work @@
+First steps in synthetic guarded domain theory: step-indexing in the topos of trees
+Normal rank
@@ Property / cites work @@
+Q3869510
@@ Property / cites work: Q3869510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5731806
@@ Property / cites work: Q5731806 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal properties for universal types in bifibrational parametricity
+Normal rank
@@ Property / cites work @@
+Séminaire de géométrie algébrique du Bois Marie 1960/61 (SGA 1), dirigé par Alexander Grothendieck. Augmenté de deux exposés de M. Raynaud. Revêtements étales et groupe fondamental. Exposés I à XIII. (Seminar on algebraic geometry at Bois Marie 1960/61 (SGA 1), directed by Alexander Grothendieck. Enlarged by two reports of M. Raynaud. Ètale coverings and fundamental group)
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+A small complete category
@@ Property / cites work: A small complete category / rank @@
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Discrete Objects in the Effective Topos
@@ Property / cites work: The Discrete Objects in the Effective Topos / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4853985
@@ Property / cites work: Q4853985 / rank @@
+Normal rank
@@ Property / cites work @@
+The simplicial model of univalent foundations (after Voevodsky)
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5278410
@@ Property / cites work: Q5278410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786612
@@ Property / cites work: Q3786612 / rank @@
+Normal rank
@@ Property / cites work @@
+The univalence axiom for elegant Reedy presheaves
@@ Property / cites work: The univalence axiom for elegant Reedy presheaves / rank @@
+Normal rank
@@ Property / cites work @@
+A General Framework for Relational Parametricity
@@ Property / cites work: A General Framework for Relational Parametricity / rank @@
+Normal rank
@@ Property / cites work @@
+Cosmoi of Internal Categories
@@ Property / cites work: Cosmoi of Internal Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718564
@@ Property / cites work: Q5718564 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank