scratch
§
Index over the Past, Fiber over the Future
created 2022-11-02 · last edited 2023-03-27
indexed view corresponds to
check
fibered corresponds to
infer
: given a term, tell me the type of the term?
Some talk by conor at topos.
❦