The following pages link to Peter J. Freyd (Q1393468):
Displaying 50 items.
- (Q579254) (redirect page) (← links)
- Choice and well-ordering (Q579255) (← links)
- (Q685399) (redirect page) (← links)
- Structural polymorphism (Q685400) (← links)
- Splitting homotopy idempotents. II (Q687573) (← links)
- Functorial polymorphism (Q753948) (← links)
- Core algebra revisited (Q879364) (← links)
- All topoi are localic or why permutation models prevail (Q1087632) (← links)
- Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
- Coherence theorems via knot theory (Q1183358) (← links)
- Concreteness (Q1393469) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- Bireflectivity (Q1575886) (← links)
- Cartesian logic (Q1605480) (← links)
- Braided compact closed categories with applications to low dimensional topology (Q1822802) (← links)
- Categories of continuous functors. I (Q2559535) (← links)
- (Q3138538) (← links)
- (Q3138539) (← links)
- (Q3156509) (← links)
- (Q3411953) (← links)
- (Q3519054) (← links)
- (Q3594562) (← links)
- A new polynomial invariant of knots and links (Q3689889) (← links)
- (Q3795831) (← links)
- (Q3827997) (← links)
- (Q3978971) (← links)
- (Q3995720) (← links)
- (Q4109809) (← links)
- (Q4207884) (← links)
- (Q4222758) (← links)
- (Q4223216) (← links)
- Erratum (Q4405324) (← links)
- (Q4444124) (← links)
- (Q4474844) (← links)
- (Q4499215) (← links)
- On the size of categories (Q4888796) (← links)
- Algebra valued functors in general and tensor products in particular (Q5519923) (← links)
- The Grothendieck group for stable homotopy is free (Q5534012) (← links)
- Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups (Q5584586) (← links)
- (Q5586250) (← links)
- (Q5592097) (← links)
- (Q5592098) (← links)
- (Q5599220) (← links)
- (Q5599870) (← links)
- (Q5614472) (← links)
- (Q5627406) (← links)
- (Q5631282) (← links)
- (Q5662072) (← links)
- Aspects of topoi (Q5665316) (← links)
- Aspects of topoi: Corrigenda and acknowledgements (Q5665317) (← links)