Michael Barr
- *-Autonomous Categories
1979/01/01 by Michael Barr · 2 citations
Computer Science · Mathematics · Psychology · #Advanced Algebra and Logic #Algebra over a field #Child and Animal Learning Development #Computability, Logic, AI Algorithms #Mathematics #Pure mathematics
- Nonsymmetric ∗-autonomous categories
1995/03/01 by Michael Barr · 2 citations
Computer Science · Mathematics · #Algebra over a field #Algebraic structures and combinatorial models #Algorithm #Calculus (dental) #Computer science #Homotopy and Cohomology in Algebraic Topology #Linear logic #Linear temporal logic #Logic, Reasoning, and Knowledge #Mathematics #Pure mathematics #Theoretical computer science
- Algebraically compact functors
1992/10/01 by Michael Barr · 1 citation
Mathematics · #Homotopy and Cohomology in Algebraic Topology #Advanced Topics in Algebra #Rings, Modules, and Algebras