手册

数学

Discovery

Andrius Kulikauskas

  • ms@ms.lt
  • +370 607 27 665
  • My work is in the Public Domain for all to share freely.

Lietuvių kalba

Introduction E9F5FC

Understandable FFFFFF

Questions FFFFC0

Notes EEEEEE

Software

Book.QuantifiersAndPresheaves istorija

Paslėpti nežymius pakeitimus - Rodyti galutinio teksto pakeitimus

2019 balandžio 17 d., 15:35 atliko AndriusKulikauskas -
Pakeista 5 eilutė iš:
* [[https://en.wikipedia.org/wiki/Presheaf_(category_theory) | Presheaf (category theory)
į:
* [[https://en.wikipedia.org/wiki/Presheaf_(category_theory) | Presheaf (category theory)]]
2019 balandžio 17 d., 15:35 atliko AndriusKulikauskas -
Pridėtos 1-5 eilutės:
'''Understand universal and existential quantifiers in terms of presheaves'''

'''Readings'''

* [[https://en.wikipedia.org/wiki/Presheaf_(category_theory) | Presheaf (category theory)

QuantifiersAndPresheaves


Naujausi pakeitimai


Puslapis paskutinį kartą pakeistas 2019 balandžio 17 d., 15:35
Tweet