Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Feb 6, 2026

• refactor(CategoryTheory): remove `HasForget` (#34741)

  dagurtomas

  committed
  045ac40

  Copy full SHA for 045ac40

Commits on Dec 26, 2025

• doc(Condensed): fix file refs (#33263)

  Show description for e126ddc
  harahu

  committed
  e126ddc

  Copy full SHA for e126ddc

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 Feb 15, 2025

• refactor(Limits/Preserves/Finite): review API (#21890)

  Show description for 58f3e39
  urkud

  committed
  58f3e39

  Copy full SHA for 58f3e39

Commits on Jan 17, 2025

• chore(CategoryTheory): rename `ConcreteCategory` to `HasForget` (#20809)

  Show description for 4335474
  Vierkantor

  committed
  4335474

  Copy full SHA for 4335474

Commits on Nov 19, 2024

• refactor(CategoryTheory): make PreservesLimit and ReflectsLimit props (#19206)

  Show description for 809872d
  joelriou

  committed
  809872d

  Copy full SHA for 809872d

Commits on Aug 30, 2024

• chore: removes non-breaking spaces (U+00a0) (#16257)

  Show description for d83c091
  adomasbaliuka

  committed
  d83c091

  Copy full SHA for d83c091

Commits on Jun 15, 2024

• chore: tidy various files (#13860)

  Ruben-VandeVelde

  committed
  32cac55

  Copy full SHA for 32cac55

Commits on Jun 12, 2024

• docs(Condensed): update the docstrings in condensed files (#13775)

  dagurtomas

  committed
  9a5f5b6

  Copy full SHA for 9a5f5b6

Commits on Jun 7, 2024

• feat(Condensed): explicit sheaf condition for light condensed sets (#13503)

  Show description for 678f491
  dagurtomas

  committed
  678f491

  Copy full SHA for 678f491

Loading