Commits

Breadcrumbs

History for

on25075fe

User selector

All users

All time

Commit History

Commits on Feb 17, 2026

• chore: bump toolchain to v4.29.0-rc1 (#35459)

  Show description for 33a7291
  

  6 peoplecommitted
  33a7291

  Copy full SHA for 33a7291

Commits on Jan 12, 2026

• doc(CategoryTheory): fix typos (#33531)

  Show description for 81dc80b
  harahu

  committed
  81dc80b

  Copy full SHA for 81dc80b

Commits on Nov 19, 2025

• chore: move Mathlib to the module system (#31786)

  Show description for 6a54a80
  

  kim-em

  and

  Kha

  committed
  6a54a80

  Copy full SHA for 6a54a80

Commits on Aug 11, 2025

• chore: reformat `to_additive` docstrings to use `docComment` syntax (#28066)

  Show description for d678e82
  thorimur

  committed
  d678e82

  Copy full SHA for d678e82

Commits on Apr 3, 2025

• chore: bump toolchain to v4.19.0-rc2 (#23614)

  Show description for 24d8de9
  

  4 peoplecommitted
  24d8de9

  Copy full SHA for 24d8de9

Commits on Mar 27, 2025

• feat(CategoryTheory/DiscreteCategory): binary sums and products of discrete categories (#22281)

  Show description for 8fdc534
  robin-carlier

  committed
  8fdc534

  Copy full SHA for 8fdc534

Commits on Nov 10, 2024

• refactor(CategoryTheory/Monoidal): typeclasses Functor.LaxMonoidal, Functor.OplaxMonoidal and Functor.Monoidal (#17904)

  Show description for 5b47f11
  joelriou

  committed
  5b47f11

  Copy full SHA for 5b47f11

Commits on Oct 14, 2024

• chore: unused arguments (#17348)

  kim-em

  committed
  2ed7908

  Copy full SHA for 2ed7908

Commits on Sep 24, 2024

• chore: update name in copyrights (#17074)

  kim-em

  committed
  30c481f

  Copy full SHA for 30c481f

Commits on Jul 19, 2024

• chore: remove `#align` and `#align_import` statements (#14887)

  Show description for 465f26f
  

  kim-em

  and

  mattrobball

  committed
  465f26f

  Copy full SHA for 465f26f

Commits on May 17, 2024

• style: remove all isolated `where` (#12991)

  Komyyy

  committed
  cec63ac

  Copy full SHA for cec63ac

Commits on May 9, 2024

• chore: fix deprecation warnings (#12775)

  Show description for ad9935b
  kim-em

  committed
  ad9935b

  Copy full SHA for ad9935b

Commits on Nov 2, 2023

• refactor(Algebra/Hom): transpose `Hom` and file name (#8095)

  Show description for 92fe122
  Vierkantor

  committed
  92fe122

  Copy full SHA for 92fe122

Commits on Oct 25, 2023

• refactor: Move the data fields of `MonoidalCategory` into a `Struct` class (#7279)

  Show description for f81eaba
  eric-wieser

  committed
  f81eaba

  Copy full SHA for f81eaba

Commits on Sep 21, 2023

• feat(CategoryTheory): the pullback of a shift by a monoid morphism (#7270)

  joelriou

  committed
  80106b7

  Copy full SHA for 80106b7

• chore: only four spaces for subsequent lines (#7286)

  Show description for 0c7d6fa
  mo271

  committed
  0c7d6fa

  Copy full SHA for 0c7d6fa

Commits on Sep 12, 2023

• refactor: split Algebra.Hom.Group and Algebra.Hom.Ring (#7094)

  Show description for 260cb50
  kim-em

  committed
  260cb50

  Copy full SHA for 260cb50

Commits on Aug 7, 2023

• feat(CategoryTheory/Monoidal): define whiskering operators (#6420)

  Show description for 763106d
  yuma-mizuno

  committed
  763106d

  Copy full SHA for 763106d

Commits on Jul 19, 2023

• chore: script to replace headers with #align_import statements (#5979)

  Show description for 89aa3a3
  

  kim-em

  and

  eric-wieser

  committed
  89aa3a3

  Copy full SHA for 89aa3a3

Commits on Jun 7, 2023

• feat: port CategoryTheory.Bicategory.CoherenceTactic (#4610)

  Show description for b59f0dd
  

  3 peoplecommitted
  b59f0dd

  Copy full SHA for b59f0dd

Commits on Apr 3, 2023

• feat: port CategoryTheory.Shift.Basic (#3039)

  Show description for 9632377
  

  5 peoplecommitted
  9632377

  Copy full SHA for 9632377

Commits on Mar 27, 2023

• feat: port CategoryTheory.Monoidal.Discrete (#3038)

  Show description for 32f816e
  

  5 peoplecommitted
  32f816e

  Copy full SHA for 32f816e

Loading