Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 13, 2024

• New definitions of displayed and vertical universal elements, vertical stuff (#117)

  Show description for b7a0fa5
  maxsnew

  authored
  b7a0fa5

Commits on Oct 28, 2024

• Monoidal combinators (#115)

  Show description for 4e7b1c3
  maxsnew

  authored
  4e7b1c3

Commits on Oct 22, 2024

• Coherence theorem for monoidal categories (#112)

  Show description for 295cc5d
  maxsnew

  authored
  295cc5d

Commits on Sep 20, 2024

• Reconcile with upstream Displayed Reasoning changes (#111)

  Show description for feaab16
  

  hejohns

  and

  maxsnew

  authored
  feaab16

Commits on Sep 12, 2024

• Section upstream (#107)

  Show description for 0762db3
  maxsnew

  authored
  0762db3

Commits on Sep 11, 2024

• Removing caching, remove Agda std-lib (#108)

  stschaef

  authored
  06bc67f

Commits on Aug 4, 2024

• Conservativity of freely adding 1,× to a free Category (#101)

  Show description for ff997b6
  hejohns

  authored
  ff997b6

• Alternate Definitions of Displayed Cats + Profunctor Homomorphism Stuff + Ends (#104)

  Show description for 6a851e8
  maxsnew

  authored
  6a851e8

Commits on Aug 1, 2024

• Cartesian Closed Category structure on Presheaves (#102)

  Show description for 1ab50fb
  

  3 peopleauthored
  1ab50fb

Commits on Jul 31, 2024

• spin off fix-whitespace into its own CI step (#105)

  maxsnew

  authored
  2bfe5d4

Commits on Jul 8, 2024

• Wide subcategories with examples (#100)

  Show description for f840007
  

  nvarner

  and

  stschaef

  authored
  f840007

Commits on Jun 27, 2024

• Free cartesian category, its eliminator, example

  Show description for 1939b56
  

  hejohns

  authored and

  maxsnew

  committed
  1939b56

Commits on Jun 4, 2024

• show morphisms in free cat with terminal have unique canonical forms

  maxsnew

  committed
  7dcffbe

• canonicity for free category with terminal objects

  maxsnew

  committed
  4fb0ca3

• local elim for Free Cat w/ Terminal, re-org some fibration/terminal stuff

  maxsnew

  committed
  f5ed86b

• rec for free cat with terminal object, non-triviality example

  maxsnew

  committed
  b4969a1

• update gluing proofs for FreeCat, more examples

  maxsnew

  committed
  28991f7

Commits on May 29, 2024

• line length script update (#99)

  Show description for e0dfb69
  

  stschaef

  authored and

  maxsnew

  committed
  e0dfb69

Commits on May 23, 2024

• SETᴰ has VerticalTerminalsᴰ

  Show description for 018eb36
  

  hejohns

  authored and

  maxsnew

  committed
  018eb36

Commits on May 20, 2024

• Vertical Terminal Objects, some naming updates (#83)

  Show description for 6bb2d8a
  hejohns

  authored
  6bb2d8a

• move line length check to separate script (#93)

  Show description for be7f79c
  

  hejohns

  and

  stschaef

  authored
  be7f79c

• incremental make (#90)

  hejohns

  authored
  940ceac

Commits on May 19, 2024

• sync with upstream cubical (#88)

  Show description for ea58440
  maxsnew

  authored
  ea58440

Commits on May 18, 2024

• Peg upstream cubical to a particular commit (#86)

  Show description for f5a2a4d
  maxsnew

  authored
  f5a2a4d

Commits on May 17, 2024

• Free category with terminal object (#79)

  Show description for 41323e5
  

  hejohns

  and

  maxsnew

  authored
  41323e5

Commits on May 16, 2024

• Update CI (#80)

  Show description for 2239828
  hejohns

  authored
  2239828

• Update to cubical HEAD

  Show description for 8b99d63
  hejohns

  authored
  8b99d63

Commits on May 9, 2024

• coproduct of categories (#76)

  maxsnew

  authored
  2297acf

Commits on Apr 26, 2024

• finish name change to cubical-categorical-logic

  maxsnew

  committed
  6b1e44b

• Local sections (#67)

  Show description for 0e74525
  

  maxsnew

  and

  stschaef

  authored
  0e74525

Commits on Apr 25, 2024

• show that reindexing preserves fibrationhood

  maxsnew

  committed
  94cbae4

Commits on Mar 28, 2024

• Displayed Category of Displayed Functors (#68) (#69)

  Show description for ca08046
  hejohns

  authored
  ca08046

Commits on Mar 17, 2024

• Reimplement ∫Cᴰsr, ∫Cᴰsl compositionally, more helper functions

  maxsnew

  committed
  30952ce

• Compositional definition of displayed slice category

  maxsnew

  committed
  03d00e0

• Fix definition of TotalCategory.Snd

  maxsnew

  committed
  d47d00e

Pagination

PreviousNext