Commits

Breadcrumbs

History for

on25075fe

User selector

All users

All time

Commit History

Commits on Mar 2, 2026

• chore: golf using `simp` (#35726)

  Show description for 827d134
  euprunin

  committed
  827d134

  Copy full SHA for 827d134

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 20, 2026

• chore: tidy various files (#34081)

  Ruben-VandeVelde

  committed
  8f07743

  Copy full SHA for 8f07743

Commits on Jan 12, 2026

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

  Show description for 81dc80b
  harahu

  committed
  81dc80b

  Copy full SHA for 81dc80b

Commits on Jan 7, 2026

• chore: fix whitespace (#33629)

  Show description for af98c46
  

  harahu

  and

  grunweg

  committed
  af98c46

  Copy full SHA for af98c46

Commits on Dec 13, 2025

• chore: use `Category*` everywhere (#32842)

  Show description for dd97bd1
  robin-carlier

  committed
  dd97bd1

  Copy full SHA for dd97bd1

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 Sep 6, 2025

• chore(CategoryTheory): remove use of `erw` in `vInv_vInv` (#29366)

  euprunin

  committed
  b5dce44

  Copy full SHA for b5dce44

Commits on Jul 5, 2025

• feat(CategoryTheory/Limits/Pullback/Categorical): categorical cospan transforms (#26412)

  Show description for a112614
  robin-carlier

  committed
  a112614

  Copy full SHA for a112614

Commits on Jul 2, 2025

• chore(CategoryTheory): rename `whiskerLeft` to `Functor.whiskerLeft` (#26611)

  Show description for c5c25a1
  yuma-mizuno

  committed
  c5c25a1

  Copy full SHA for c5c25a1

Commits on Jul 1, 2025

• feat(CategoryTheory/Limits/Shapes/Pullback): categorical pullbacks (#26366)

  Show description for 8d645f8
  robin-carlier

  committed
  8d645f8

  Copy full SHA for 8d645f8

Commits on Jun 27, 2025

• chore(CategoryTheory): unprime `CatCommSq.iso'` (#26468)

  Show description for f3731ea
  robin-carlier

  committed
  f3731ea

  Copy full SHA for f3731ea

Commits on Mar 18, 2025

• chore: a few `erw` in `CategoryTheory/` (#23033)

  kim-em

  committed
  f76a04f

  Copy full SHA for f76a04f

Commits on Mar 11, 2025

• chore: review of erw in CategoryTheory/ (#22815)

  Show description for a5860da
  kim-em

  committed
  a5860da

  Copy full SHA for a5860da

Commits on Jun 8, 2024

• feat(CategoryTheory): right derivability structures (#12633)

  Show description for 68203c8
  joelriou

  committed
  68203c8

  Copy full SHA for 68203c8

Commits on May 8, 2024

• refactor(CategoryTheory): make Functor.IsEquivalence a Prop (#12462)

  Show description for 2113c23
  joelriou

  committed
  2113c23

  Copy full SHA for 2113c23

Commits on Apr 12, 2024

• chore(CategoryTheory): move Full, Faithful, EssSurj, IsEquivalence and ReflectsIsomorphisms to the Functor namespace (#11985)

  Show description for 65b7aff
  joelriou

  committed
  65b7aff

  Copy full SHA for 65b7aff

Commits on Sep 21, 2023

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

  Show description for 0c7d6fa
  mo271

  committed
  0c7d6fa

  Copy full SHA for 0c7d6fa

Commits on Aug 10, 2023

• chore: banish `Type _` and `Sort _` (#6499)

  Show description for 32de3f6
  mattrobball

  committed
  32de3f6

  Copy full SHA for 32de3f6

Commits on Jul 31, 2023

• feat: 2-commutative squares (#6233)

  Show description for e1debad
  joelriou

  committed
  e1debad

  Copy full SHA for e1debad

Loading