Quotient completion for the foundation of constructive mathematics (Q382422): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 03B15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F55
@@ Property / Mathematics Subject Classification ID: 03F55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C50
@@ Property / Mathematics Subject Classification ID: 18C50 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6228677
@@ Property / zbMATH DE Number: 6228677 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quotient completion
@@ Property / zbMATH Keywords: quotient completion / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+split fibration
@@ Property / zbMATH Keywords: split fibration / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+type theory
@@ Property / zbMATH Keywords: type theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+setoid
@@ Property / zbMATH Keywords: setoid / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Lawvere hyperdoctrine
@@ Property / zbMATH Keywords: Lawvere hyperdoctrine / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2065468423
@@ Property / OpenAlex ID: W2065468423 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1012
@@ Property / arXiv ID: 1202.1012 / rank @@
+Normal rank
@@ Property / cites work @@
+Setoids in type theory
@@ Property / cites work: Setoids in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936141
@@ Property / cites work: Q4936141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Some free constructions in realizability and proof theory
+Normal rank
@@ Property / cites work @@
+Q4740070
@@ Property / cites work: Q4740070 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed exact completions
@@ Property / cites work: Locally cartesian closed exact completions / rank @@
+Normal rank
@@ Property / cites work @@
+Regular and exact completions
@@ Property / cites work: Regular and exact completions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization systems and fibrations
@@ Property / cites work: Factorization systems and fibrations / 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 @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807625
@@ Property / cites work: Q4807625 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular correspondence between dependent type theories and categories including pretopoi and topoi
+Normal rank
@@ Property / cites work @@
+A minimalist two-level foundation for constructive mathematics
+Normal rank
@@ Property / cites work @@
+Q5718565
@@ Property / cites work: Q5718565 / rank @@
+Normal rank
@@ Property / cites work @@
+First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4877444
@@ Property / cites work: Q4877444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247310
@@ Property / cites work: Q4247310 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:382422