Free precategories as presheaf categories 91RRFW0K5D

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
1F6DX5H2SY	statement	lemma 20	arxiv
3GT2T49ZNY	statement	lemma 24	arxiv
3R6QK89MRS	example	example 18	arxiv
50SAT7VG3G	statement	proposition 2	arxiv
6NXV41R4TP	example	example 15	arxiv
73MS2GRKGM	statement	theorem 40	arxiv
7GRXFKSNZW	statement	theorem 35	arxiv
887NZ6X57J	statement	proposition 30	arxiv
8FAXXX0VA9	statement	corollary 41	arxiv
A0Y77S6NTB	statement	proposition 3	arxiv
C1D5G0W9XA	statement	proposition 42	arxiv
C2PEJJ41SR	statement	proposition 7	arxiv
D8CTD0GV78	example	example 17	arxiv
DVR34SS69B	statement	lemma 26	arxiv
EP5P5YBSME	statement	theorem 5	arxiv
EV6FWD18C6	statement	proposition 13	arxiv
G4VQVZZGWF	statement	proposition 4	arxiv
GQBWF8ZMPG	statement	lemma 28	arxiv
H86695A8CR	statement	lemma 21	arxiv
HQJKK9MCTM	statement	lemma 25	arxiv
Weak division	statement	fact 45	arxiv
K4M0G44YF3	statement	theorem 19	arxiv
KV96XKRBGV	statement	lemma 33	arxiv
MHQM469CGP	statement	proposition 39	arxiv
MWSXGDB9D4	statement	proposition 22	arxiv
MXCPNBDHEF	example	example 1	arxiv
NBNKZR8P0F	statement	lemma 23	arxiv
S4A8QY3TBA	statement	proposition 8	arxiv
S916AKPHFS	statement	proposition 29	arxiv
VWPHZ76WTC	statement	proposition 11	arxiv
XCW8577JWE	statement	proposition 10	arxiv
XY89G9NT2V	statement	lemma 27	arxiv
Y0P9N61GWH	example	example 16	arxiv
Z7JFZRM24W	statement	proposition 14	arxiv
ZAAXKJ7ZV9	statement	proposition 34	arxiv