Commits

Branch selector

 master

User selector

joelriou

Datepicker

All time

Commit History

Commits on Jul 15, 2025

• feat: Finset.max'_eq_iff (#27153)

  Show description for 3e077d8
  joelriou

  committed
  3e077d8

  Copy full SHA for 3e077d8

• feat(AlgebraicTopology): cylinder objects in model categories (#26171)

  Show description for d0f1801
  joelriou

  committed
  d0f1801

  Copy full SHA for d0f1801

Commits on Jul 10, 2025

• chore(CategoryTheory): autoparam for pullback.lift (#26953)

  Show description for bc78062
  joelriou

  committed
  bc78062

  Copy full SHA for bc78062

Commits on Jul 9, 2025

• feat(CategoryTheory): the derived adjunction between absolute derived functors (#25979)

  Show description for 6bc629e
  joelriou

  committed
  6bc629e

  Copy full SHA for 6bc629e

• refactor(CategoryTheory/Limits): colimits in Type (#25823)

  Show description for 25043da
  joelriou

  committed
  25043da

  Copy full SHA for 25043da

Commits on Jul 7, 2025

• feat(Algebra/Homology): truncations of ConnectData.cochainComplex (#26520)

  Show description for 29cc0b6
  joelriou

  committed
  29cc0b6

  Copy full SHA for 29cc0b6

• chore(CategoryTheory/Localization): fix morphisms in the category of resolutions (#26375)

  Show description for e7aa4d4
  joelriou

  committed
  e7aa4d4

  Copy full SHA for e7aa4d4

Commits on Jul 4, 2025

• feat(Algebra/Homology/Embedding): the homology of the restriction (#26535)

  Show description for 6070035
  joelriou

  committed
  6070035

  Copy full SHA for 6070035

• feat(CategoryTheory/Limits): certain multicoequalizers are pushouts (#26028)

  Show description for f064868
  joelriou

  committed
  f064868

  Copy full SHA for f064868

Commits on Jul 3, 2025

• feat(CategoryTheory/Localization): generalize results about adjunctions (#26365)

  Show description for af84080
  joelriou

  committed
  af84080

  Copy full SHA for af84080

• feat(CategoryTheory/Abelian): isomorphisms modulo a Serre class (#26033)

  Show description for 7c32a8a
  joelriou

  committed
  7c32a8a

  Copy full SHA for 7c32a8a

Commits on Jul 2, 2025

• feat(AlgebraicTopology): application of the retract argument to model categories (#26166)

  Show description for 97ef81e
  joelriou

  committed
  97ef81e

  Copy full SHA for 97ef81e

Commits on Jun 25, 2025

• feat: the bicategory of adjunctions in a bicategory (#25977)

  Show description for ab494ff
  joelriou

  committed
  ab494ff

  Copy full SHA for ab494ff

Commits on Jun 17, 2025

• feat(CategoryTheory/Bicategory): more compatibilities for mates (#25975)

  Show description for 2dd4412
  joelriou

  committed
  2dd4412

  Copy full SHA for 2dd4412

Commits on Jun 16, 2025

• feat(CategoryTheory): pseudofunctors from strict bicategories (#24382)

  Show description for 9ec2bb9
  joelriou

  committed
  9ec2bb9

  Copy full SHA for 9ec2bb9

Commits on Jun 11, 2025

• chore(Algebra/Homology): fix ComplexShape.boundaryLE_embeddingUpIntLE_iff (#25673)

  Show description for 3b2e97b
  joelriou

  committed
  3b2e97b

  Copy full SHA for 3b2e97b

• feat(CategoryTheory): the colimit type of a functor to types (#23339)

  Show description for 98801bb
  joelriou

  committed
  98801bb

  Copy full SHA for 98801bb

Commits on Jun 7, 2025

• refactor(CategoryTheory/Bicategory/Adjunction): definition of mates (#24982)

  Show description for bddb146
  joelriou

  committed
  bddb146

  Copy full SHA for bddb146

Commits on Jun 3, 2025

• chore(CategoryTheory/Monoidal): define tensorLeft/Right as abbrev for curriedTensor (#24735)

  Show description for ea4aeae
  joelriou

  committed
  ea4aeae

  Copy full SHA for ea4aeae

Commits on Jun 2, 2025

• feat(CategoryTheory): the shift functors on the localized category are linear (#24567)

  Show description for 245693a
  joelriou

  committed
  245693a

  Copy full SHA for 245693a

Commits on May 27, 2025

• feat(CategoryTheory/Functor): more API for pointwise Kan extensions (#22474)

  Show description for e76b292
  joelriou

  committed
  e76b292

  Copy full SHA for e76b292

Commits on May 22, 2025

• feat(CategoryTheory): parametrized adjunctions (#22828)

  Show description for 3ee28f8
  joelriou

  committed
  3ee28f8

  Copy full SHA for 3ee28f8

Commits on May 13, 2025

• chore(CategoryTheory): make MorphismProperty.IsStableUnderColimitsOfShape a class (#24773)

  joelriou

  committed
  f916686

  Copy full SHA for f916686

Commits on May 11, 2025

• feat(CategoryTheory): left derived functors (#24142)

  Show description for a8b54a8
  joelriou

  committed
  a8b54a8

  Copy full SHA for a8b54a8

Commits on May 4, 2025

• chore(CategoryTheory): remove todo about `Arrow` (#24572)

  Show description for ea71a62
  joelriou

  committed
  ea71a62

  Copy full SHA for ea71a62

Commits on May 3, 2025

• feat(CategoryTheory): localization of linear categories (#24309)

  Show description for e10f0f7
  joelriou

  committed
  e10f0f7

  Copy full SHA for e10f0f7

Commits on May 2, 2025

• feat(CategoryTheory/Center): localization (#23779)

  Show description for b3029ac
  joelriou

  committed
  b3029ac

  Copy full SHA for b3029ac

Commits on Apr 30, 2025

• feat(LinearAlgebra/PiTensorProduct): dependent version of tmulEquiv (#18534)

  Show description for d8c00d3
  

  joelriou

  and

  eric-wieser

  committed
  d8c00d3

  Copy full SHA for d8c00d3

Commits on Apr 29, 2025

• feat(CategoryTheory/Center): linear structures and ring morphisms (#23815)

  Show description for 6824591
  joelriou

  committed
  6824591

  Copy full SHA for 6824591

Commits on Apr 28, 2025

• feat(Algebra/Homology/Embedding): the cokernel sequence of a truncation (#24276)

  Show description for 3ae008e
  joelriou

  committed
  3ae008e

  Copy full SHA for 3ae008e

• feat(CategoryTheory): left derivability structures (#22450)

  Show description for 82734e7
  joelriou

  committed
  82734e7

  Copy full SHA for 82734e7

• feat(CategoryTheory/Abelian): Ext when there are enough injectives (#23797)

  Show description for 795cc06
  joelriou

  committed
  795cc06

  Copy full SHA for 795cc06

• feat(CategoryTheory/Localization): the calculus of fractions that is deduced from an adjunction (#22748)

  Show description for efd09be
  joelriou

  committed
  efd09be

  Copy full SHA for efd09be

Commits on Apr 27, 2025

• feat(CategoryTheory): the center of a category (#23777)

  Show description for 04fc112
  joelriou

  committed
  04fc112

  Copy full SHA for 04fc112

Commits on Apr 24, 2025

• feat(CategoryTheory): categories of homological complexes are Grothendieck abelian (#20230)

  Show description for feaee44
  joelriou

  committed
  feaee44

  Copy full SHA for feaee44

Pagination

Previous

Next