GALLERY

[CocoHaus is closed]
AI-generated visual aid for the mnemonic “CocoHaus is closed,” for a statement in point-set topology: a continuous map from a compact space to a Hausdorff space is closed.

[CocoHaus bi Homeo ('buy home')]
AI-generated visual aid for the mnemonic “CocoHaus bi Homeo,” for a statement in point-set topology: a bijective continuous map from a compact space to a Hausdorff space is a homeomorphism. (As a sequel to the previous image: the owner of "CocoHaus" closed the coffee shop to buy a house)

[Graph-Surface 'Dictionary'] (Reference)

Here are some videos I made using ManimCE Python library.

[Vectors as equivalence classes of oriented segments (in Korean)]

This video (in Korean) is made for Calculus I've taught in Spring 2025 at Seoul National University: It describes a vector as an equivalence classes of oriented segments up to translations.

VectorScene.mp4

[Derivative as the slope of the tangent line]

TangentFromSecants.mp4

This is made for Math 1100 Business Calculus I've taught in Fall 2023 at the University of Utah: It describes the definition of the derivative of a function as the slope of the tangent line, approximated by the slopes of nearby secant lines.

[Exploring Word Maps: Mapping Classes of Infinite Graphs]

Word Map.mp4

The video describes the word map, an important mapping class of an infinite graph. For more details on word maps, check out papers (here and here) by George Domat, Hannah Hoganson and myself.

Google Sites

Report abuse