Formalization of Structural Properties of Triangulated Categories

Simple item page
dc.contributor.advisorLieblich, Max
dc.contributor.authorMayer, Leopold
dc.date.accessioned2026-08-11T19:32:54Z
dc.date.issued2026-08-11
dc.date.submitted2026
dc.descriptionThesis (Ph.D.)--University of Washington, 2026
dc.description.abstractThis dissertation explores several structural properties of triangulated categories. In particular, it develops theories of generation and dimension, decomposability, and support. Existing notions from the literature are surveyed, new notions are developed, and several interactions between these theories are described. Additionally, a majority of the results are formalized in the proof assistant Lean4.
dc.embargo.termsOpen Access
dc.format.mimetypeapplication/pdf
dc.identifier.otherMayer_washington_0250E_29605.pdf
dc.identifier.urihttps://hdl.handle.net/1773/57460
dc.language.isoen_US
dc.rightsCC BY
dc.subjectDerived Categories
dc.subjectFormalization
dc.subjectTriangulated Categories
dc.subjectMathematics
dc.subject.otherMathematics
dc.titleFormalization of Structural Properties of Triangulated Categories
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Mayer_washington_0250E_29605.pdf
Size:
414.38 KB
Format:
Adobe Portable Document Format
Download

Collections

Mathematics