propn.csv

lie,55
hopf,50
kan,44
cat,40
mal’tsev,39
frobenius,37
grothendieck,37
chu,27
quillen,26
lawvere,24
galois,23
gray,23
eilenberg,21
moore,21
hausdorff,21
set,20
street,19
joyal,19
m.,18
janelidze,17
a.,17
batanin,17
barr,16
bourn,16
segal,15
cauchy,15
j.,15
morita,14
stone,14
theorem,14
kelly,13
day,13
g.,12
birkhoff,12
yoneda,12
d.,12
logic,11
van,11
markov,11
theory,10
kleisli,10
leinster,10
span,10
c.,9
brown,9
linear,9
mackey,9
mal’cev,9
dedekind,9
scott,9
smith,9
weber,9
huq,9
fermat,9
beck,8
baez,8
isbell,8
euler,8
bousfield,7
higgins,7
fill,7
tierney,7
kz,7
borceux,7
feynman,7
ursini,7
dialectica,7
brauer,7
hilbert,7
lack,7
möbius,7
walters,6
t.,6
lemma,6
e.,6
de,6
loday,6
artin,6
tannaka,6
algebraic,6
topology,6
yang,6
baxter,6
variety,6
trimble,6
mac,6
lane,6
leibniz,6
getzler,6
lurie,6
tambara,5
carboni,5
paré,5
kock,5
lambek,5
von,5
neumann,5
adamek,5
r.,5
algebras,5
clifford,5
benabou,5
streicher,5
lefschetz,5
crans,5
preord(c,4
rel,4
kampen,4
paiva,4
intuitionistic,4
gt,4
maltsev,4
f.,4
girard,4
cls,4
tholen,4
sp,4
postnikov,4
johnstone,4
baer,4
dolan,4
sl,4
vitale,4
prop,4
-algebras,4
tac,4
pedicchio,4
top,4
yetter,4
makkai,4
hecke,4
morse,4
seely,4
witt,4
faa,4
reidemeister,4
equational,4
dubuc,4
gelfand,4
kapranov,4
span(c,4
turaev,3
chevalley,3
connes,3
rinehart,3
cassidy,3
chern,3
fourier,3
putnam,3
conduché,3
moerdijk,3
reiterman,3
hofmann,3
var,3
michael,3
cech,3
spaces,3
ea,3
wirthmuller,3
fiedorowicz,3
vogt,3
s.,3
gerstenhaber,3
ccd,3
abramsky,3
bist,3
simpson,3
catc,3
computer,3
science,3
vol,3
rep(c,3
lapl,3
andré,3
cokleisli,3
grandis,3
ell,3
theorems,3
lindelof,3
cnp,3
alster,3
power,3
ehresmann,3
orzech,3
cat(e,3
disk,3
whitney,3
virelizier,3
bruno,3
mazur,3
schwartz,3
gumm,3
den,3
herbrand,3
schonfinkel,3
continuity,3
sufficient,3
cohesion,3
cartmell,3
phyl,3
fong,3
shulman,3
levi,3
picard,3
vessiot,3
tangent,3
et,3
esn,3
tate,3
kantorovich,3
pie,3
vect,2
con,2
parord(c,2
hébert,2
preord(set,2
alexandroff,2
cw,2
conduche,2
porter,2
bianchi,2
homotopy,2
weil,2
harrison,2
andre,2
structures,2
kuratowski,2
hyland,2
full,2
bill,2
h.,2
schanuel,2
künneth,2
walk,2
lamarche,2
bcst,2
mll,2
godel,2
church,2
rosser,2
cr,2
dwyer,2
colim,2
fox,2
bunge,2
funk,2
hopkins,2
commutator,2
\set,2
giraud,2
ner(b,2
duskin,2
rosicky,2
opmon,2
krein,2
goguen,2
steiner,2
dress,2
müller,2
opetope,2
tychonoff,2
p.,2
azumaya,2
szabo,2
plotkin,2
px,2
sierpinski,2
brian,2
fakir,2
cegarra,2
cat(c,2
class,2
geo(l,2
act(-,x,2
philip,2
general,2
burroni,2
coecke,2
al,2
basic,2
awodey,2
category,2
jónsson,2
tarski,2
loc,2
olivier,2
analysis,2
fca,2
berger,2
weiss,2
j.-l.,2
theoretical,2
marmolejo,2
banach,2
laurent,2
scg,2
freyd,2
appl,2
categ,2
b.,2
da,2
snake,2
dynkin,2
hall,2
schreier,2
doub,2
reedy,2
john,2
manes,2
bruguieres,2
morgan,2
zariski,2
lax(b,2
cattani,2
sassone,2
cftp,2
schein,2
richard,2
monadic,2
systems,2
metalogic,2
sweedler,2
cc,2
goursat,2
gleason,2
cheng,2
cisinski,2
specker,2
rosebrugh,2
serre,2
fubini,2
finstat,2
macneille,2
jones,2
schreiber,2
waldorf,2
fan,2
drinfel’d,2
v.,2
scc,2
finvectk,2
finrelk,2
gambino,2
kakutani,2
duality,2
drinfeld,2
vietoris,2
linton,2
com,2
koszul,2
urysohn,2
schlank,2
fiore,2
structure,2
pollard,2
cockett,2
tamarkin,2
tda,2
kaufmann,2
ward,2
monicsp(csp(t,2
differential,2
z.,2
noether,2
w.,2
vec,2
slicewise,2
monc,2
bergh,2
aguiar,2
sqr(m,2
zhu,2
reshetikhin,1
viro,1
yamagami,1
etop,1
perm,1
nerve,1
baum,1
eq(c),parord(c,1
eq(c,1
pardord(c,1
coend,1
gromov,1
riemann,1
novikov,1
clapp,1
puppe,1
lusternik,1
schnirelmann,1
boolean,1
ks,1
whitehead,1
zoberlein,1
spn,1
mnd,1
int,1
identity,1
addition,1
finite,1
sum,1
calculus,1
grossman,1
delta,1
ellis,1
bilinear,1
mix,1
ed,1
keenan,1
spencer,1
warf,1
-category,1
stirling,1
j.-y.,1
geometry,1
interaction,1
phoa,1
reyes,1
\m,1
voevodsky,1
lewis,1
g.e.,1
strecker,1
clementino,1
alg,1
mz,1
m.batanin,1
arhangel’skii,1
hurwitz,1
dehornoy,1
glenn,1
verdier,1
gabriel,1
ulmer,1
laplace,1
alg(coalg,1
coalg(alg,1
sober,1
continuations,1
thielecke,1
fuhrmann,1
selinger,1
trans,1
amer,1
math,1
soc,1
\vskcrccat,1
\wskcrccat,1
k.,1
whitman,1
lfp,1
gvaramiya,1
simons,1
jacobi,1
zamolodchikov,1
stasheff,1
pu,1
pl,1
pw,1
sousa,1
héebert,1
lyubashenko,1
mod,1
balteanu,1
schwanzl,1
ghilardi,1
meloni,1
stell,1
extension,1
carrasco,1
grandjean,1
stallings,1
stammbach,1
fröhlich,1
lue,1
furtado,1
coelho,1
preord,1
a_θ,1
der(g,1
jan,1
albert,1
kunzi,1
schellekens,1
gms,1
cgc,1
tgc,1
act(g,1
baues,1
jibladze,1
coalgebra,1
ts,1
st,1
yanking,1
agl,1
kamps,1
mosa,1
cbpv,1
opgrothendieck,1
dist(q,1
storrer,1
directed,1
butz,1
pare,1
fib,1
catset,1
burnside,1
serge,1
bouc,1
ambrose,1
singer,1
mnd(c,1
folds,1
specifications,1
tft,1
fuchs,1
runkel,1
schweigert,1
pt,1
alexandrov,1
j.-p.,1
gc,1
formal,1
concept,1
domain,1
dt,1
parigot,1
tqft,1
beth,1
langford,1
francisco,1
invariant,1
jagadeesan,1
maxwell,1
ct08,1
calais,1
abadi,1
rosolini,1
lily,1
ab,1
escardo,1
flagg,1
electronic,1
notes,1
daisuke,1
tamb(a,1
mx,1
goubault,1
squier,1
devinatz,1
spectra,1
jon,1
elementary,1
ll,1
danos,1
joinet,1
dieudonne,1
hom,1
schack,1
voronov,1
sub,1
charles,1
split,1
short,1
vrt,1
oplaxndoub,1
leroux,1
waldhausen,1
james,1
\sup,1
gödel,1
cayley,1
niefield,1
ufl,1
faà,1
roytenberg,1
wiener,1
chen,1
frolicher,1
sikorski,1
souriau,1
f.w.,1
armstrong,1
bartels,1
remedios,1
wraith,1
basis,1
model,1
boris,1
kornel,1
szlachanyi,1
chikhladze,1
booker,1
garner,1
bruguièeres,1
ising,1
bruguières,1
fundamental,1
schneider,1
mrówka,1
condition(cc,1
benno,1
berg,1
pinzari,1
roberts,1
hirai,1
koichi,1
breen,1
messing,1
neumark,1
archimedean,1
weierstrass,1
thomason,1
kennison,1
gildenhuys,1
longley,1
jaap,1
oosten,1
indexed,1
karoubi,1
stack,1
takahashi,1
r.j.,1
wood,1
periodic,1
table,1
swan,1
applegate,1
j.h.,1
bergner,1
ab4,1
hodge,1
shrestha,1
pierce,1
kullback,1
leibler,1
petz,1
herrlich,1
shoikhet,1
schur,1
berkovich,1
durov,1
haran,1
arakelov,1
graycat,1
cohen,1
theor,1
aecs,1
mariano,1
zambrano,1
villaveces,1
koslowski,1
picado,1
pultr,1
schauerte,1
blatter,1
seever,1
c//g,1
chan,1
hong,1
mo,1
tsou,1
sheung,1
tsun,1
fischer,1
zastrow,1
comfort,1
ross,1
gil,1
lamadrid,1
jans,1
böhm,1
stefan,1
reflection,1
deligne,1
hinich,1
hochschild,1
stable,1
connected,1
codiscreteness,1
pitts,1
lg,1
lx,1
penon,1
stelzer,1
dilworth,1
khaus,1
yosida,1
representation,1
naimark,1
nakano,1
evrard,1
dawid,1
studeny,1
kleene,1
vesley,1
ostrik,1
bartlett,1
everaert,1
der,1
linden,1
bloch,1
chow,1
pronk,1
le,1
creurer,1
quandle,1
bhatt,1
scholze,1
-cotensor,1
billera,1
holmes,1
vogtmann,1
boardman,1
cartan,1
zunino,1
batista,1
caenepeel,1
vercruysse,1
bohm,1
dold,1
olschok,1
r(s,1
beilinson,1
atiyah,1
malgrange,1
shanin,1
huygens,1
sdg,1
dist,1
finocchiaro,1
cobordism,1
hypothesis,1
quantum,1
field,1
tomer,1
joachim,1
snigdhayan,1
mahanta,1
isaksen,1
barnea,1
dikranjan,1
giuli,1
zhang,1
laan,1
mal’tesv,1
a.i.,1
bondal,1
toeplitz,1
cuntz,1
krieger,1
zappa,1
szep,1
exel,1
pardo,1
j.funk,1
p.hofstra,1
b.steinberg,1
pastro,1
calaque,1
willwacher,1
rezk,1
manin,1
fresse,1
\mod,1
fell,1
cruttwell,1
nambooripad,1
panaite,1
oystaeyen,1
dello,1
sabadini,1
topological,1
data,1
chazal,1
bubenik,1
lipschitz,1
facets,1
descent,1
ii,1
roubaud,1
homs,1
pontryagin,1
vopenka,1
h)-hopf,1
guitart,1
monicsp(csp(graph,1
injective,1
subcategory,1
problem,1
blute,1
ehrhard,1
tasson,1
meise,1
nuclear,1
dill,1
dialogue,1
neves,1
nora,1
haagerup,1
graces,1
ass,1
maple,1
linearalgebra,1
groebner,1
isomorphism,1
zassenhaus,1
o.,1
wyler,1
gran,1
carlson,1
renaudin,1
fx,1
l.,1
m\arkiand,1
hermida,1
aufhebung,1
liealg,1
xs,1
mahajan,1
a^t,1
haim,1
lopez,1
franco,1
heyting,1
pixley,1
radon,1
wasserstein,1
giry,1
breugel,1
koenig,1
demonet,1
liu,1
calabi,1
yau,1
buan,1
iyama,1
reiten,1
zhou,1
toen,1
vaquie,1
menni,1
moncat,1
robert,1
macpherson,1
dyckerhoff,1
goodwillie,1
corelations,1
verity,1
lafont,1
métayer,1
worytkiewicz,1
maltsiniotis,1
gurski,1
riehl,1