Concepedia

Myles Tierney

MT

6

Publications

601

Citations

6

H-Index

1968

Active since

Affiliations

Université du Québec à Montréal(Current)

Rutgers, The State University of New Jersey

Myles Tierney is an author at Université du Québec à Montréal specializing in automated reasoning, representation theory, and geometric group theory.

Top concepts

EngineeringComputer ScienceAutomated ReasoningRepresentation TheoryGeometric Group Theory

Publications per year

1968–2008

6

Publications

6

An extension of the Galois theory of Grothendieck

André Joyal, Myles Tierney · Memoirs of the American Mathematical Society · 1984 · 524 citations

Algebraic Theory, Galois Theory, Universal Algebra +1

Some applications of a property of the functor<i>Ef</i>

Myles Tierney · Pacific Journal of Mathematics · 1968 · 19 citations · Full text

Higher Category Theory, Categorical Model, Universal Algebra

Linear logic, bimodules, and full coherence for autonomous categories

Todd Trimble, Myles Tierney · 1994 · 18 citations

Algebraic Logic, Full Coherence, Coherence Problem +11

Notes on simplicial homotopy theory

André Joyal, Myles Tierney · 2008 · 18 citations

On the homotopy theory of sheaves of simplicial groupoids

André Joyal, Myles Tierney · Mathematical Proceedings of the Cambridge Philosophical Society · 1996 · 12 citations

Schubert Calculus, Supermanifold, Higher Category Theory +5

Rows per page

1–5 of 6