Commits · master · Philip Kaluđerčić / Algebra of Programming summary · GitLab

Snippets Groups Projects

Apr 10, 2024
- Define full and faithful wrt. the morphism map of F · 3bcd0a36
  Philip Kaluđerčić authored 1 year ago
  
  3bcd0a36
- Mention the "respect system dynamics" phrase · 455e92aa
  Philip Kaluđerčić authored 1 year ago
  
  455e92aa
- Don't emphasise "or" in Sigma-Algebra definition · 6a314b86
  Philip Kaluđerčić authored 1 year ago
  
  6a314b86
- Use a more consistent notation in the bisimulation sketch · 888e33f5
  Philip Kaluđerčić authored 1 year ago
  
  888e33f5
Apr 09, 2024
- Undraft the summary · 288a3dc9
  Philip Kaluđerčić authored 1 year ago
  
  288a3dc9
- Add missing comma to attachment description · 34e9e406
  Philip Kaluđerčić authored 1 year ago
  
  34e9e406
Apr 08, 2024
- Elaborate on how to extract the Git repository from the PDF · 8c1d64e1
  Philip Kaluđerčić authored 1 year ago
  
  8c1d64e1
- Use \top and \bot for initial and terminal objects · 4c7cf955
  Philip Kaluđerčić authored 1 year ago
  
  4c7cf955
- Add a mailto link to my email address · d0e5acab
  Philip Kaluđerčić authored 1 year ago
  
  d0e5acab
- Define continuity of maps between CPO properly · 5f5a6681
  Philip Kaluđerčić authored 1 year ago
  
  5f5a6681
Apr 07, 2024
- Add reference to the rival summary · 76b7c38a
  Philip Kaluđerčić authored 1 year ago
  
  76b7c38a
- Clarify the definition of behavioural equivalence · a662e0a5
  Philip Kaluđerčić authored 1 year ago
  
  a662e0a5
- Use a more fancy word at no advantage · 624c1f85
  Philip Kaluđerčić authored 1 year ago
  
  624c1f85
- Indicate that Kleene's theorem involves induction · ce87116e
  Philip Kaluđerčić authored 1 year ago
  
  ce87116e
- Add Worwell's theorem · 7529edb3
  Philip Kaluđerčić authored 1 year ago
  
  7529edb3
- Improve typesetting in the digraph example · b3e8631f
  Philip Kaluđerčić authored 1 year ago
  
  b3e8631f
- Fix typo in bisimulation definition · c0e2d19e
  Florian Guthmann authored 1 year ago and Philip Kaluđerčić committed 1 year ago
  
  c0e2d19e
Mar 22, 2024
- Improve typesetting in the digraph example · 15e7a756
  Philip Kaluđerčić authored 1 year ago
  
  15e7a756
- Rephrase colimit definition · ee1ea57f
  Philip Kaluđerčić authored 1 year ago
  
  ee1ea57f
- Define functor category when defining functor categories, not `Cat' · c649851b
  Philip Kaluđerčić authored 1 year ago
  
  c649851b
- Mention that Git is an implicit dependency · 66a286af
  Philip Kaluđerčić authored 1 year ago
  66a286af
- Generate the Git bundle while building the document · 99c65cef
  Philip Kaluđerčić authored 1 year ago
  
  99c65cef
- Add \pagebreak hints · 6f96394d
  Philip Kaluđerčić authored 1 year ago
  
  6f96394d
- Make minor adjustments to the typesetting of the "bibliography" · 71a03692
  Philip Kaluđerčić authored 1 year ago
  
  71a03692
- Clarify that self-duality is only up to iso · 5307dee0
  Philip Kaluđerčić authored 1 year ago
  
  5307dee0
Mar 15, 2024
- Use DeclareMathOperator* only when necessary · d037936a
  Philip Kaluđerčić authored 1 year ago
  
  d037936a
Mar 13, 2024
- Fix typos in the definition of a cone · 72f70442
  Philip Kaluđerčić authored 1 year ago
  
  72f70442
- Clarify that {faithful,full} refer to the component map of a functor · 95cab1f3
  Philip Kaluđerčić authored 1 year ago
  
  95cab1f3
- Add a .md extension to the README file · c6592740
  Philip Kaluđerčić authored 1 year ago
  c6592740
- Update README to mention "git bundle" and the GitLab link · 5cf82784
  Philip Kaluđerčić authored 1 year ago
  
  5cf82784
Mar 12, 2024
- Remove stray character from lit.bib · 8cce60fd
  Philip Kaluđerčić authored 1 year ago
  
  8cce60fd
- Use same title in README as in master.tex · 137970d2
  Philip Kaluđerčić authored 1 year ago
  
  137970d2
- Import initial draft · eac6c552
  Philip Kaluđerčić authored 1 year ago
  
  eac6c552