?
2
An invitation to applied category theory
seven sketches in compositionality
Exemplar:
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
Exemplar:
Zentrale:E02 a mat 129.3/704
?
5
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
Exemplar:
Zentrale:E02 a mat 540/217
?
8
Stacks and categories in geometry, topology, and algebra
CATS4 Conference Higher Categorical Structures and their In...
Contemporary mathematics ; 643
Exemplar:
Zentrale:E02 a mat 129.3/062
?
9
Tensor categories
Mathematical surveys and monographs ; volume 205
Exemplar:
Zentrale:E02 a mat 129.3/746
?
11
Coherence in three-dimensional category theory
Cambridge Tracts in Mathematics ; 201;EBL-Schweitzer
?
14
Algebraic theories
a categorical introduction to general algebra
Cambridge tracts in mathematics ; 184
Exemplar:
Zentrale:E02 a mat 129.3/632
?
Lectures on algebraic geometry / Günter Harder
2 ,
15
Basic concepts, coherent cohomology, curves and their Jacob..
, In:2
Aspects of mathematics, E ; 39
Exemplar:
Zentrale:E02 a mat 089 e/945-2