A constructive approach to Freyd categories (Q2035866): Difference between revisions

@@ Property / cites work @@
+Q5586467
@@ Property / cites work: Q5586467 / rank @@
+Normal rank
@@ Property / cites work @@
+AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION
+Normal rank
@@ Property / cites work @@
+Characterizing Serre quotients with no section functor and applications to coherent sheaves
+Normal rank
@@ Property / cites work @@
+On the ext-computability of Serre quotient categories
+Normal rank
@@ Property / cites work @@
+homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
@@ Property / cites work: homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA / rank @@
+Normal rank
@@ Property / cites work @@
+On the Freyd categories of an additive category
@@ Property / cites work: On the Freyd categories of an additive category / rank @@
+Normal rank
@@ Property / cites work @@
+Gauge backgrounds and zero-mode counting in F-theory
+Normal rank
@@ Property / cites work @@
+The word problem
@@ Property / cites work: The word problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935949
@@ Property / cites work: Q4935949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599870
@@ Property / cites work: Q5599870 / rank @@
+Normal rank
@@ Property / cites work @@
+T.T.F. theories for left and right exact sequences
+Normal rank
@@ Property / cites work @@
+Q2781760
@@ Property / cites work: Q2781760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679165
@@ Property / cites work: Q4679165 / rank @@
+Normal rank
@@ Property / cites work @@
+Injective stabilization of additive functors. II. (Co)torsion and the Auslander-Gruson-Jensen functor
+Normal rank
@@ Property / cites work @@
+Q3252716
@@ Property / cites work: Q3252716 / rank @@
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Linear systems over localizations of rings
@@ Property / cites work: Linear systems over localizations of rings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3632824
@@ Property / cites work: Q3632824 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+A Constructive Solution to Interconnection and Decomposition Problems with Multidimensional Behaviors
+Normal rank