Peter J. Freyd

Available identifiers

zbMath Open freyd.peter-jWikidataQ451614 ScholiaQ451614MaRDI QIDQ1393468

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3519054	2008-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q3594562	2007-08-08	Paper
Core algebra revisited	2007-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q3411953	2006-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3156509	2005-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4474844	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4444124	2004-01-19	Paper
A new framework for declarative programming	2003-07-30	Paper
Cartesian logic	2002-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4499215	2001-03-04	Paper
Bireflectivity	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4223216	1998-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q4222758	1998-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4888796	1997-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q3138538	1993-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q3138539	1993-11-18	Paper
Splitting homotopy idempotents. II	1993-10-19	Paper
Structural polymorphism	1993-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q3995720	1992-09-17	Paper
Coherence theorems via knot theory	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3978971	1992-06-26	Paper
Functorial polymorphism	1990-01-01	Paper
Braided compact closed categories with applications to low dimensional topology	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3827997	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207884	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795831	1988-01-01	Paper
Choice and well-ordering	1987-01-01	Paper
All topoi are localic or why permutation models prevail	1987-01-01	Paper
Lindenbaum algebras of intuitionistic theories and free categories	1987-01-01	Paper
A new polynomial invariant of knots and links	1985-01-01	Paper
The axiom of choice	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4109809	1976-01-01	Paper
Erratum	1974-01-01	Paper
Concreteness	1973-01-01	Paper
Categories of continuous functors. I	1972-01-01	Paper
Aspects of topoi	1972-01-01	Paper
Aspects of topoi: Corrigenda and acknowledgements	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5614472	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5627406	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5662072	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5631282	1969-01-01	Paper
Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups	1968-01-01	Paper
The Grothendieck group for stable homotopy is free	1967-01-01	Paper
Algebra valued functors in general and tensor products in particular	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5592097	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5592098	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5599220	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5599870	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5586250	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5731806	1964-01-01	Paper
RELATIVE HOMOLOGICAL ALGEBRA MADE ABSOLUTE	1963-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter J. Freyd