QA169 .P38 2023
|
Programs as diagrams : from categorical computability to computable categories / |
1 |
QA169 .P67 2011eb
|
Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence / |
1 |
QA169 .P725 2011eb
|
Definable additive categories : purity and model theory / |
1 |
QA169 .P87 1988
|
Linear algebraic monoids / |
1 |
QA169 .S4
|
Forcing and classifying topoi / |
1 |
QA169 .S43 2013
|
The formal theory of Tannaka duality / |
1 |
QA169 .S45 1987
|
Cyclic homology of algebras / |
1 |
QA169 .S56 2011eb
|
An introduction to category theory / |
1 |
QA169 .T685 2010
|
Triangulated categories / |
1 |
QA169 .T87 2017
|
Monoidal categories and topological field theory / |
1 |
QA169 .V47 1996
|
Des catégories dérivées des catégories abéliennes / |
1 |
QA169 .V476 2008
|
Complicial sets characterising the simplicial nerves of strict [omega]-categories / Complicial sets characterising the simplical nerves of strict [omega]-categories / |
2 |
QA169 .V67
|
Coherence and non-commutative diagrams in closed categories / |
1 |
QA169 .V67 1977eb
|
Coherence and non-commutative diagrams in closed categories / |
1 |
QA169 .W674 1997
|
Higher category theory : Workshop on Higher Category Theory, March 28-30, 1997, Northwestern University, Evanston, IL / |
1 |
QA169 .Y384 2020
|
Involutive category theory / |
1 |
QA171
|
Geometry of Mb̲ius transformations : elliptic, parabolic and hyperbolic actions of SL2(R) / Groups and symmetry : theory and applications / An invitation to representation theory : polynomial representations of the symmetric group / Groups and Their Graphs / |
4 |
QA171 .A13
|
Abelian group theory : proceedings of the 2nd New Mexico State University Conference, held at Las Cruces, New Mexico, December 9-12, 1976 / |
1 |
QA171 .A13 1981
|
Abelian group theory : proceedings of the Oberwolfach conference, January 12-17, 1981 / |
1 |
QA171 .A13 1982
|
Abelian group theory : proceedings of the conference held at the University of Hawaii, Honolulu, USA December 28, 1982-January 4, 1983 / |
1 |