1
Cover Image
2
Cover Image
3
Cover Image
Table of Contents: ...Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems....

Full text 
4
Cover Image
Table of Contents: ... Elicitation via Fit-Gap Analysis: A View through the Grounded Theory Lens -- Lambda+, the renewal of the Lambda Architecture: Category Theory to the rescue -- Category Theory Framework for Variability Models with Non-Functional Requirements -- Platforms...

Full text 
5
Cover Image
6
Cover Image
Subject (ZB): ...Category theory (Mathematics)....

Full text 
7
Cover Image
8
Cover Image
Table of Contents: ...Basic notions in category theory -- Natural transformations and the Yoneda-Lemma -- (Co)limits -- Kan extensions -- Comma categories and the Grothendieck construction -- Monads and comonads -- Abelian categories -- Symmetric monoidal categories...

Full text 
9
Cover Image
10
Cover Image
11
Cover Image
12
Cover Image
Table of Contents: ... Techniques -- Chapter 7: Category Theory -- Chapter 8: Immutability, Optics, and Laziness -- Chapter 9: Functional-Reactive Programming -- Chapter 10: Real-World Functional Programming -- Appendix A: Functional Programming Learning Road Map -- Appendix B...

Full text 
13
Cover Image
Table of Contents: ... -- Category Theory and Quantum Mechanics....

Full text 
14
Cover Image
Table of Contents: ...Introduction -- Why Categories? -- Category Theory and Philosophy -- Comments on: Category Theory and Philosophy by Zbigniew Krol -- Are There Category-Theoretical Explanations of Physical Phenomena? -- The Application of Category Theory to Epistemic...

Full text 
15
Cover Image
16
Cover Image
17
Cover Image
Table of Contents: ... -- Appendix A: Finite-dimensional Hilbert spaces -- Appendix B: Basic functional analysis -- Appendix C: Operator algebras -- Appendix D: Lattices and logic -- Appendix E: Category theory and topos theory -- References....

Full text 
18
Cover Image
19
Cover Image
20
Cover Image