?
1
An invitation to applied category theory
seven sketches in compositionality
Exemplar:
Zentrale:E02 a mat 129.3/897
?
2
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
Algebraic spaces and stacks
American Mathematical Society colloquium publications ; volume 62
Exemplar:
Zentrale:E02 a mat 540/217
?
6
Tensor categories
Mathematical surveys and monographs ; volume 205
Exemplar:
Zentrale:E02 a mat 129.3/746
?
7
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
?
Lectures on algebraic geometry / Günter Harder
2 ,
9
Basic concepts, coherent cohomology, curves and their Jacob..
, In:2
Aspects of mathematics, E ; 39
Exemplar:
Zentrale:E02 a mat 089 e/945-2
?
10
Algebraic graph theory
morphisms, monoids and matrices
De Gruyter studies in mathematics ; 41
Exemplar:
Zentrale:E02 a mat 571/837
?
12
Algebraic theories
a categorical introduction to general algebra
Cambridge tracts in mathematics ; 184
Exemplar:
Zentrale:E02 a mat 129.3/632
?
13
Deformation spaces
perspectives on algebro-geometric moduli; a publication of ...
Aspects of Mathematics ; 40
Exemplar:
Zentrale:E02 a mat 129.3/304
?
14
Threading homology through algebra
selected patterns
Oxford mathematical monographs;Oxford science publications
Exemplar:
Zentrale:E02 a mat 541/467