Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 20, 2025

• More cleaning up

  sjoerdvisscher

  committedMar 20, 2025
  780dd1a

  Copy full SHA for 780dd1a

Commits on Mar 6, 2025

• Cleaning up exponentials

  sjoerdvisscher

  committedMar 6, 2025
  548cef1

  Copy full SHA for 548cef1

• Cotraversable and Constant profunctor

  sjoerdvisscher

  committedMar 6, 2025
  7454cec

  Copy full SHA for 7454cec

Commits on Mar 3, 2025

• Update docs.

  sjoerdvisscher

  committedMar 3, 2025
  f6fe4e8

  Copy full SHA for f6fe4e8

• Categories lifted by an adjunction

  sjoerdvisscher

  committedMar 3, 2025
  c5ae10c

  Copy full SHA for c5ae10c

• withObCompanion, withObConjoint

  sjoerdvisscher

  committedMar 3, 2025
  0638e9a

  Copy full SHA for 0638e9a

• Bicategory withOb2, withObLimit, withObColimit

  sjoerdvisscher

  committedMar 3, 2025
  8a52551

  Copy full SHA for 8a52551

• Remove iObj as Bicategory method

  sjoerdvisscher

  committedMar 3, 2025
  c45f79b

  Copy full SHA for c45f79b

• Remove more prime variants and add withOb2 etc

  sjoerdvisscher

  committedMar 3, 2025
  dc12fb1

  Copy full SHA for dc12fb1

• Traversable

  sjoerdvisscher

  committedMar 3, 2025
  dcff469

  Copy full SHA for dcff469

Commits on Feb 23, 2025

• Stateful transformers

  sjoerdvisscher

  committedFeb 23, 2025
  63cfffd

  Copy full SHA for 63cfffd

Commits on Feb 15, 2025

• Various

  sjoerdvisscher

  committedFeb 15, 2025
  651ae60

  Copy full SHA for 651ae60

• 2-limits

  sjoerdvisscher

  committedFeb 15, 2025
  764e3d2

  Copy full SHA for 764e3d2

• Add charts, a dual to optics

  sjoerdvisscher

  committedFeb 15, 2025
  0eb74e0

  Copy full SHA for 0eb74e0

• Opposite action

  sjoerdvisscher

  committedFeb 15, 2025
  f061b39

  Copy full SHA for f061b39

• Flip Equipment-Strictified dependency

  sjoerdvisscher

  committedFeb 15, 2025
  dd50df9

  Copy full SHA for dd50df9

Commits on Jan 19, 2025

• Finish the Int construction

  sjoerdvisscher

  committedJan 19, 2025
  1ef8948

  Copy full SHA for 1ef8948

Commits on Jan 17, 2025

• StarAutonomous with duals i/o ~~> Bottom

  sjoerdvisscher

  committedJan 17, 2025
  3231420

  Copy full SHA for 3231420

• Make Linear StarAutonomous

  sjoerdvisscher

  committedJan 17, 2025
  e3226b3

  Copy full SHA for e3226b3

• Relative (co)monads and (co)adjunctions

  Show description for 260b3e3
  sjoerdvisscher

  committedJan 17, 2025
  260b3e3

  Copy full SHA for 260b3e3

• Colimits as squares

  sjoerdvisscher

  committedJan 17, 2025
  5a9cd4c

  Copy full SHA for 5a9cd4c

Commits on Jan 3, 2025

• Limits as squares

  sjoerdvisscher

  committedJan 3, 2025
  39e576e

  Copy full SHA for 39e576e

Commits on Jan 1, 2025

• First module of squares

  sjoerdvisscher

  committedJan 1, 2025
  eabe579

  Copy full SHA for eabe579

• Cleaning up MonoidalAction

  sjoerdvisscher

  committedJan 1, 2025
  0f18e0a

  Copy full SHA for 0f18e0a

Commits on Dec 22, 2024

• Bicategory class without Obj arguments

  sjoerdvisscher

  committedDec 22, 2024
  0714a49

  Copy full SHA for 0714a49

• Monoidal class without Obj arguments

  sjoerdvisscher

  committedDec 22, 2024
  64f9d75

  Copy full SHA for 64f9d75

Commits on Dec 7, 2024

• Cleaning up

  sjoerdvisscher

  committedDec 7, 2024
  65c1628

  Copy full SHA for 65c1628

Commits on Nov 29, 2024

• CCC helper and Distributive

  sjoerdvisscher

  committedNov 29, 2024
  cc09fdd

  Copy full SHA for cc09fdd

Commits on Nov 18, 2024

• Update docs

  sjoerdvisscher

  committedNov 18, 2024
  3c4a159

  Copy full SHA for 3c4a159

• Colimits using companions

  sjoerdvisscher

  committedNov 18, 2024
  4197d52

  Copy full SHA for 4197d52

Commits on Nov 16, 2024

• Added PointedHask

  sjoerdvisscher

  committedNov 16, 2024
  1836be8

  Copy full SHA for 1836be8

Commits on Nov 12, 2024

• Dagger

  sjoerdvisscher

  committedNov 12, 2024
  6149a7c

  Copy full SHA for 6149a7c

Commits on Nov 10, 2024

• Update Optic.hs

  sjoerdvisscher

  committedNov 10, 2024
  c8de08e

  Copy full SHA for c8de08e

• Compact closed trace

  sjoerdvisscher

  committedNov 10, 2024
  8f6aaa6

  Copy full SHA for 8f6aaa6

Commits on Nov 9, 2024

• Mat, StarAutonomous and CompactClosed

  sjoerdvisscher

  committedNov 9, 2024
  4be7ce9

  Copy full SHA for 4be7ce9

Pagination

Previous

Next