Michael Barr
#50,115
Most Influential Person Now
Canadian mathematician and computer scientist
Michael Barr 's AcademicInfluence.com Rankings
Michael Barr computer-science Degrees
Computer Science
#4660
World Rank
#4917
Historical Rank
Theoretical Computer Science
#111
World Rank
#111
Historical Rank

Michael Barr mathematics Degrees
Mathematics
#4472
World Rank
#6345
Historical Rank
Algebraic Geometry
#162
World Rank
#169
Historical Rank
Number Theory
#247
World Rank
#314
Historical Rank
Measure Theory
#2155
World Rank
#2599
Historical Rank

Download Badge
Computer Science Mathematics
Michael Barr 's Degrees
- PhD Mathematics Princeton University
Why Is Michael Barr Influential?
(Suggest an Edit or Addition)According to Wikipedia, Michael Barr is an American mathematician who is the Peter Redpath Emeritus Professor of Pure Mathematics at McGill University. Early life and education He was born in Philadelphia, Pennsylvania, and graduated from the 202nd class of Central High School in June 1954. He graduated from the University of Pennsylvania in February 1959 and received a PhD from the same school in June 1962.
Michael Barr 's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Category theory for computing science (1995) (1166)
- Toposes, Triples and Theories (1984) (781)
- Terminal Coalgebras in Well-Founded Set Theory (1993) (325)
- *-Autonomous categories and linear logic (1991) (223)
- Exact categories and categories of sheaves (1971) (215)
- Homology and standard constructions (1969) (208)
- Coequalizers and free triples (1970) (157)
- Category theory for computing science (2. ed.) (1995) (112)
- Harrison homology, Hochschild homology and triples☆☆☆ (1968) (102)
- Acyclic Models and Triples (1966) (80)
- Acyclic Models (1996) (79)
- Algebraically compact functors (1992) (77)
- Category theory for computer science (1995) (69)
- EXTENSIONS OF DERIVATIONS (1971) (56)
- FUZZY SET THEORY AND TOPOS THEORY (1986) (51)
- Coalgebras over a commutative ring (1974) (47)
- Toposes without points (1974) (47)
- Cohomology as the derived functor of derivations (1966) (46)
- THE CHU CONSTRUCTION (2004) (42)
- GENERALIZED CONGRUENCES — EPIMORPHISMS IN Cat (1999) (41)
- ∗-Autonomous categories, revisited☆ (1996) (37)
- Nonsymmetric *-Autonomous Categories (1995) (34)
- On locally simply connected toposes and their fundamental groups (1981) (33)
- INJECTIVE HULLS OF PARTIALLY ORDERED MONOIDS (2012) (31)
- THE SEPARATED EXTENSIONAL CHU CATEGORY (1998) (29)
- Cartan-Eilenberg cohomology and triples (1996) (28)
- The Formal Description of Data Types Using Sketches (1987) (28)
- Additions and Corrections to "Terminal Coalgebras in Well-founded Set Theory" (1994) (27)
- Accessible categories and models of linear logic (1991) (27)
- Composite cotriples and derived functors (1969) (27)
- The point of the empty set (1972) (26)
- Representation of categories (1986) (26)
- ON PRODUCTIVELY LINDELOF SPACES (2007) (24)
- On categories with effective unions (1988) (22)
- Molecular Toposes* (2001) (22)
- Terminal coalgebras for endofunctors on sets (2004) (19)
- A NOTE ON FREE REGULAR AND EXACT COMPLETIONS AND THEIR INFINITARY GENERALIZATIONS (1996) (19)
- Abstract Galois theory (1980) (18)
- A cohomology theory for commutative algebras. II (1965) (17)
- ATOMIC TOPOSES * (2001) (17)
- *-autonomous categories: Once more around the track. (1999) (17)
- ON MACKEY TOPOLOGIES IN TOPOLOGICAL ABELIAN GROUPS (2001) (15)
- RING EPIMORPHISMS AND C(X) (2003) (15)
- Fuzzy models of linear logic (1996) (15)
- On the size of categories. (1995) (14)
- Editors' note: bibliometrics and the curators of orthodoxy (2009) (13)
- Right exact functors (1974) (13)
- Cohomology in Tensored Categories (1966) (13)
- Coalgebras in a category of algebras (1969) (13)
- Non-Abelian Torsion Theories (1973) (13)
- Models of sketches (1986) (13)
- Cohomology and obstructions: Commutative algebras (1969) (12)
- THE CHU CONSTRUCTION: HISTORY OF AN IDEA (2006) (12)
- On*-Autonomous categories of topological vector spaces (2000) (12)
- Complexity doctrines (1995) (12)
- NON-SYMMETRIC ∗-AUTONOMOUS CATEGORIES (2004) (11)
- Fixed Points in Cartesian Closed Categories (1990) (10)
- Searching for Absolute $\mathcal{C}\mathcal{R}$ -Epic Spaces (2007) (9)
- On CR-epic Embeddings and Absolute CR-epic Spaces (2005) (9)
- Topological spaces and quasi-varieties (1996) (8)
- A note on commutative algebra cohomology (1968) (8)
- Shukla cohomology and triples (1967) (8)
- $Top^{op}$ is a quasi-variety (1995) (8)
- COHOMOLOGY OF COMMUTATIVE ALGEBRAS (1962) (7)
- Duality of Banach spaces (1976) (7)
- Distributive adjoint strings. (1995) (7)
- Duality of vector spaces (1976) (7)
- The Existence of Injective Effacements (1975) (6)
- Appendix: Separability of tensor in Chu categories of vector spaces (1996) (6)
- On Representations of Grothendieck Toposes (1987) (6)
- HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS (2002) (6)
- Building closed categories (1978) (5)
- Abstract galois theory II (1982) (5)
- What is the center (1969) (5)
- Category theory and its applications (2000) (5)
- ON SUBGROUPS OF THE LAMBEK PREGROUP (2004) (5)
- ORIENTED SINGULAR HOMOLOGY (1995) (5)
- On the Limitations of Sketches (1992) (4)
- LIMIT CLOSURES OF CLASSES OF COMMUTATIVE RINGS (2015) (4)
- Closed categories and Banach spaces (1976) (4)
- Ring epimorphisms and . (2003) (4)
- The Emperor's New Mind. By Roger Penrose (1990) (3)
- The Existence of Free Groups (1972) (3)
- The category G. (1979) (3)
- THE THEORY OF THEORIES AS A MODEL OF SYNTAX ACQUISITION (1978) (2)
- TOPOLOGICAL ⁄-AUTONOMOUS CATEGORIES (2006) (2)
- HSP Type Theorems in the Category of Posets (1991) (2)
- ON DUALITY OF TOPOLOGICAL ABELIAN GROUPS (2009) (2)
- COUNTABLE MEETS IN COHERENT SPACES WITH APPLICATIONS TO THE CYCLIC SPECTRUM (2011) (2)
- Advanced Problems: 6144-6149 (1977) (2)
- AN EXTENDED VIEW OF THE CHU-CONSTRUCTION (2006) (2)
- SEARCHING FOR MORE ABSOLUTE CR-EPIC SPACES (2006) (2)
- Notes on sketches (2004) (1)
- A Duality on Simplicial Complexes (2002) (1)
- Shorter Notes: Extensions of Derivations (1971) (1)
- Non-abelian full embedding; Announcement of results (1971) (1)
- ISBELL DUALITY FOR MODULES (2009) (1)
- ON REFLECTIVE AND COREFLECTIVE HULLS (2016) (1)
- TOPOLOGICAL BALLS (1)
- COEQUALIZERS AND FREE TRIPLES, II (2019) (1)
- Preserving Homology (1)
- SOLUTION MANIFOLDS FOR SYSTEMS OF DIFFERENTIAL EQUATIONS (2000) (1)
- Functorial semantics and HSP type theorems (1994) (1)
- MODELS OF HORN THEORIES (2004) (1)
- A closed category of reflexive topological abelian groups (1977) (1)
- Advanced Problems: 6430-6435 (1983) (1)
- Embedding of categories (1973) (1)
- FUNCTIONAL SET THEORY (1999) (1)
- SEARCHING FOR MORE ABSOLUTECR-EPIC SPACES (2009) (1)
- Addenda to “Shulka cohomology and triples”☆ (1967) (0)
- GEOMETRIC CONSTRUCTION OF THE LEVI-CIVITA PARALLELISM To Bill Lawvere on the occasion of his 60th birthday (1998) (0)
- NOTE ON A THEOREM OF PUTNAM ' S MICHAEL BARR Transmitted by (0)
- Introduction (2004) (0)
- Properties of Toposes (1985) (0)
- Town planner : architect (1967) (0)
- Mathematical Applications of Category Theory Applications Mathématiques De La Théorie Des Catégories (2007) (0)
- Applications in topology (2002) (0)
- Optimal control of tank turrets in the presence of stochastic disturbances. (1979) (0)
- Correction to “Topological balls” (2001) (0)
- FLOWS: COCYCLIC AND ALMOST COCYCLIC (2011) (0)
- Embedding of Accessible Regular Categories (1989) (0)
- Rational Erd} Os Numbers (2001) (0)
- Extensions of structure (1979) (0)
- 1 Initial algebras and terminal coalgebras (2004) (0)
- Other applications in algebra (2002) (0)
- THE CHU CONSTRUCTION Dedicated to the memory of Robert W. Thomason, 1952{1995 (1996) (0)
- Chain complexes and simplicial objects (2002) (0)
- JAMS 1 On productively Lindelöf spaces (2006) (0)
- Topological *-autonomous categories, revisited (2016) (0)
- THE -AUTONOMOUS CATEGORY OF UNIFORM SUP SEMI-LATTICES Dedicated to the memory of Heinrich Kleisli, 1930{2011. (2012) (0)
- Abelian categories and homological algebra (2002) (0)
- -AUTONOMOUS CATEGORIES: ONCE MORE AROUND THE TRACK To Jim Lambek on the occasion of his 75th birthday (1999) (0)
- Reviews (2014) (0)
- Algebraic cohomology : the early days (2003) (0)
- Cartan-Eilenberg Cohomology (2002) (0)
- Local extension of maps. (2009) (0)
- The main acyclic models theorem (2002) (0)
- Problems: 10211-10219 (1992) (0)
- Category theory and its applications - Preface (2000) (0)
- NOTE ON A THEOREM OF PUTNAM'S (1995) (0)
- Cohomology and obstructions : Commutative algebras 3 1 (2009) (0)
- Review: The Outer Limits of Reason. Noson Yanofsky. MIT Press, Cambridge, MA and London, England, 2013, xiv + 403 pp., ISBN 978-0-262-01935-4, $29.95 (2014) (0)
- Permanence Properties of Toposes (1985) (0)
- More on Triples (1985) (0)
- Advanced Problems: 6270-6272 (1979) (0)
- On $\mathcal{C}\mathcal{R}$ -Epic Embeddings and Absolute $\mathcal{C}\mathcal{R}$ -Epic Spaces (2005) (0)
This paper list is powered by the following services:
Other Resources About Michael Barr
What Schools Are Affiliated With Michael Barr ?
Michael Barr is affiliated with the following schools: