?
2
An invitation to applied category theory
seven sketches in compositionality
Copies:
Zentrale:E02 a mat 129.3/897
?
3
Temporal type theory
a topos-theoretic approach to systems and behavior
Progress in Computer Science and Applied Logic ; volume 29
Copies:
Zentrale:E02 a mat 129.3/704
?
4
Introduction to the Theory of Schemes
Moscow Lectures;Springer eBook Collection;SpringerLink, Bücher
?
7
Algebraic spaces and stacks
American Mathematical Society colloquium publications ; volume 62
Copies:
Zentrale:E02 a mat 540/217
?
8
Tensor categories
Mathematical surveys and monographs ; volume 205
Copies:
Zentrale:E02 a mat 129.3/746
?
9
Stacks and categories in geometry, topology, and algebra
CATS4 Conference Higher Categorical Structures and their In...
Contemporary mathematics ; 643
Copies:
Zentrale:E02 a mat 129.3/062
?
11
Coherence in three-dimensional category theory
Cambridge Tracts in Mathematics ; 201;EBL-Schweitzer
?
13
Algebraic graph theory
morphisms, monoids and matrices
De Gruyter studies in mathematics ; 41
Copies:
Zentrale:E02 a mat 571/837
?
Lectures on algebraic geometry / Günter Harder
2 ,
14
Basic concepts, coherent cohomology, curves and their Jacob..
, In:2
Aspects of mathematics, E ; 39
Copies:
Zentrale:E02 a mat 089 e/945-2