id	sid	tid	token	lemma	pos
ejpam-1944	1	1	european	european	PROPN
ejpam-1944	1	2	journal	journal	PROPN
ejpam-1944	1	3	of	of	ADP
ejpam-1944	1	4	pure	pure	ADJ
ejpam-1944	1	5	and	and	CCONJ
ejpam-1944	1	6	applied	apply	VERB
ejpam-1944	1	7	mathematics	mathematic	NOUN
ejpam-1944	1	8	vol	vol	NOUN
ejpam-1944	1	9	.	.	PROPN
ejpam-1944	2	1	6	6	NUM
ejpam-1944	2	2	,	,	PUNCT
ejpam-1944	2	3	no	no	INTJ
ejpam-1944	2	4	.	.	NOUN
ejpam-1944	2	5	4	4	NUM
ejpam-1944	2	6	,	,	PUNCT
ejpam-1944	2	7	2013	2013	NUM
ejpam-1944	2	8	,	,	PUNCT
ejpam-1944	2	9	428	428	NUM
ejpam-1944	2	10	-	-	SYM
ejpam-1944	2	11	434	434	NUM
ejpam-1944	2	12	issn	issn	PROPN
ejpam-1944	2	13	1307	1307	NUM
ejpam-1944	2	14	-	-	SYM
ejpam-1944	2	15	5543	5543	NUM
ejpam-1944	2	16	–	–	PUNCT
ejpam-1944	3	1	www.ejpam.com	www.ejpam.com	X
ejpam-1944	3	2	nil(n)-modules	nil(n)-module	NOUN
ejpam-1944	3	3	bifibred	bifibre	VERB
ejpam-1944	3	4	over	over	ADP
ejpam-1944	3	5	groups	group	NOUN
ejpam-1944	3	6	hasan	hasan	PROPN
ejpam-1944	3	7	atik	atik	PROPN
ejpam-1944	3	8	department	department	PROPN
ejpam-1944	3	9	of	of	ADP
ejpam-1944	3	10	mathematics	mathematics	PROPN
ejpam-1944	3	11	,	,	PUNCT
ejpam-1944	3	12	science	science	NOUN
ejpam-1944	3	13	faculty	faculty	NOUN
ejpam-1944	3	14	,	,	PUNCT
ejpam-1944	3	15	i̇stanbul	i̇stanbul	ADV
ejpam-1944	3	16	medeniyet	medeniyet	VERB
ejpam-1944	3	17	university	university	NOUN
ejpam-1944	3	18	,	,	PUNCT
ejpam-1944	3	19	i̇stanbul	i̇stanbul	ADV
ejpam-1944	3	20	,	,	PUNCT
ejpam-1944	3	21	turkey	turkey	PROPN
ejpam-1944	3	22	abstract	abstract	NOUN
ejpam-1944	3	23	.	.	PUNCT
ejpam-1944	4	1	in	in	ADP
ejpam-1944	4	2	this	this	DET
ejpam-1944	4	3	work	work	NOUN
ejpam-1944	4	4	,	,	PUNCT
ejpam-1944	4	5	we	we	PRON
ejpam-1944	4	6	defined	define	VERB
ejpam-1944	4	7	a	a	DET
ejpam-1944	4	8	functor	functor	NOUN
ejpam-1944	4	9	from	from	ADP
ejpam-1944	4	10	category	category	NOUN
ejpam-1944	4	11	of	of	ADP
ejpam-1944	4	12	nil(n)-modules	nil(n)-module	NOUN
ejpam-1944	4	13	to	to	ADP
ejpam-1944	4	14	that	that	PRON
ejpam-1944	4	15	of	of	ADP
ejpam-1944	4	16	groups	group	NOUN
ejpam-1944	4	17	.	.	PUNCT
ejpam-1944	5	1	then	then	ADV
ejpam-1944	5	2	we	we	PRON
ejpam-1944	5	3	showed	show	VERB
ejpam-1944	5	4	by	by	ADP
ejpam-1944	5	5	direct	direct	ADJ
ejpam-1944	5	6	calculation	calculation	NOUN
ejpam-1944	5	7	that	that	PRON
ejpam-1944	5	8	the	the	DET
ejpam-1944	5	9	functor	functor	PROPN
ejpam-1944	5	10	is	be	AUX
ejpam-1944	5	11	both	both	CCONJ
ejpam-1944	5	12	fibration	fibration	NOUN
ejpam-1944	5	13	and	and	CCONJ
ejpam-1944	5	14	cofibration	cofibration	NOUN
ejpam-1944	5	15	of	of	ADP
ejpam-1944	5	16	categories	category	NOUN
ejpam-1944	5	17	.	.	PUNCT
ejpam-1944	6	1	2010	2010	NUM
ejpam-1944	6	2	mathematics	mathematic	NOUN
ejpam-1944	6	3	subject	subject	NOUN
ejpam-1944	6	4	classifications	classification	NOUN
ejpam-1944	6	5	:	:	PUNCT
ejpam-1944	6	6	18d30,18a40,18a30	18d30,18a40,18a30	NUM
ejpam-1944	6	7	key	key	ADJ
ejpam-1944	6	8	words	word	NOUN
ejpam-1944	6	9	and	and	CCONJ
ejpam-1944	6	10	phrases	phrase	NOUN
ejpam-1944	6	11	:	:	PUNCT
ejpam-1944	6	12	crossed	cross	VERB
ejpam-1944	6	13	modules	module	NOUN
ejpam-1944	6	14	,	,	PUNCT
ejpam-1944	6	15	nil(n)-modules	nil(n)-module	NOUN
ejpam-1944	6	16	,	,	PUNCT
ejpam-1944	6	17	pullback	pullback	NOUN
ejpam-1944	6	18	crossed	cross	VERB
ejpam-1944	6	19	modules	module	NOUN
ejpam-1944	6	20	1	1	NUM
ejpam-1944	6	21	.	.	PUNCT
ejpam-1944	7	1	introduction	introduction	NOUN
ejpam-1944	7	2	crossed	cross	VERB
ejpam-1944	7	3	modules	module	NOUN
ejpam-1944	7	4	were	be	AUX
ejpam-1944	7	5	defined	define	VERB
ejpam-1944	7	6	by	by	ADP
ejpam-1944	7	7	whitehead	whitehead	PROPN
ejpam-1944	8	1	[	[	X
ejpam-1944	8	2	12	12	NUM
ejpam-1944	8	3	]	]	PUNCT
ejpam-1944	8	4	as	as	ADP
ejpam-1944	8	5	a	a	DET
ejpam-1944	8	6	model	model	NOUN
ejpam-1944	8	7	for	for	ADP
ejpam-1944	8	8	homotopy	homotopy	NOUN
ejpam-1944	8	9	connected	connect	VERB
ejpam-1944	8	10	2types	2types	NUM
ejpam-1944	8	11	.	.	PUNCT
ejpam-1944	9	1	some	some	DET
ejpam-1944	9	2	universal	universal	ADJ
ejpam-1944	9	3	constructions	construction	NOUN
ejpam-1944	9	4	for	for	ADP
ejpam-1944	9	5	crossed	cross	VERB
ejpam-1944	9	6	modules	module	NOUN
ejpam-1944	9	7	,	,	PUNCT
ejpam-1944	9	8	for	for	ADP
ejpam-1944	9	9	example	example	NOUN
ejpam-1944	9	10	,	,	PUNCT
ejpam-1944	9	11	the	the	DET
ejpam-1944	9	12	notions	notion	NOUN
ejpam-1944	9	13	of	of	ADP
ejpam-1944	9	14	pullback	pullback	NOUN
ejpam-1944	9	15	and	and	CCONJ
ejpam-1944	9	16	induced	induce	VERB
ejpam-1944	9	17	crossed	cross	VERB
ejpam-1944	9	18	modules	module	NOUN
ejpam-1944	9	19	have	have	AUX
ejpam-1944	9	20	been	be	AUX
ejpam-1944	9	21	worked	work	VERB
ejpam-1944	9	22	in	in	ADP
ejpam-1944	9	23	[	[	X
ejpam-1944	9	24	4–6	4–6	X
ejpam-1944	9	25	]	]	X
ejpam-1944	9	26	.	.	PUNCT
ejpam-1944	10	1	furthermore	furthermore	ADV
ejpam-1944	10	2	,	,	PUNCT
ejpam-1944	10	3	for	for	ADP
ejpam-1944	10	4	lie	lie	NOUN
ejpam-1944	10	5	algebra	algebra	NOUN
ejpam-1944	10	6	cases	case	NOUN
ejpam-1944	10	7	of	of	ADP
ejpam-1944	10	8	these	these	DET
ejpam-1944	10	9	constructions	construction	NOUN
ejpam-1944	10	10	see	see	VERB
ejpam-1944	10	11	[	[	X
ejpam-1944	10	12	8	8	NUM
ejpam-1944	10	13	]	]	PUNCT
ejpam-1944	10	14	,	,	PUNCT
ejpam-1944	10	15	and	and	CCONJ
ejpam-1944	10	16	for	for	ADP
ejpam-1944	10	17	commutative	commutative	ADJ
ejpam-1944	10	18	algebras	algebra	NOUN
ejpam-1944	10	19	see	see	VERB
ejpam-1944	10	20	[	[	X
ejpam-1944	10	21	10	10	NUM
ejpam-1944	10	22	]	]	PUNCT
ejpam-1944	10	23	.	.	PUNCT
ejpam-1944	11	1	induced	induce	VERB
ejpam-1944	11	2	crossed	cross	VERB
ejpam-1944	11	3	modules	module	NOUN
ejpam-1944	11	4	allow	allow	VERB
ejpam-1944	11	5	detailed	detailed	ADJ
ejpam-1944	11	6	computations	computation	NOUN
ejpam-1944	11	7	of	of	ADP
ejpam-1944	11	8	non	non	ADJ
ejpam-1944	11	9	-	-	ADJ
ejpam-1944	11	10	abelian	abelian	ADJ
ejpam-1944	11	11	information	information	NOUN
ejpam-1944	11	12	on	on	ADP
ejpam-1944	11	13	second	second	ADJ
ejpam-1944	11	14	relative	relative	ADJ
ejpam-1944	11	15	homotopy	homotopy	NOUN
ejpam-1944	11	16	calculations	calculation	NOUN
ejpam-1944	11	17	.	.	PUNCT
ejpam-1944	12	1	by	by	ADP
ejpam-1944	12	2	extending	extend	VERB
ejpam-1944	12	3	these	these	DET
ejpam-1944	12	4	constructions	construction	NOUN
ejpam-1944	12	5	for	for	ADP
ejpam-1944	12	6	two	two	NUM
ejpam-1944	12	7	dimensional	dimensional	ADJ
ejpam-1944	12	8	case	case	NOUN
ejpam-1944	12	9	of	of	ADP
ejpam-1944	12	10	crossed	cross	VERB
ejpam-1944	12	11	modules	module	NOUN
ejpam-1944	12	12	,	,	PUNCT
ejpam-1944	12	13	arslan	arslan	PROPN
ejpam-1944	12	14	,	,	PUNCT
ejpam-1944	12	15	arvasi	arvasi	NOUN
ejpam-1944	12	16	and	and	CCONJ
ejpam-1944	12	17	onarli	onarli	NOUN
ejpam-1944	12	18	in	in	ADP
ejpam-1944	12	19	[	[	X
ejpam-1944	12	20	1	1	NUM
ejpam-1944	12	21	]	]	PUNCT
ejpam-1944	12	22	,	,	PUNCT
ejpam-1944	12	23	have	have	AUX
ejpam-1944	12	24	defined	define	VERB
ejpam-1944	12	25	the	the	DET
ejpam-1944	12	26	notions	notion	NOUN
ejpam-1944	12	27	of	of	ADP
ejpam-1944	12	28	pullback	pullback	NOUN
ejpam-1944	12	29	and	and	CCONJ
ejpam-1944	12	30	induced	induce	VERB
ejpam-1944	12	31	2	2	NUM
ejpam-1944	12	32	-	-	PUNCT
ejpam-1944	12	33	crossed	cross	VERB
ejpam-1944	12	34	module	module	NOUN
ejpam-1944	12	35	.	.	PUNCT
ejpam-1944	13	1	baues	baue	NOUN
ejpam-1944	14	1	[	[	X
ejpam-1944	14	2	3	3	X
ejpam-1944	14	3	]	]	PUNCT
ejpam-1944	14	4	defined	define	VERB
ejpam-1944	14	5	nil(n)-modules	nil(n)-module	NOUN
ejpam-1944	14	6	as	as	ADP
ejpam-1944	14	7	a	a	DET
ejpam-1944	14	8	model	model	NOUN
ejpam-1944	14	9	for	for	ADP
ejpam-1944	14	10	homotopy	homotopy	NOUN
ejpam-1944	14	11	2	2	NUM
ejpam-1944	14	12	-	-	PUNCT
ejpam-1944	14	13	types	type	NOUN
ejpam-1944	14	14	and	and	CCONJ
ejpam-1944	14	15	studied	study	VERB
ejpam-1944	14	16	some	some	DET
ejpam-1944	14	17	properties	property	NOUN
ejpam-1944	14	18	of	of	ADP
ejpam-1944	14	19	nil(2)-modules	nil(2)-module	NOUN
ejpam-1944	14	20	which	which	PRON
ejpam-1944	14	21	forms	form	VERB
ejpam-1944	14	22	a	a	DET
ejpam-1944	14	23	base	base	NOUN
ejpam-1944	14	24	for	for	ADP
ejpam-1944	14	25	his	his	PRON
ejpam-1944	14	26	homotopy	homotopy	NOUN
ejpam-1944	14	27	connected	connect	VERB
ejpam-1944	14	28	3	3	NUM
ejpam-1944	14	29	-	-	PUNCT
ejpam-1944	14	30	types	type	NOUN
ejpam-1944	14	31	“	"	PUNCT
ejpam-1944	14	32	quadratic	quadratic	ADJ
ejpam-1944	14	33	module	module	NOUN
ejpam-1944	14	34	”	"	PUNCT
ejpam-1944	14	35	.	.	PUNCT
ejpam-1944	15	1	atik	atik	PROPN
ejpam-1944	15	2	has	have	AUX
ejpam-1944	15	3	constructed	construct	VERB
ejpam-1944	15	4	pullback	pullback	NOUN
ejpam-1944	15	5	and	and	CCONJ
ejpam-1944	15	6	induced	induce	VERB
ejpam-1944	15	7	nil(2)modules	nil(2)module	NOUN
ejpam-1944	15	8	in	in	ADP
ejpam-1944	15	9	his	his	PRON
ejpam-1944	15	10	thesis	thesis	NOUN
ejpam-1944	15	11	[	[	X
ejpam-1944	15	12	2	2	NUM
ejpam-1944	15	13	]	]	PUNCT
ejpam-1944	15	14	.	.	PUNCT
ejpam-1944	16	1	in	in	ADP
ejpam-1944	16	2	this	this	DET
ejpam-1944	16	3	work	work	NOUN
ejpam-1944	16	4	,	,	PUNCT
ejpam-1944	16	5	by	by	ADP
ejpam-1944	16	6	using	use	VERB
ejpam-1944	16	7	a	a	DET
ejpam-1944	16	8	similar	similar	ADJ
ejpam-1944	16	9	way	way	NOUN
ejpam-1944	16	10	given	give	VERB
ejpam-1944	16	11	in	in	ADP
ejpam-1944	16	12	these	these	DET
ejpam-1944	16	13	cited	cite	VERB
ejpam-1944	16	14	works	work	NOUN
ejpam-1944	16	15	,	,	PUNCT
ejpam-1944	16	16	we	we	PRON
ejpam-1944	16	17	have	have	AUX
ejpam-1944	16	18	shown	show	VERB
ejpam-1944	16	19	that	that	SCONJ
ejpam-1944	16	20	the	the	DET
ejpam-1944	16	21	category	category	NOUN
ejpam-1944	16	22	of	of	ADP
ejpam-1944	16	23	nil(n)-modules	nil(n)-module	NOUN
ejpam-1944	16	24	is	be	AUX
ejpam-1944	16	25	bifibred	bifibre	VERB
ejpam-1944	16	26	over	over	ADP
ejpam-1944	16	27	groups	group	NOUN
ejpam-1944	16	28	in	in	ADP
ejpam-1944	16	29	the	the	DET
ejpam-1944	16	30	sense	sense	NOUN
ejpam-1944	16	31	of	of	ADP
ejpam-1944	16	32	a.	a.	NOUN
ejpam-1944	16	33	grothendieck	grothendieck	NOUN
ejpam-1944	17	1	[	[	X
ejpam-1944	17	2	9	9	NUM
ejpam-1944	17	3	]	]	SYM
ejpam-1944	17	4	.	.	PUNCT
ejpam-1944	18	1	2	2	X
ejpam-1944	18	2	.	.	X
ejpam-1944	18	3	nil(n)-modules	nil(n)-module	VERB
ejpam-1944	18	4	a	a	DET
ejpam-1944	18	5	pre	pre	ADJ
ejpam-1944	18	6	-	-	ADJ
ejpam-1944	18	7	crossed	crossed	ADJ
ejpam-1944	18	8	module	module	NOUN
ejpam-1944	18	9	is	be	AUX
ejpam-1944	18	10	a	a	DET
ejpam-1944	18	11	group	group	NOUN
ejpam-1944	18	12	homomorphism	homomorphism	NOUN
ejpam-1944	18	13	∂	∂	NUM
ejpam-1944	18	14	:	:	PUNCT
ejpam-1944	18	15	m	m	VERB
ejpam-1944	18	16	→	→	PUNCT
ejpam-1944	18	17	q	q	X
ejpam-1944	18	18	together	together	ADV
ejpam-1944	18	19	with	with	ADP
ejpam-1944	18	20	an	an	DET
ejpam-1944	18	21	action	action	NOUN
ejpam-1944	18	22	of	of	ADP
ejpam-1944	18	23	q	q	NOUN
ejpam-1944	18	24	on	on	ADP
ejpam-1944	18	25	m	m	PROPN
ejpam-1944	18	26	,	,	PUNCT
ejpam-1944	18	27	written	write	VERB
ejpam-1944	18	28	mq	mq	PROPN
ejpam-1944	18	29	for	for	ADP
ejpam-1944	18	30	q	q	PROPN
ejpam-1944	18	31	∈	∈	PROPN
ejpam-1944	18	32	q	q	X
ejpam-1944	18	33	and	and	CCONJ
ejpam-1944	18	34	m	m	PROPN
ejpam-1944	18	35	∈	∈	NOUN
ejpam-1944	18	36	m	m	NOUN
ejpam-1944	18	37	,	,	PUNCT
ejpam-1944	18	38	satisfying	satisfy	VERB
ejpam-1944	18	39	the	the	DET
ejpam-1944	18	40	condition	condition	NOUN
ejpam-1944	18	41	∂	∂	NOUN
ejpam-1944	18	42	(	(	PUNCT
ejpam-1944	18	43	mq	mq	NOUN
ejpam-1944	18	44	)	)	PUNCT
ejpam-1944	19	1	=	=	SYM
ejpam-1944	19	2	q−1∂	q−1∂	X
ejpam-1944	19	3	(	(	PUNCT
ejpam-1944	19	4	m)q	m)q	VERB
ejpam-1944	19	5	for	for	ADP
ejpam-1944	19	6	all	all	DET
ejpam-1944	19	7	m	m	NOUN
ejpam-1944	19	8	∈	∈	NOUN
ejpam-1944	19	9	m	m	NOUN
ejpam-1944	19	10	and	and	CCONJ
ejpam-1944	19	11	q	q	PROPN
ejpam-1944	19	12	∈q	∈q	NOUN
ejpam-1944	19	13	.	.	PUNCT
ejpam-1944	20	1	this	this	PRON
ejpam-1944	20	2	is	be	AUX
ejpam-1944	20	3	a	a	DET
ejpam-1944	20	4	crossed	cross	VERB
ejpam-1944	20	5	module	module	NOUN
ejpam-1944	20	6	if	if	SCONJ
ejpam-1944	20	7	in	in	ADP
ejpam-1944	20	8	addition	addition	NOUN
ejpam-1944	20	9	x−1	x−1	PROPN
ejpam-1944	21	1	y−1	y−1	NOUN
ejpam-1944	21	2	x	x	PUNCT
ejpam-1944	21	3	=	=	PUNCT
ejpam-1944	21	4	(	(	PUNCT
ejpam-1944	21	5	y)∂	y)∂	X
ejpam-1944	21	6	x	x	PROPN
ejpam-1944	21	7	email	email	NOUN
ejpam-1944	21	8	addresses	address	NOUN
ejpam-1944	21	9	:	:	PUNCT
ejpam-1944	21	10	hasan.atik@medeniyet.edu.tr	hasan.atik@medeniyet.edu.tr	PROPN
ejpam-1944	21	11	,	,	PUNCT
ejpam-1944	21	12	hasanatik@yahoo.com	hasanatik@yahoo.com	X
ejpam-1944	21	13	http://www.ejpam.com	http://www.ejpam.com	X
ejpam-1944	22	1	428	428	NUM
ejpam-1944	23	1	c	c	X
ejpam-1944	23	2	©	©	PROPN
ejpam-1944	23	3	2013	2013	NUM
ejpam-1944	23	4	ejpam	ejpam	NOUN
ejpam-1944	23	5	all	all	DET
ejpam-1944	23	6	rights	right	NOUN
ejpam-1944	23	7	reserved	reserve	VERB
ejpam-1944	23	8	.	.	PUNCT
ejpam-1944	24	1	h.	h.	PROPN
ejpam-1944	24	2	atik	atik	PROPN
ejpam-1944	24	3	/	/	SYM
ejpam-1944	24	4	eur	eur	PROPN
ejpam-1944	24	5	.	.	PUNCT
ejpam-1944	25	1	j.	j.	PROPN
ejpam-1944	25	2	pure	pure	PROPN
ejpam-1944	25	3	appl	appl	PROPN
ejpam-1944	25	4	.	.	PROPN
ejpam-1944	25	5	math	math	PROPN
ejpam-1944	25	6	,	,	PUNCT
ejpam-1944	25	7	6	6	NUM
ejpam-1944	25	8	(	(	PUNCT
ejpam-1944	25	9	2013	2013	NUM
ejpam-1944	25	10	)	)	PUNCT
ejpam-1944	25	11	,	,	PUNCT
ejpam-1944	25	12	428	428	X
ejpam-1944	25	13	-	-	SYM
ejpam-1944	25	14	434	434	NUM
ejpam-1944	25	15	429	429	NUM
ejpam-1944	25	16	we	we	PRON
ejpam-1944	25	17	define	define	VERB
ejpam-1944	25	18	peiffer	peiffer	NOUN
ejpam-1944	25	19	commutator	commutator	NOUN
ejpam-1944	25	20	in	in	ADP
ejpam-1944	25	21	a	a	DET
ejpam-1944	25	22	pre	pre	ADJ
ejpam-1944	25	23	-	-	ADJ
ejpam-1944	25	24	crossed	crossed	ADJ
ejpam-1944	25	25	module	module	NOUN
ejpam-1944	25	26	x	x	SYM
ejpam-1944	25	27	,	,	PUNCT
ejpam-1944	25	28	y	y	PROPN
ejpam-1944	25	29	�	�	PROPN
ejpam-1944	26	1	=	=	PUNCT
ejpam-1944	26	2	x−1	x−1	PROPN
ejpam-1944	26	3	y−1	y−1	PROPN
ejpam-1944	26	4	x(y)∂1	x(y)∂1	INTJ
ejpam-1944	26	5	x	x	PUNCT
ejpam-1944	26	6	thus	thus	ADV
ejpam-1944	26	7	∂	∂	NUM
ejpam-1944	26	8	is	be	AUX
ejpam-1944	26	9	a	a	DET
ejpam-1944	26	10	crossed	cross	VERB
ejpam-1944	26	11	module	module	NOUN
ejpam-1944	26	12	if	if	SCONJ
ejpam-1944	26	13	and	and	CCONJ
ejpam-1944	26	14	only	only	ADV
ejpam-1944	26	15	if	if	SCONJ
ejpam-1944	26	16	〈	〈	PROPN
ejpam-1944	26	17	x	x	SYM
ejpam-1944	26	18	,	,	PUNCT
ejpam-1944	26	19	y〉=	y〉=	NOUN
ejpam-1944	26	20	1	1	NUM
ejpam-1944	26	21	for	for	ADP
ejpam-1944	26	22	all	all	DET
ejpam-1944	26	23	x	x	SYM
ejpam-1944	26	24	,	,	PUNCT
ejpam-1944	26	25	y	y	PROPN
ejpam-1944	26	26	∈	∈	PROPN
ejpam-1944	26	27	m	m	VERB
ejpam-1944	26	28	.	.	PUNCT
ejpam-1944	27	1	in	in	ADP
ejpam-1944	27	2	a	a	DET
ejpam-1944	27	3	group	group	NOUN
ejpam-1944	27	4	g	g	NOUN
ejpam-1944	27	5	we	we	PRON
ejpam-1944	27	6	have	have	VERB
ejpam-1944	27	7	the	the	DET
ejpam-1944	27	8	lower	low	ADJ
ejpam-1944	27	9	central	central	ADJ
ejpam-1944	27	10	series	series	NOUN
ejpam-1944	27	11	γn+1	γn+1	NUM
ejpam-1944	27	12	⊂	⊂	PROPN
ejpam-1944	27	13	γn	γn	ADP
ejpam-1944	27	14	⊂	⊂	PROPN
ejpam-1944	27	15	.	.	PUNCT
ejpam-1944	27	16	.	.	PUNCT
ejpam-1944	28	1	.⊂	.⊂	PROPN
ejpam-1944	28	2	γ1	γ1	PROPN
ejpam-1944	28	3	=	=	PUNCT
ejpam-1944	28	4	g	g	PROPN
ejpam-1944	28	5	where	where	SCONJ
ejpam-1944	28	6	γn	γn	NOUN
ejpam-1944	28	7	=	=	SYM
ejpam-1944	28	8	γn(g	γn(g	X
ejpam-1944	28	9	)	)	PUNCT
ejpam-1944	28	10	is	be	AUX
ejpam-1944	28	11	the	the	DET
ejpam-1944	28	12	subgroup	subgroup	NOUN
ejpam-1944	28	13	of	of	ADP
ejpam-1944	28	14	g	g	PROPN
ejpam-1944	28	15	generated	generate	VERB
ejpam-1944	28	16	by	by	ADP
ejpam-1944	28	17	all	all	DET
ejpam-1944	28	18	iterated	iterated	ADJ
ejpam-1944	28	19	commutators	commutator	NOUN
ejpam-1944	28	20	(	(	PUNCT
ejpam-1944	28	21	x1	x1	PROPN
ejpam-1944	28	22	,	,	PUNCT
ejpam-1944	28	23	x2	x2	PROPN
ejpam-1944	28	24	,	,	PUNCT
ejpam-1944	28	25	.	.	PUNCT
ejpam-1944	28	26	.	.	PUNCT
ejpam-1944	29	1	.	.	PUNCT
ejpam-1944	30	1	,	,	PUNCT
ejpam-1944	30	2	xn	xn	X
ejpam-1944	30	3	)	)	PUNCT
ejpam-1944	30	4	of	of	ADP
ejpam-1944	30	5	length	length	NOUN
ejpam-1944	30	6	n.	n.	PROPN
ejpam-1944	30	7	here	here	ADV
ejpam-1944	31	1	γ2(g	γ2(g	VERB
ejpam-1944	31	2	)	)	PUNCT
ejpam-1944	32	1	is	be	AUX
ejpam-1944	32	2	the	the	DET
ejpam-1944	32	3	commutator	commutator	NOUN
ejpam-1944	32	4	subgroup	subgroup	NOUN
ejpam-1944	32	5	of	of	ADP
ejpam-1944	32	6	g.	g.	PROPN
ejpam-1944	32	7	similarly	similarly	ADV
ejpam-1944	32	8	we	we	PRON
ejpam-1944	32	9	obtain	obtain	VERB
ejpam-1944	32	10	the	the	DET
ejpam-1944	32	11	lower	low	ADJ
ejpam-1944	32	12	peiffer	peiffer	ADJ
ejpam-1944	32	13	central	central	ADJ
ejpam-1944	32	14	series	series	NOUN
ejpam-1944	32	15	pn+1	pn+1	PROPN
ejpam-1944	32	16	⊂	⊂	PROPN
ejpam-1944	32	17	pn	pn	PROPN
ejpam-1944	32	18	⊂	⊂	PROPN
ejpam-1944	32	19	.	.	PUNCT
ejpam-1944	32	20	.	.	PUNCT
ejpam-1944	33	1	.⊂	.⊂	PROPN
ejpam-1944	34	1	p1	p1	NOUN
ejpam-1944	34	2	=	=	PUNCT
ejpam-1944	34	3	m	m	VERB
ejpam-1944	34	4	in	in	ADP
ejpam-1944	34	5	a	a	DET
ejpam-1944	34	6	pre	pre	ADJ
ejpam-1944	34	7	-	-	ADJ
ejpam-1944	34	8	crossed	crossed	ADJ
ejpam-1944	34	9	module	module	NOUN
ejpam-1944	34	10	∂	∂	NOUN
ejpam-1944	34	11	:	:	PUNCT
ejpam-1944	34	12	m	m	VERB
ejpam-1944	34	13	→	→	SYM
ejpam-1944	34	14	n	n	PROPN
ejpam-1944	34	15	.	.	PUNCT
ejpam-1944	35	1	where	where	SCONJ
ejpam-1944	35	2	pn	pn	PROPN
ejpam-1944	35	3	=	=	PROPN
ejpam-1944	35	4	pn(∂	pn(∂	PROPN
ejpam-1944	35	5	)	)	PUNCT
ejpam-1944	35	6	is	be	AUX
ejpam-1944	35	7	the	the	DET
ejpam-1944	35	8	subgroup	subgroup	NOUN
ejpam-1944	35	9	of	of	AUX
ejpam-1944	35	10	m	m	AUX
ejpam-1944	35	11	generated	generate	VERB
ejpam-1944	35	12	by	by	ADP
ejpam-1944	35	13	all	all	DET
ejpam-1944	35	14	iterated	iterated	ADJ
ejpam-1944	35	15	peiffer	peiffer	NOUN
ejpam-1944	35	16	commutators	commutator	NOUN
ejpam-1944	35	17	〈	〈	ADP
ejpam-1944	35	18	x1	x1	PROPN
ejpam-1944	35	19	,	,	PUNCT
ejpam-1944	35	20	x2	x2	PROPN
ejpam-1944	35	21	,	,	PUNCT
ejpam-1944	35	22	.	.	PUNCT
ejpam-1944	35	23	.	.	PUNCT
ejpam-1944	36	1	.	.	PUNCT
ejpam-1944	37	1	,	,	PUNCT
ejpam-1944	37	2	xn	xn	X
ejpam-1944	37	3	〉	〉	NOUN
ejpam-1944	37	4	of	of	ADP
ejpam-1944	37	5	length	length	NOUN
ejpam-1944	37	6	n.	n.	PROPN
ejpam-1944	37	7	the	the	DET
ejpam-1944	37	8	group	group	NOUN
ejpam-1944	37	9	pn(∂	pn(∂	PROPN
ejpam-1944	37	10	)	)	PUNCT
ejpam-1944	37	11	is	be	AUX
ejpam-1944	37	12	the	the	DET
ejpam-1944	37	13	peiffer	peiffer	ADJ
ejpam-1944	37	14	subgroup	subgroup	NOUN
ejpam-1944	37	15	of	of	ADP
ejpam-1944	37	16	m	m	PROPN
ejpam-1944	37	17	,	,	PUNCT
ejpam-1944	37	18	this	this	PRON
ejpam-1944	37	19	generalizes	generalize	VERB
ejpam-1944	37	20	the	the	DET
ejpam-1944	37	21	commutator	commutator	NOUN
ejpam-1944	37	22	subgroup	subgroup	NOUN
ejpam-1944	37	23	in	in	ADP
ejpam-1944	37	24	a	a	DET
ejpam-1944	37	25	group	group	NOUN
ejpam-1944	37	26	.	.	PUNCT
ejpam-1944	38	1	the	the	DET
ejpam-1944	38	2	following	follow	VERB
ejpam-1944	38	3	definition	definition	NOUN
ejpam-1944	38	4	is	be	AUX
ejpam-1944	38	5	given	give	VERB
ejpam-1944	38	6	by	by	ADP
ejpam-1944	38	7	baues	baue	NOUN
ejpam-1944	38	8	[	[	X
ejpam-1944	38	9	3	3	NUM
ejpam-1944	38	10	]	]	PUNCT
ejpam-1944	38	11	.	.	PUNCT
ejpam-1944	39	1	definition	definition	NOUN
ejpam-1944	39	2	1	1	NUM
ejpam-1944	39	3	.	.	PUNCT
ejpam-1944	40	1	a	a	DET
ejpam-1944	40	2	pre	pre	ADJ
ejpam-1944	40	3	-	-	ADJ
ejpam-1944	40	4	crossed	crossed	ADJ
ejpam-1944	40	5	module	module	NOUN
ejpam-1944	40	6	∂	∂	NOUN
ejpam-1944	40	7	:	:	PUNCT
ejpam-1944	40	8	m	m	VERB
ejpam-1944	40	9	→	→	SYM
ejpam-1944	40	10	n	n	X
ejpam-1944	40	11	is	be	AUX
ejpam-1944	40	12	a	a	DET
ejpam-1944	40	13	peiffer	peiffer	ADJ
ejpam-1944	40	14	nilpotent	nilpotent	NOUN
ejpam-1944	40	15	of	of	ADP
ejpam-1944	40	16	class	class	NOUN
ejpam-1944	40	17	n	n	NOUN
ejpam-1944	40	18	if	if	SCONJ
ejpam-1944	40	19	pn+1(∂	pn+1(∂	NOUN
ejpam-1944	40	20	)	)	PUNCT
ejpam-1944	40	21	=	=	SYM
ejpam-1944	40	22	1	1	NUM
ejpam-1944	40	23	,	,	PUNCT
ejpam-1944	40	24	in	in	ADP
ejpam-1944	40	25	this	this	DET
ejpam-1944	40	26	case	case	NOUN
ejpam-1944	40	27	we	we	PRON
ejpam-1944	40	28	call	call	VERB
ejpam-1944	40	29	∂	∂	NOUN
ejpam-1944	40	30	is	be	AUX
ejpam-1944	40	31	a	a	DET
ejpam-1944	40	32	nil(n)-module	nil(n)-module	NOUN
ejpam-1944	40	33	.	.	PUNCT
ejpam-1944	41	1	that	that	PRON
ejpam-1944	41	2	is	be	AUX
ejpam-1944	41	3	〈	〈	PROPN
ejpam-1944	41	4	x1	x1	PROPN
ejpam-1944	41	5	,	,	PUNCT
ejpam-1944	41	6	x2	x2	PROPN
ejpam-1944	41	7	,	,	PUNCT
ejpam-1944	41	8	x3	x3	PROPN
ejpam-1944	41	9	·	·	PUNCT
ejpam-1944	41	10	·	·	PUNCT
ejpam-1944	41	11	·	·	PUNCT
ejpam-1944	42	1	,	,	PUNCT
ejpam-1944	42	2	xn〉=	xn〉=	PROPN
ejpam-1944	42	3	1	1	NUM
ejpam-1944	42	4	,	,	PUNCT
ejpam-1944	42	5	a	a	DET
ejpam-1944	42	6	morphism	morphism	NOUN
ejpam-1944	42	7	between	between	ADP
ejpam-1944	42	8	two	two	NUM
ejpam-1944	42	9	nil(n)-modules	nil(n)-module	NOUN
ejpam-1944	42	10	∂	∂	NOUN
ejpam-1944	42	11	:	:	PUNCT
ejpam-1944	42	12	m	m	VERB
ejpam-1944	42	13	→	→	SYM
ejpam-1944	42	14	q	q	X
ejpam-1944	42	15	and	and	CCONJ
ejpam-1944	42	16	∂	∂	NUM
ejpam-1944	42	17	′	′	NUM
ejpam-1944	42	18	:	:	PUNCT
ejpam-1944	42	19	m	m	VERB
ejpam-1944	42	20	′	′	NUM
ejpam-1944	42	21	→	→	SYM
ejpam-1944	42	22	q′	q′	NOUN
ejpam-1944	42	23	is	be	AUX
ejpam-1944	42	24	a	a	DET
ejpam-1944	42	25	pair	pair	NOUN
ejpam-1944	42	26	(	(	PUNCT
ejpam-1944	42	27	g	g	NOUN
ejpam-1944	42	28	,	,	PUNCT
ejpam-1944	42	29	f	f	PROPN
ejpam-1944	42	30	)	)	PUNCT
ejpam-1944	42	31	of	of	ADP
ejpam-1944	42	32	homomorphisms	homomorphism	NOUN
ejpam-1944	42	33	of	of	ADP
ejpam-1944	42	34	groups	group	NOUN
ejpam-1944	42	35	g	g	NOUN
ejpam-1944	42	36	:	:	PUNCT
ejpam-1944	42	37	m	m	PROPN
ejpam-1944	42	38	→	→	SYM
ejpam-1944	42	39	m	m	VERB
ejpam-1944	42	40	′	′	NOUN
ejpam-1944	42	41	and	and	CCONJ
ejpam-1944	42	42	f	f	X
ejpam-1944	42	43	:	:	PUNCT
ejpam-1944	42	44	q	q	X
ejpam-1944	42	45	→	→	SYM
ejpam-1944	42	46	q′	q′	NOUN
ejpam-1944	42	47	such	such	ADJ
ejpam-1944	42	48	that	that	SCONJ
ejpam-1944	42	49	f	f	PROPN
ejpam-1944	42	50	∂	∂	NUM
ejpam-1944	42	51	=	=	SYM
ejpam-1944	42	52	∂	∂	NOUN
ejpam-1944	42	53	′g	′g	PROPN
ejpam-1944	42	54	and	and	CCONJ
ejpam-1944	42	55	the	the	DET
ejpam-1944	42	56	actions	action	NOUN
ejpam-1944	42	57	preserved	preserve	VERB
ejpam-1944	42	58	,	,	PUNCT
ejpam-1944	42	59	i.e.	i.e.	X
ejpam-1944	42	60	g(mq	g(mq	NOUN
ejpam-1944	42	61	)	)	PUNCT
ejpam-1944	42	62	=	=	SYM
ejpam-1944	42	63	g(m	g(m	VERB
ejpam-1944	42	64	)	)	PUNCT
ejpam-1944	42	65	f	f	NOUN
ejpam-1944	42	66	(	(	PUNCT
ejpam-1944	42	67	q	q	NOUN
ejpam-1944	42	68	)	)	PUNCT
ejpam-1944	42	69	for	for	ADP
ejpam-1944	42	70	any	any	DET
ejpam-1944	42	71	m	m	NOUN
ejpam-1944	42	72	∈	∈	NOUN
ejpam-1944	42	73	m	m	NOUN
ejpam-1944	42	74	,	,	PUNCT
ejpam-1944	42	75	q	q	PROPN
ejpam-1944	42	76	∈	∈	PROPN
ejpam-1944	42	77	q.	q.	NOUN
ejpam-1944	42	78	we	we	PRON
ejpam-1944	42	79	shall	shall	AUX
ejpam-1944	42	80	denote	denote	VERB
ejpam-1944	42	81	the	the	DET
ejpam-1944	42	82	category	category	NOUN
ejpam-1944	42	83	of	of	ADP
ejpam-1944	42	84	nil(n)-modules	nil(n)-module	NOUN
ejpam-1944	42	85	by	by	ADP
ejpam-1944	42	86	nil(n	nil(n	PROPN
ejpam-1944	42	87	)	)	PUNCT
ejpam-1944	42	88	.	.	PUNCT
ejpam-1944	43	1	3	3	X
ejpam-1944	43	2	.	.	X
ejpam-1944	43	3	bifibration	bifibration	NOUN
ejpam-1944	43	4	of	of	ADP
ejpam-1944	43	5	categories	category	NOUN
ejpam-1944	43	6	we	we	PRON
ejpam-1944	43	7	recall	recall	VERB
ejpam-1944	43	8	the	the	DET
ejpam-1944	43	9	definition	definition	NOUN
ejpam-1944	43	10	of	of	ADP
ejpam-1944	43	11	fibration	fibration	NOUN
ejpam-1944	43	12	of	of	ADP
ejpam-1944	43	13	categories	category	NOUN
ejpam-1944	43	14	from	from	ADP
ejpam-1944	43	15	[	[	X
ejpam-1944	43	16	7	7	NUM
ejpam-1944	43	17	]	]	PUNCT
ejpam-1944	43	18	.	.	PUNCT
ejpam-1944	44	1	definition	definition	NOUN
ejpam-1944	44	2	2	2	NUM
ejpam-1944	44	3	.	.	PUNCT
ejpam-1944	45	1	let	let	VERB
ejpam-1944	45	2	φ	φ	PROPN
ejpam-1944	45	3	:	:	PUNCT
ejpam-1944	45	4	x→	x→	PUNCT
ejpam-1944	46	1	b	b	X
ejpam-1944	46	2	be	be	AUX
ejpam-1944	46	3	a	a	DET
ejpam-1944	46	4	functor	functor	NOUN
ejpam-1944	46	5	.	.	PUNCT
ejpam-1944	47	1	a	a	DET
ejpam-1944	47	2	morphism	morphism	NOUN
ejpam-1944	47	3	ϕ	ϕ	NOUN
ejpam-1944	47	4	:	:	PUNCT
ejpam-1944	47	5	y	y	PROPN
ejpam-1944	47	6	→	→	PUNCT
ejpam-1944	47	7	x	x	PROPN
ejpam-1944	47	8	in	in	ADP
ejpam-1944	47	9	x	x	PUNCT
ejpam-1944	47	10	over	over	ADP
ejpam-1944	47	11	u	u	NOUN
ejpam-1944	47	12	:	:	PUNCT
ejpam-1944	47	13	=	=	SYM
ejpam-1944	47	14	φ(ϕ	φ(ϕ	NOUN
ejpam-1944	47	15	)	)	PUNCT
ejpam-1944	47	16	is	be	AUX
ejpam-1944	47	17	called	call	VERB
ejpam-1944	47	18	cartesian	cartesian	ADJ
ejpam-1944	47	19	if	if	SCONJ
ejpam-1944	47	20	and	and	CCONJ
ejpam-1944	47	21	only	only	ADV
ejpam-1944	47	22	if	if	SCONJ
ejpam-1944	47	23	for	for	ADP
ejpam-1944	47	24	all	all	DET
ejpam-1944	47	25	υ	υ	NOUN
ejpam-1944	47	26	:	:	PUNCT
ejpam-1944	47	27	k	k	PROPN
ejpam-1944	47	28	→	→	SYM
ejpam-1944	47	29	j	j	PROPN
ejpam-1944	47	30	in	in	ADP
ejpam-1944	47	31	b	b	PROPN
ejpam-1944	47	32	and	and	CCONJ
ejpam-1944	47	33	θ	θ	NOUN
ejpam-1944	47	34	:	:	PUNCT
ejpam-1944	48	1	z	z	X
ejpam-1944	48	2	→	→	SYM
ejpam-1944	48	3	x	x	X
ejpam-1944	48	4	with	with	ADP
ejpam-1944	48	5	φ(θ	φ(θ	PROPN
ejpam-1944	48	6	)	)	PUNCT
ejpam-1944	48	7	=	=	SYM
ejpam-1944	49	1	uυ	uυ	NOUN
ejpam-1944	49	2	there	there	PRON
ejpam-1944	49	3	is	be	VERB
ejpam-1944	49	4	a	a	DET
ejpam-1944	49	5	unique	unique	ADJ
ejpam-1944	49	6	morphism	morphism	NOUN
ejpam-1944	49	7	ψ	ψ	NOUN
ejpam-1944	49	8	:	:	PUNCT
ejpam-1944	49	9	z	z	X
ejpam-1944	49	10	→	→	SYM
ejpam-1944	49	11	y	y	PROPN
ejpam-1944	49	12	with	with	ADP
ejpam-1944	49	13	φ(ψ	φ(ψ	PROPN
ejpam-1944	49	14	)	)	PUNCT
ejpam-1944	49	15	=	=	SYM
ejpam-1944	49	16	υ	υ	PROPN
ejpam-1944	49	17	and	and	CCONJ
ejpam-1944	49	18	θ	θ	PROPN
ejpam-1944	50	1	=	=	SYM
ejpam-1944	50	2	ϕψ	ϕψ	INTJ
ejpam-1944	50	3	.	.	PUNCT
ejpam-1944	51	1	z	z	NOUN
ejpam-1944	51	2	ψ	ψ	X
ejpam-1944	51	3	//	//	X
ejpam-1944	51	4	θ	θ	PROPN
ejpam-1944	51	5	''	''	PUNCT
ejpam-1944	52	1	y	y	PROPN
ejpam-1944	52	2	ϕ	ϕ	PROPN
ejpam-1944	52	3	//	//	PROPN
ejpam-1944	52	4	x	x	PROPN
ejpam-1944	52	5	φ	φ	PROPN
ejpam-1944	52	6	�	�	PROPN
ejpam-1944	52	7	�	�	PROPN
ejpam-1944	52	8	k	k	PROPN
ejpam-1944	52	9	uυ	uυ	PROPN
ejpam-1944	52	10	''	''	PUNCT
ejpam-1944	53	1	υ	υ	PROPN
ejpam-1944	53	2	//	//	PROPN
ejpam-1944	53	3	j	j	PROPN
ejpam-1944	53	4	u	u	PROPN
ejpam-1944	53	5	//	//	PROPN
ejpam-1944	53	6	i	i	PRON
ejpam-1944	53	7	a	a	DET
ejpam-1944	53	8	morphism	morphism	NOUN
ejpam-1944	53	9	α	α	NOUN
ejpam-1944	53	10	:	:	PUNCT
ejpam-1944	53	11	z	z	X
ejpam-1944	53	12	→	→	SYM
ejpam-1944	53	13	y	y	PROPN
ejpam-1944	53	14	is	be	AUX
ejpam-1944	53	15	called	call	VERB
ejpam-1944	53	16	vertical	vertical	ADJ
ejpam-1944	53	17	(	(	PUNCT
ejpam-1944	53	18	with	with	ADP
ejpam-1944	53	19	respect	respect	NOUN
ejpam-1944	53	20	to	to	ADP
ejpam-1944	53	21	φ	φ	NUM
ejpam-1944	53	22	)	)	PUNCT
ejpam-1944	53	23	if	if	SCONJ
ejpam-1944	53	24	and	and	CCONJ
ejpam-1944	53	25	only	only	ADV
ejpam-1944	53	26	if	if	SCONJ
ejpam-1944	53	27	φ(α	φ(α	PROPN
ejpam-1944	53	28	)	)	PUNCT
ejpam-1944	53	29	is	be	AUX
ejpam-1944	53	30	an	an	DET
ejpam-1944	53	31	identity	identity	NOUN
ejpam-1944	53	32	isomorphism	isomorphism	NOUN
ejpam-1944	53	33	in	in	ADP
ejpam-1944	53	34	b.	b.	PROPN
ejpam-1944	53	35	in	in	ADP
ejpam-1944	53	36	particular	particular	ADJ
ejpam-1944	53	37	,	,	PUNCT
ejpam-1944	53	38	for	for	ADP
ejpam-1944	53	39	i	i	PROPN
ejpam-1944	53	40	∈	∈	PROPN
ejpam-1944	53	41	b	b	NOUN
ejpam-1944	53	42	we	we	PRON
ejpam-1944	53	43	write	write	VERB
ejpam-1944	53	44	xi	xi	PROPN
ejpam-1944	53	45	,	,	PUNCT
ejpam-1944	53	46	called	call	VERB
ejpam-1944	53	47	the	the	DET
ejpam-1944	53	48	fibre	fibre	NOUN
ejpam-1944	53	49	over	over	ADP
ejpam-1944	53	50	i	i	PROPN
ejpam-1944	53	51	,	,	PUNCT
ejpam-1944	53	52	for	for	ADP
ejpam-1944	53	53	the	the	DET
ejpam-1944	53	54	subcategory	subcategory	NOUN
ejpam-1944	53	55	of	of	ADP
ejpam-1944	53	56	x	x	SYM
ejpam-1944	53	57	consisting	consist	VERB
ejpam-1944	53	58	of	of	ADP
ejpam-1944	53	59	those	those	DET
ejpam-1944	53	60	morphisms	morphisms	PROPN
ejpam-1944	53	61	α	α	NOUN
ejpam-1944	53	62	with	with	ADP
ejpam-1944	53	63	φ(α	φ(α	PROPN
ejpam-1944	53	64	)	)	PUNCT
ejpam-1944	53	65	=	=	SYM
ejpam-1944	53	66	idi	idi	PROPN
ejpam-1944	53	67	,	,	PUNCT
ejpam-1944	53	68	h.	h.	PROPN
ejpam-1944	53	69	atik	atik	PROPN
ejpam-1944	53	70	/	/	SYM
ejpam-1944	53	71	eur	eur	PROPN
ejpam-1944	53	72	.	.	PUNCT
ejpam-1944	54	1	j.	j.	PROPN
ejpam-1944	54	2	pure	pure	PROPN
ejpam-1944	54	3	appl	appl	PROPN
ejpam-1944	54	4	.	.	PROPN
ejpam-1944	54	5	math	math	PROPN
ejpam-1944	54	6	,	,	PUNCT
ejpam-1944	54	7	6	6	NUM
ejpam-1944	54	8	(	(	PUNCT
ejpam-1944	54	9	2013	2013	NUM
ejpam-1944	54	10	)	)	PUNCT
ejpam-1944	54	11	,	,	PUNCT
ejpam-1944	54	12	428	428	X
ejpam-1944	54	13	-	-	SYM
ejpam-1944	54	14	434	434	NUM
ejpam-1944	54	15	430	430	NUM
ejpam-1944	54	16	definition	definition	NOUN
ejpam-1944	54	17	3	3	NUM
ejpam-1944	54	18	.	.	PUNCT
ejpam-1944	55	1	the	the	DET
ejpam-1944	55	2	functor	functor	PROPN
ejpam-1944	55	3	φ	φ	PROPN
ejpam-1944	55	4	:	:	PUNCT
ejpam-1944	55	5	x→	x→	PUNCT
ejpam-1944	56	1	b	b	PROPN
ejpam-1944	56	2	is	be	AUX
ejpam-1944	56	3	fibration	fibration	NOUN
ejpam-1944	56	4	or	or	CCONJ
ejpam-1944	56	5	category	category	NOUN
ejpam-1944	56	6	fibred	fibre	VERB
ejpam-1944	56	7	over	over	ADP
ejpam-1944	56	8	b	b	PROPN
ejpam-1944	56	9	if	if	SCONJ
ejpam-1944	56	10	and	and	CCONJ
ejpam-1944	56	11	only	only	ADV
ejpam-1944	56	12	if	if	SCONJ
ejpam-1944	56	13	for	for	ADP
ejpam-1944	56	14	all	all	DET
ejpam-1944	56	15	u	u	NOUN
ejpam-1944	56	16	:	:	PUNCT
ejpam-1944	56	17	j	j	PROPN
ejpam-1944	56	18	→	→	PUNCT
ejpam-1944	56	19	i	i	PROPN
ejpam-1944	56	20	in	in	ADP
ejpam-1944	56	21	b	b	PROPN
ejpam-1944	56	22	and	and	CCONJ
ejpam-1944	56	23	x	x	SYM
ejpam-1944	56	24	∈	∈	NOUN
ejpam-1944	56	25	xi	xi	VERB
ejpam-1944	56	26	there	there	PRON
ejpam-1944	56	27	is	be	VERB
ejpam-1944	56	28	a	a	DET
ejpam-1944	56	29	cartesian	cartesian	ADJ
ejpam-1944	56	30	morphism	morphism	NOUN
ejpam-1944	56	31	ϕ	ϕ	NOUN
ejpam-1944	56	32	:	:	PUNCT
ejpam-1944	56	33	y	y	PROPN
ejpam-1944	56	34	→	→	SYM
ejpam-1944	56	35	x	x	PROPN
ejpam-1944	56	36	over	over	ADP
ejpam-1944	56	37	u	u	NOUN
ejpam-1944	56	38	:	:	PUNCT
ejpam-1944	56	39	such	such	DET
ejpam-1944	56	40	a	a	DET
ejpam-1944	56	41	ϕ	ϕ	NOUN
ejpam-1944	56	42	is	be	AUX
ejpam-1944	56	43	called	call	VERB
ejpam-1944	56	44	a	a	DET
ejpam-1944	56	45	cartesian	cartesian	ADJ
ejpam-1944	56	46	lifting	lifting	NOUN
ejpam-1944	56	47	of	of	ADP
ejpam-1944	56	48	x	x	PUNCT
ejpam-1944	56	49	along	along	ADP
ejpam-1944	56	50	u.	u.	NOUN
ejpam-1944	56	51	we	we	PRON
ejpam-1944	56	52	now	now	ADV
ejpam-1944	56	53	give	give	VERB
ejpam-1944	56	54	the	the	DET
ejpam-1944	56	55	duals	dual	NOUN
ejpam-1944	56	56	of	of	ADP
ejpam-1944	56	57	the	the	DET
ejpam-1944	56	58	above	above	ADJ
ejpam-1944	56	59	definition	definition	NOUN
ejpam-1944	56	60	.	.	PUNCT
ejpam-1944	57	1	definition	definition	NOUN
ejpam-1944	57	2	4	4	NUM
ejpam-1944	57	3	.	.	PUNCT
ejpam-1944	58	1	let	let	VERB
ejpam-1944	58	2	φ	φ	PROPN
ejpam-1944	58	3	:	:	PUNCT
ejpam-1944	59	1	x→	x→	PUNCT
ejpam-1944	60	1	b	b	X
ejpam-1944	60	2	be	be	AUX
ejpam-1944	60	3	a	a	DET
ejpam-1944	60	4	functor	functor	NOUN
ejpam-1944	60	5	.	.	PUNCT
ejpam-1944	61	1	a	a	DET
ejpam-1944	61	2	morphism	morphism	NOUN
ejpam-1944	61	3	ψ	ψ	X
ejpam-1944	61	4	:	:	PUNCT
ejpam-1944	61	5	z	z	X
ejpam-1944	61	6	→	→	SYM
ejpam-1944	61	7	y	y	PROPN
ejpam-1944	61	8	in	in	ADP
ejpam-1944	61	9	x	x	PUNCT
ejpam-1944	61	10	over	over	ADP
ejpam-1944	61	11	υ	υ	NOUN
ejpam-1944	61	12	:	:	PUNCT
ejpam-1944	61	13	=	=	SYM
ejpam-1944	61	14	φ(ψ	φ(ψ	PROPN
ejpam-1944	61	15	)	)	PUNCT
ejpam-1944	61	16	is	be	AUX
ejpam-1944	61	17	called	call	VERB
ejpam-1944	61	18	cocartesian	cocartesian	NOUN
ejpam-1944	61	19	if	if	SCONJ
ejpam-1944	61	20	and	and	CCONJ
ejpam-1944	61	21	only	only	ADV
ejpam-1944	61	22	if	if	SCONJ
ejpam-1944	61	23	for	for	ADP
ejpam-1944	61	24	all	all	DET
ejpam-1944	61	25	u	u	NOUN
ejpam-1944	61	26	:	:	PUNCT
ejpam-1944	62	1	j	j	PROPN
ejpam-1944	62	2	→	→	PUNCT
ejpam-1944	62	3	i	i	PROPN
ejpam-1944	62	4	in	in	ADP
ejpam-1944	62	5	b	b	PROPN
ejpam-1944	62	6	and	and	CCONJ
ejpam-1944	62	7	θ	θ	NOUN
ejpam-1944	62	8	:	:	PUNCT
ejpam-1944	62	9	z	z	X
ejpam-1944	62	10	→	→	SYM
ejpam-1944	62	11	x	x	X
ejpam-1944	62	12	with	with	ADP
ejpam-1944	62	13	φ(θ	φ(θ	PROPN
ejpam-1944	62	14	)	)	PUNCT
ejpam-1944	62	15	=	=	SYM
ejpam-1944	63	1	uυ	uυ	NOUN
ejpam-1944	63	2	there	there	PRON
ejpam-1944	63	3	is	be	VERB
ejpam-1944	63	4	a	a	DET
ejpam-1944	63	5	unique	unique	ADJ
ejpam-1944	63	6	morphism	morphism	NOUN
ejpam-1944	63	7	ϕ	ϕ	NOUN
ejpam-1944	63	8	:	:	PUNCT
ejpam-1944	63	9	y	y	PROPN
ejpam-1944	63	10	→	→	SYM
ejpam-1944	63	11	x	x	X
ejpam-1944	63	12	with	with	ADP
ejpam-1944	63	13	φ(ϕ	φ(ϕ	NOUN
ejpam-1944	63	14	)	)	PUNCT
ejpam-1944	63	15	=	=	SYM
ejpam-1944	63	16	u	u	NOUN
ejpam-1944	63	17	and	and	CCONJ
ejpam-1944	63	18	θ	θ	PROPN
ejpam-1944	63	19	=	=	SYM
ejpam-1944	64	1	ϕψ	ϕψ	INTJ
ejpam-1944	64	2	.	.	PUNCT
ejpam-1944	65	1	z	z	NOUN
ejpam-1944	65	2	ψ	ψ	X
ejpam-1944	65	3	//	//	X
ejpam-1944	65	4	θ	θ	PROPN
ejpam-1944	65	5	''	''	PUNCT
ejpam-1944	66	1	y	y	PROPN
ejpam-1944	66	2	ϕ	ϕ	PROPN
ejpam-1944	66	3	//	//	PROPN
ejpam-1944	66	4	x	x	PROPN
ejpam-1944	66	5	φ	φ	PROPN
ejpam-1944	66	6	�	�	PROPN
ejpam-1944	66	7	�	�	PROPN
ejpam-1944	66	8	k	k	PROPN
ejpam-1944	66	9	uυ	uυ	PROPN
ejpam-1944	66	10	''	''	PUNCT
ejpam-1944	67	1	υ	υ	PROPN
ejpam-1944	67	2	//	//	PROPN
ejpam-1944	67	3	j	j	PROPN
ejpam-1944	67	4	u	u	PROPN
ejpam-1944	67	5	//	//	PROPN
ejpam-1944	67	6	i	i	PRON
ejpam-1944	67	7	definition	definition	NOUN
ejpam-1944	67	8	5	5	NUM
ejpam-1944	67	9	.	.	PUNCT
ejpam-1944	68	1	the	the	DET
ejpam-1944	68	2	functor	functor	PROPN
ejpam-1944	68	3	φ	φ	PROPN
ejpam-1944	68	4	:	:	PUNCT
ejpam-1944	68	5	x→	x→	PUNCT
ejpam-1944	69	1	b	b	PROPN
ejpam-1944	69	2	is	be	AUX
ejpam-1944	69	3	cofibration	cofibration	NOUN
ejpam-1944	69	4	or	or	CCONJ
ejpam-1944	69	5	category	category	NOUN
ejpam-1944	69	6	cofibred	cofibre	VERB
ejpam-1944	69	7	over	over	ADP
ejpam-1944	69	8	b	b	NOUN
ejpam-1944	69	9	if	if	SCONJ
ejpam-1944	70	1	and	and	CCONJ
ejpam-1944	70	2	only	only	ADV
ejpam-1944	70	3	if	if	SCONJ
ejpam-1944	70	4	for	for	ADP
ejpam-1944	70	5	all	all	DET
ejpam-1944	70	6	υ	υ	NOUN
ejpam-1944	70	7	:	:	PUNCT
ejpam-1944	70	8	k	k	PROPN
ejpam-1944	70	9	→	→	SYM
ejpam-1944	70	10	j	j	PROPN
ejpam-1944	70	11	in	in	ADP
ejpam-1944	70	12	b	b	PROPN
ejpam-1944	70	13	and	and	CCONJ
ejpam-1944	70	14	z	z	PROPN
ejpam-1944	70	15	∈	∈	PROPN
ejpam-1944	70	16	xk	xk	X
ejpam-1944	70	17	there	there	PRON
ejpam-1944	70	18	is	be	VERB
ejpam-1944	70	19	a	a	DET
ejpam-1944	70	20	cartesian	cartesian	ADJ
ejpam-1944	70	21	morphism	morphism	NOUN
ejpam-1944	70	22	ψ	ψ	NOUN
ejpam-1944	70	23	:	:	PUNCT
ejpam-1944	70	24	z	z	X
ejpam-1944	70	25	→	→	SYM
ejpam-1944	70	26	z	z	NOUN
ejpam-1944	70	27	′	′	NOUN
ejpam-1944	70	28	over	over	ADP
ejpam-1944	70	29	υ	υ	NOUN
ejpam-1944	70	30	:	:	PUNCT
ejpam-1944	70	31	such	such	DET
ejpam-1944	70	32	a	a	DET
ejpam-1944	70	33	ψ	ψ	NOUN
ejpam-1944	70	34	is	be	AUX
ejpam-1944	70	35	called	call	VERB
ejpam-1944	70	36	a	a	DET
ejpam-1944	70	37	cocartesian	cocartesian	NOUN
ejpam-1944	70	38	lifting	lifting	NOUN
ejpam-1944	70	39	of	of	ADP
ejpam-1944	70	40	x	x	PUNCT
ejpam-1944	70	41	along	along	ADP
ejpam-1944	70	42	υ	υ	PROPN
ejpam-1944	70	43	.	.	PUNCT
ejpam-1944	70	44	proposition	proposition	NOUN
ejpam-1944	70	45	1	1	NUM
ejpam-1944	70	46	.	.	PUNCT
ejpam-1944	71	1	let	let	VERB
ejpam-1944	71	2	φ	φ	PROPN
ejpam-1944	71	3	:	:	PUNCT
ejpam-1944	71	4	x→	x→	PUNCT
ejpam-1944	72	1	b	b	X
ejpam-1944	72	2	be	be	AUX
ejpam-1944	72	3	a	a	DET
ejpam-1944	72	4	fibration	fibration	NOUN
ejpam-1944	72	5	of	of	ADP
ejpam-1944	72	6	categories	category	NOUN
ejpam-1944	72	7	.	.	PUNCT
ejpam-1944	73	1	thenψ	thenψ	NOUN
ejpam-1944	73	2	:	:	PUNCT
ejpam-1944	74	1	z	z	X
ejpam-1944	74	2	→	→	SYM
ejpam-1944	74	3	y	y	PROPN
ejpam-1944	74	4	in	in	ADP
ejpam-1944	74	5	x	x	PUNCT
ejpam-1944	74	6	over	over	ADP
ejpam-1944	74	7	υ	υ	NOUN
ejpam-1944	74	8	:	:	PUNCT
ejpam-1944	74	9	k	k	PROPN
ejpam-1944	74	10	→	→	SYM
ejpam-1944	74	11	j	j	PROPN
ejpam-1944	74	12	in	in	ADP
ejpam-1944	74	13	b	b	PROPN
ejpam-1944	74	14	is	be	AUX
ejpam-1944	74	15	cocartesian	cocartesian	ADJ
ejpam-1944	74	16	if	if	SCONJ
ejpam-1944	74	17	and	and	CCONJ
ejpam-1944	74	18	only	only	ADV
ejpam-1944	74	19	if	if	SCONJ
ejpam-1944	74	20	for	for	ADP
ejpam-1944	74	21	all	all	DET
ejpam-1944	74	22	θ	θ	NOUN
ejpam-1944	74	23	′	′	NUM
ejpam-1944	74	24	:	:	PUNCT
ejpam-1944	75	1	z	z	X
ejpam-1944	75	2	→	→	PUNCT
ejpam-1944	75	3	x	x	SYM
ejpam-1944	75	4	′	′	NOUN
ejpam-1944	75	5	over	over	ADP
ejpam-1944	75	6	υ	υ	NOUN
ejpam-1944	75	7	there	there	PRON
ejpam-1944	75	8	is	be	VERB
ejpam-1944	75	9	a	a	DET
ejpam-1944	75	10	unique	unique	ADJ
ejpam-1944	75	11	morphism	morphism	NOUN
ejpam-1944	75	12	ψ′	ψ′	PUNCT
ejpam-1944	75	13	:	:	PUNCT
ejpam-1944	75	14	y	y	X
ejpam-1944	75	15	→	→	PUNCT
ejpam-1944	75	16	x	x	SYM
ejpam-1944	75	17	′	′	NOUN
ejpam-1944	75	18	in	in	ADP
ejpam-1944	75	19	xj	xj	PROPN
ejpam-1944	75	20	with	with	ADP
ejpam-1944	75	21	θ	θ	PROPN
ejpam-1944	75	22	′	′	NUM
ejpam-1944	76	1	=	=	PUNCT
ejpam-1944	76	2	ψ′ψ	ψ′ψ	NOUN
ejpam-1944	76	3	.	.	PUNCT
ejpam-1944	77	1	corollary	corollary	ADJ
ejpam-1944	77	2	1	1	NUM
ejpam-1944	77	3	.	.	PUNCT
ejpam-1944	78	1	let	let	VERB
ejpam-1944	78	2	φ	φ	PROPN
ejpam-1944	78	3	:	:	PUNCT
ejpam-1944	78	4	x→	x→	PUNCT
ejpam-1944	79	1	b	b	X
ejpam-1944	79	2	be	be	AUX
ejpam-1944	79	3	a	a	DET
ejpam-1944	79	4	fibration	fibration	NOUN
ejpam-1944	79	5	of	of	ADP
ejpam-1944	79	6	categories	category	NOUN
ejpam-1944	79	7	which	which	PRON
ejpam-1944	79	8	has	have	VERB
ejpam-1944	79	9	a	a	DET
ejpam-1944	79	10	left	left	ADJ
ejpam-1944	79	11	adjoint	adjoint	NOUN
ejpam-1944	79	12	and	and	CCONJ
ejpam-1944	79	13	suppose	suppose	VERB
ejpam-1944	79	14	that	that	SCONJ
ejpam-1944	79	15	x	x	PRON
ejpam-1944	79	16	admits	admit	VERB
ejpam-1944	79	17	pushouts	pushout	NOUN
ejpam-1944	79	18	.	.	PUNCT
ejpam-1944	80	1	then	then	ADV
ejpam-1944	80	2	φ	φ	PROPN
ejpam-1944	80	3	is	be	AUX
ejpam-1944	80	4	also	also	ADV
ejpam-1944	80	5	a	a	DET
ejpam-1944	80	6	cofibration	cofibration	NOUN
ejpam-1944	80	7	.	.	PUNCT
ejpam-1944	81	1	for	for	ADP
ejpam-1944	81	2	detailed	detailed	ADJ
ejpam-1944	81	3	information	information	NOUN
ejpam-1944	81	4	about	about	ADP
ejpam-1944	81	5	bifibration	bifibration	NOUN
ejpam-1944	81	6	categories	category	NOUN
ejpam-1944	81	7	we	we	PRON
ejpam-1944	81	8	advise	advise	VERB
ejpam-1944	81	9	carefull	carefull	ADJ
ejpam-1944	81	10	reading	reading	NOUN
ejpam-1944	81	11	of	of	ADP
ejpam-1944	81	12	t.streicher	t.streicher	NUM
ejpam-1944	82	1	[	[	X
ejpam-1944	82	2	11	11	NUM
ejpam-1944	82	3	]	]	PUNCT
ejpam-1944	82	4	.	.	PUNCT
ejpam-1944	83	1	4	4	X
ejpam-1944	83	2	.	.	X
ejpam-1944	83	3	nil(n)-modules	nil(n)-module	NOUN
ejpam-1944	83	4	bifibred	bifibre	VERB
ejpam-1944	83	5	over	over	ADP
ejpam-1944	83	6	groups	group	NOUN
ejpam-1944	83	7	proposition	proposition	NOUN
ejpam-1944	83	8	2	2	X
ejpam-1944	83	9	.	.	PUNCT
ejpam-1944	84	1	we	we	PRON
ejpam-1944	84	2	have	have	VERB
ejpam-1944	84	3	a	a	DET
ejpam-1944	84	4	forgetful	forgetful	ADJ
ejpam-1944	84	5	functor	functor	NOUN
ejpam-1944	84	6	φn	φn	NOUN
ejpam-1944	84	7	:	:	PUNCT
ejpam-1944	84	8	nil(n)→	nil(n)→	PROPN
ejpam-1944	84	9	grp	grp	PROPN
ejpam-1944	84	10	in	in	ADP
ejpam-1944	84	11	which	which	PRON
ejpam-1944	84	12	(	(	PUNCT
ejpam-1944	84	13	m	m	NOUN
ejpam-1944	84	14	→	→	SYM
ejpam-1944	84	15	n	n	CCONJ
ejpam-1944	84	16	)	)	PUNCT
ejpam-1944	84	17	−→	−→	NOUN
ejpam-1944	84	18	n.	n.	NOUN
ejpam-1944	84	19	this	this	DET
ejpam-1944	84	20	forgetful	forgetful	ADJ
ejpam-1944	84	21	functor	functor	NOUN
ejpam-1944	84	22	is	be	AUX
ejpam-1944	84	23	fibred	fibre	VERB
ejpam-1944	84	24	.	.	PUNCT
ejpam-1944	85	1	suppose	suppose	VERB
ejpam-1944	85	2	that	that	SCONJ
ejpam-1944	85	3	∂	∂	NOUN
ejpam-1944	85	4	:	:	PUNCT
ejpam-1944	85	5	m	m	PROPN
ejpam-1944	85	6	→q	→q	PUNCT
ejpam-1944	85	7	is	be	AUX
ejpam-1944	85	8	a	a	DET
ejpam-1944	85	9	nil(n)-module	nil(n)-module	NOUN
ejpam-1944	85	10	and	and	CCONJ
ejpam-1944	85	11	σ	σ	NOUN
ejpam-1944	85	12	:	:	PUNCT
ejpam-1944	85	13	p	p	X
ejpam-1944	85	14	→q	→q	PUNCT
ejpam-1944	85	15	is	be	AUX
ejpam-1944	85	16	a	a	DET
ejpam-1944	85	17	homomorphism	homomorphism	NOUN
ejpam-1944	85	18	of	of	ADP
ejpam-1944	85	19	groups	group	NOUN
ejpam-1944	85	20	.	.	PUNCT
ejpam-1944	86	1	take	take	VERB
ejpam-1944	86	2	σ∗(m	σ∗(m	PROPN
ejpam-1944	86	3	)	)	PUNCT
ejpam-1944	87	1	=	=	PRON
ejpam-1944	87	2	{	{	PUNCT
ejpam-1944	87	3	(	(	PUNCT
ejpam-1944	87	4	p	p	X
ejpam-1944	87	5	,	,	PUNCT
ejpam-1944	87	6	m	m	PROPN
ejpam-1944	87	7	)	)	PUNCT
ejpam-1944	87	8	:	:	PUNCT
ejpam-1944	87	9	∂	∂	X
ejpam-1944	87	10	(	(	PUNCT
ejpam-1944	87	11	m	m	NOUN
ejpam-1944	87	12	)	)	PUNCT
ejpam-1944	87	13	=	=	SYM
ejpam-1944	87	14	σ(p	σ(p	PROPN
ejpam-1944	87	15	)	)	PUNCT
ejpam-1944	87	16	}	}	PUNCT
ejpam-1944	87	17	as	as	ADP
ejpam-1944	87	18	the	the	DET
ejpam-1944	87	19	fiber	fiber	NOUN
ejpam-1944	87	20	product	product	NOUN
ejpam-1944	87	21	of	of	ADP
ejpam-1944	87	22	∂	∂	NUM
ejpam-1944	87	23	and	and	CCONJ
ejpam-1944	87	24	σ	σ	PROPN
ejpam-1944	87	25	.	.	PUNCT
ejpam-1944	88	1	thus	thus	ADV
ejpam-1944	88	2	we	we	PRON
ejpam-1944	88	3	have	have	VERB
ejpam-1944	88	4	the	the	DET
ejpam-1944	88	5	following	follow	VERB
ejpam-1944	88	6	pullback	pullback	NOUN
ejpam-1944	88	7	diagram	diagram	NOUN
ejpam-1944	88	8	σ∗(m	σ∗(m	PROPN
ejpam-1944	88	9	)	)	PUNCT
ejpam-1944	88	10	β1	β1	PROPN
ejpam-1944	88	11	�	�	PROPN
ejpam-1944	88	12	�	�	PROPN
ejpam-1944	88	13	σ1	σ1	PROPN
ejpam-1944	88	14	//	//	PROPN
ejpam-1944	88	15	m	m	PROPN
ejpam-1944	88	16	∂	∂	NUM
ejpam-1944	88	17	�	�	PROPN
ejpam-1944	88	18	�	�	PROPN
ejpam-1944	88	19	p	p	PROPN
ejpam-1944	88	20	σ	σ	PROPN
ejpam-1944	88	21	//	//	X
ejpam-1944	88	22	q	q	X
ejpam-1944	88	23	(	(	PUNCT
ejpam-1944	88	24	1	1	NUM
ejpam-1944	88	25	)	)	PUNCT
ejpam-1944	88	26	where	where	SCONJ
ejpam-1944	88	27	σ1	σ1	NOUN
ejpam-1944	88	28	:	:	PUNCT
ejpam-1944	88	29	σ∗(m)→	σ∗(m)→	CCONJ
ejpam-1944	88	30	p	p	NOUN
ejpam-1944	88	31	is	be	AUX
ejpam-1944	88	32	given	give	VERB
ejpam-1944	88	33	by	by	ADP
ejpam-1944	88	34	σ1(p	σ1(p	PROPN
ejpam-1944	88	35	,	,	PUNCT
ejpam-1944	88	36	m	m	NOUN
ejpam-1944	88	37	)	)	PUNCT
ejpam-1944	88	38	=	=	SYM
ejpam-1944	88	39	m	m	NOUN
ejpam-1944	88	40	and	and	CCONJ
ejpam-1944	88	41	β1	β1	PROPN
ejpam-1944	88	42	:	:	PUNCT
ejpam-1944	88	43	σ∗(m)→	σ∗(m)→	CCONJ
ejpam-1944	88	44	p	p	NOUN
ejpam-1944	88	45	is	be	AUX
ejpam-1944	88	46	given	give	VERB
ejpam-1944	88	47	by	by	ADP
ejpam-1944	88	48	β1(p	β1(p	PROPN
ejpam-1944	88	49	,	,	PUNCT
ejpam-1944	88	50	m	m	NOUN
ejpam-1944	88	51	)	)	PUNCT
ejpam-1944	89	1	=	=	SYM
ejpam-1944	89	2	p	p	NOUN
ejpam-1944	89	3	for	for	ADP
ejpam-1944	89	4	all	all	DET
ejpam-1944	89	5	(	(	PUNCT
ejpam-1944	89	6	p	p	X
ejpam-1944	89	7	,	,	PUNCT
ejpam-1944	89	8	m	m	NOUN
ejpam-1944	89	9	)	)	PUNCT
ejpam-1944	89	10	∈	∈	PROPN
ejpam-1944	89	11	σ∗(m	σ∗(m	PROPN
ejpam-1944	89	12	)	)	PUNCT
ejpam-1944	89	13	.	.	PUNCT
ejpam-1944	90	1	the	the	DET
ejpam-1944	90	2	action	action	NOUN
ejpam-1944	90	3	of	of	ADP
ejpam-1944	90	4	p′	p′	NOUN
ejpam-1944	90	5	∈	∈	NOUN
ejpam-1944	90	6	p	p	NOUN
ejpam-1944	90	7	on	on	ADP
ejpam-1944	90	8	(	(	PUNCT
ejpam-1944	90	9	p	p	X
ejpam-1944	90	10	,	,	PUNCT
ejpam-1944	90	11	m	m	NOUN
ejpam-1944	90	12	)	)	PUNCT
ejpam-1944	90	13	∈	∈	PROPN
ejpam-1944	90	14	σ∗(m	σ∗(m	PROPN
ejpam-1944	90	15	)	)	PUNCT
ejpam-1944	90	16	can	can	AUX
ejpam-1944	90	17	be	be	AUX
ejpam-1944	90	18	given	give	VERB
ejpam-1944	90	19	by	by	ADP
ejpam-1944	90	20	(	(	PUNCT
ejpam-1944	90	21	p	p	X
ejpam-1944	90	22	,	,	PUNCT
ejpam-1944	90	23	m)p	m)p	X
ejpam-1944	90	24	′	′	NUM
ejpam-1944	91	1	=	=	SYM
ejpam-1944	91	2	(	(	PUNCT
ejpam-1944	91	3	p′−1pp′	p′−1pp′	ADV
ejpam-1944	91	4	,	,	PUNCT
ejpam-1944	91	5	mσ(p	mσ(p	NOUN
ejpam-1944	91	6	′	′	NOUN
ejpam-1944	91	7	)	)	PUNCT
ejpam-1944	91	8	)	)	PUNCT
ejpam-1944	91	9	.	.	PUNCT
ejpam-1944	92	1	h.	h.	PROPN
ejpam-1944	92	2	atik	atik	PROPN
ejpam-1944	92	3	/	/	SYM
ejpam-1944	92	4	eur	eur	PROPN
ejpam-1944	92	5	.	.	PUNCT
ejpam-1944	93	1	j.	j.	PROPN
ejpam-1944	93	2	pure	pure	PROPN
ejpam-1944	93	3	appl	appl	PROPN
ejpam-1944	93	4	.	.	PROPN
ejpam-1944	93	5	math	math	PROPN
ejpam-1944	93	6	,	,	PUNCT
ejpam-1944	93	7	6	6	NUM
ejpam-1944	93	8	(	(	PUNCT
ejpam-1944	93	9	2013	2013	NUM
ejpam-1944	93	10	)	)	PUNCT
ejpam-1944	93	11	,	,	PUNCT
ejpam-1944	93	12	428	428	X
ejpam-1944	93	13	-	-	SYM
ejpam-1944	93	14	434	434	NUM
ejpam-1944	93	15	431	431	NUM
ejpam-1944	93	16	this	this	DET
ejpam-1944	93	17	action	action	NOUN
ejpam-1944	93	18	obviously	obviously	ADV
ejpam-1944	93	19	is	be	AUX
ejpam-1944	93	20	a	a	DET
ejpam-1944	93	21	group	group	NOUN
ejpam-1944	93	22	action	action	NOUN
ejpam-1944	93	23	of	of	ADP
ejpam-1944	93	24	p	p	PROPN
ejpam-1944	93	25	onσ∗(m	onσ∗(m	PROPN
ejpam-1944	93	26	)	)	PUNCT
ejpam-1944	93	27	and	and	CCONJ
ejpam-1944	93	28	according	accord	VERB
ejpam-1944	93	29	to	to	ADP
ejpam-1944	93	30	this	this	DET
ejpam-1944	93	31	action	action	NOUN
ejpam-1944	93	32	,	,	PUNCT
ejpam-1944	93	33	β1	β1	PROPN
ejpam-1944	93	34	becomes	become	VERB
ejpam-1944	93	35	a	a	DET
ejpam-1944	93	36	nil(n)-module	nil(n)-module	NOUN
ejpam-1944	93	37	.	.	PUNCT
ejpam-1944	94	1	indeed	indeed	ADV
ejpam-1944	94	2	,	,	PUNCT
ejpam-1944	94	3	β1	β1	PROPN
ejpam-1944	94	4	is	be	AUX
ejpam-1944	94	5	a	a	DET
ejpam-1944	94	6	pre	pre	ADJ
ejpam-1944	94	7	-	-	ADJ
ejpam-1944	94	8	crossed	crossed	ADJ
ejpam-1944	94	9	module	module	NOUN
ejpam-1944	94	10	since	since	SCONJ
ejpam-1944	94	11	for	for	ADP
ejpam-1944	94	12	all	all	DET
ejpam-1944	94	13	(	(	PUNCT
ejpam-1944	94	14	p	p	X
ejpam-1944	94	15	,	,	PUNCT
ejpam-1944	94	16	m	m	NOUN
ejpam-1944	94	17	)	)	PUNCT
ejpam-1944	94	18	∈	∈	PROPN
ejpam-1944	94	19	σ∗(m	σ∗(m	PROPN
ejpam-1944	94	20	)	)	PUNCT
ejpam-1944	94	21	,	,	PUNCT
ejpam-1944	94	22	β1((p	β1((p	NOUN
ejpam-1944	94	23	,	,	PUNCT
ejpam-1944	94	24	m)p	m)p	X
ejpam-1944	94	25	′	′	NUM
ejpam-1944	94	26	)	)	PUNCT
ejpam-1944	95	1	=	=	PUNCT
ejpam-1944	95	2	β1(p	β1(p	PUNCT
ejpam-1944	95	3	′−1pp′	′−1pp′	NOUN
ejpam-1944	95	4	,	,	PUNCT
ejpam-1944	95	5	mσ(p	mσ(p	NOUN
ejpam-1944	95	6	′	′	NOUN
ejpam-1944	95	7	)	)	PUNCT
ejpam-1944	95	8	)	)	PUNCT
ejpam-1944	96	1	=	=	PUNCT
ejpam-1944	97	1	p′−1pp′	p′−1pp′	NOUN
ejpam-1944	97	2	=	=	SYM
ejpam-1944	97	3	p′−1β1(p	p′−1β1(p	NOUN
ejpam-1944	97	4	,	,	PUNCT
ejpam-1944	97	5	m)p′.	m)p′.	ADP
ejpam-1944	97	6	moreover	moreover	ADV
ejpam-1944	97	7	,	,	PUNCT
ejpam-1944	97	8	for	for	ADP
ejpam-1944	97	9	(	(	PUNCT
ejpam-1944	97	10	p1	p1	NOUN
ejpam-1944	97	11	,	,	PUNCT
ejpam-1944	97	12	m1	m1	PROPN
ejpam-1944	97	13	)	)	PUNCT
ejpam-1944	97	14	,	,	PUNCT
ejpam-1944	97	15	(	(	PUNCT
ejpam-1944	97	16	p2	p2	PROPN
ejpam-1944	97	17	,	,	PUNCT
ejpam-1944	97	18	m2	m2	PROPN
ejpam-1944	97	19	)	)	PUNCT
ejpam-1944	97	20	,	,	PUNCT
ejpam-1944	97	21	.	.	PUNCT
ejpam-1944	97	22	.	.	PUNCT
ejpam-1944	97	23	.	.	PUNCT
ejpam-1944	98	1	,	,	PUNCT
ejpam-1944	98	2	(	(	PUNCT
ejpam-1944	98	3	pn	pn	PROPN
ejpam-1944	98	4	,	,	PUNCT
ejpam-1944	98	5	mn	mn	PROPN
ejpam-1944	98	6	)	)	PUNCT
ejpam-1944	98	7	∈	∈	PROPN
ejpam-1944	98	8	σ∗(m	σ∗(m	PROPN
ejpam-1944	98	9	)	)	PUNCT
ejpam-1944	98	10	,	,	PUNCT
ejpam-1944	98	11	we	we	PRON
ejpam-1944	98	12	have	have	VERB
ejpam-1944	98	13	〈	〈	PROPN
ejpam-1944	98	14	.	.	PROPN
ejpam-1944	98	15	.	.	PUNCT
ejpam-1944	99	1	.〈〈(p1	.〈〈(p1	NOUN
ejpam-1944	99	2	,	,	PUNCT
ejpam-1944	99	3	m1	m1	PROPN
ejpam-1944	99	4	)	)	PUNCT
ejpam-1944	99	5	,	,	PUNCT
ejpam-1944	99	6	(	(	PUNCT
ejpam-1944	99	7	p2	p2	PROPN
ejpam-1944	99	8	,	,	PUNCT
ejpam-1944	99	9	m2	m2	PROPN
ejpam-1944	99	10	)	)	PUNCT
ejpam-1944	99	11	〉	〉	NOUN
ejpam-1944	99	12	,	,	PUNCT
ejpam-1944	99	13	(	(	PUNCT
ejpam-1944	99	14	p3	p3	PROPN
ejpam-1944	99	15	,	,	PUNCT
ejpam-1944	99	16	m3	m3	PROPN
ejpam-1944	99	17	)	)	PUNCT
ejpam-1944	99	18	〉	〉	NOUN
ejpam-1944	99	19	,	,	PUNCT
ejpam-1944	99	20	.	.	PUNCT
ejpam-1944	99	21	.	.	PUNCT
ejpam-1944	99	22	.	.	PUNCT
ejpam-1944	100	1	〉	〉	NOUN
ejpam-1944	100	2	,	,	PUNCT
ejpam-1944	100	3	(	(	PUNCT
ejpam-1944	100	4	pn	pn	PROPN
ejpam-1944	100	5	,	,	PUNCT
ejpam-1944	100	6	mn	mn	PROPN
ejpam-1944	100	7	)	)	PUNCT
ejpam-1944	100	8	〉	〉	NOUN
ejpam-1944	100	9	=	=	SYM
ejpam-1944	100	10	〈	〈	PROPN
ejpam-1944	100	11	.	.	PROPN
ejpam-1944	100	12	.	.	PUNCT
ejpam-1944	100	13	.	.	PUNCT
ejpam-1944	101	1	〈	〈	PROPN
ejpam-1944	101	2	〈	〈	PROPN
ejpam-1944	101	3	(	(	PUNCT
ejpam-1944	101	4	p1	p1	PROPN
ejpam-1944	101	5	,	,	PUNCT
ejpam-1944	101	6	m1	m1	NOUN
ejpam-1944	101	7	)	)	PUNCT
ejpam-1944	102	1	−1(p2	−1(p2	PROPN
ejpam-1944	102	2	,	,	PUNCT
ejpam-1944	102	3	m2	m2	PROPN
ejpam-1944	102	4	)	)	PUNCT
ejpam-1944	102	5	−1(p1	−1(p1	PROPN
ejpam-1944	102	6	,	,	PUNCT
ejpam-1944	102	7	m1)(p2	m1)(p2	PROPN
ejpam-1944	102	8	,	,	PUNCT
ejpam-1944	102	9	m2	m2	PROPN
ejpam-1944	102	10	)	)	PUNCT
ejpam-1944	102	11	β1(p1,m1	β1(p1,m1	PROPN
ejpam-1944	102	12	)	)	PUNCT
ejpam-1944	102	13	,	,	PUNCT
ejpam-1944	102	14	(	(	PUNCT
ejpam-1944	102	15	p3	p3	PROPN
ejpam-1944	102	16	,	,	PUNCT
ejpam-1944	102	17	m3	m3	PROPN
ejpam-1944	102	18	)	)	PUNCT
ejpam-1944	102	19	〉	〉	NOUN
ejpam-1944	102	20	,	,	PUNCT
ejpam-1944	102	21	(	(	PUNCT
ejpam-1944	102	22	p4	p4	ADJ
ejpam-1944	102	23	,	,	PUNCT
ejpam-1944	102	24	m4	m4	PROPN
ejpam-1944	102	25	)	)	PUNCT
ejpam-1944	102	26	〉	〉	NOUN
ejpam-1944	102	27	,	,	PUNCT
ejpam-1944	102	28	.	.	PUNCT
ejpam-1944	102	29	.	.	PUNCT
ejpam-1944	102	30	.	.	PUNCT
ejpam-1944	103	1	〉	〉	NOUN
ejpam-1944	103	2	,	,	PUNCT
ejpam-1944	103	3	(	(	PUNCT
ejpam-1944	103	4	pn	pn	PROPN
ejpam-1944	103	5	,	,	PUNCT
ejpam-1944	103	6	mn	mn	PROPN
ejpam-1944	103	7	)	)	PUNCT
ejpam-1944	103	8	〉	〉	NOUN
ejpam-1944	103	9	=	=	SYM
ejpam-1944	103	10	〈	〈	PROPN
ejpam-1944	103	11	.	.	PROPN
ejpam-1944	103	12	.	.	PUNCT
ejpam-1944	103	13	.	.	PUNCT
ejpam-1944	104	1	〈	〈	PROPN
ejpam-1944	104	2	〈	〈	PROPN
ejpam-1944	104	3	(	(	PUNCT
ejpam-1944	104	4	p1	p1	PROPN
ejpam-1944	104	5	−1	−1	NOUN
ejpam-1944	104	6	,	,	PUNCT
ejpam-1944	104	7	m1	m1	PROPN
ejpam-1944	104	8	−1)(p2	−1)(p2	PROPN
ejpam-1944	104	9	−1	−1	NOUN
ejpam-1944	104	10	,	,	PUNCT
ejpam-1944	104	11	m2	m2	PROPN
ejpam-1944	104	12	−1)(p1	−1)(p1	PROPN
ejpam-1944	104	13	,	,	PUNCT
ejpam-1944	104	14	m1)(p2	m1)(p2	PROPN
ejpam-1944	104	15	,	,	PUNCT
ejpam-1944	104	16	m2	m2	PROPN
ejpam-1944	104	17	)	)	PUNCT
ejpam-1944	104	18	p1	p1	NOUN
ejpam-1944	104	19	,	,	PUNCT
ejpam-1944	104	20	(	(	PUNCT
ejpam-1944	104	21	p3	p3	PROPN
ejpam-1944	104	22	,	,	PUNCT
ejpam-1944	104	23	m3	m3	PROPN
ejpam-1944	104	24	)	)	PUNCT
ejpam-1944	104	25	〉	〉	NOUN
ejpam-1944	104	26	,	,	PUNCT
ejpam-1944	104	27	(	(	PUNCT
ejpam-1944	104	28	p4	p4	ADJ
ejpam-1944	104	29	,	,	PUNCT
ejpam-1944	104	30	m4	m4	PROPN
ejpam-1944	104	31	)	)	PUNCT
ejpam-1944	104	32	〉	〉	NOUN
ejpam-1944	104	33	.	.	PUNCT
ejpam-1944	104	34	.	.	PUNCT
ejpam-1944	104	35	.	.	PUNCT
ejpam-1944	105	1	〉	〉	NOUN
ejpam-1944	105	2	,	,	PUNCT
ejpam-1944	105	3	(	(	PUNCT
ejpam-1944	105	4	pn	pn	PROPN
ejpam-1944	105	5	,	,	PUNCT
ejpam-1944	105	6	mn	mn	PROPN
ejpam-1944	105	7	)	)	PUNCT
ejpam-1944	105	8	〉	〉	NOUN
ejpam-1944	105	9	=	=	SYM
ejpam-1944	105	10	〈	〈	PROPN
ejpam-1944	105	11	.	.	PROPN
ejpam-1944	105	12	.	.	PUNCT
ejpam-1944	105	13	.	.	PUNCT
ejpam-1944	106	1	〈	〈	PROPN
ejpam-1944	106	2	〈	〈	PROPN
ejpam-1944	106	3	(	(	PUNCT
ejpam-1944	106	4	1	1	NUM
ejpam-1944	106	5	,	,	PUNCT
ejpam-1944	106	6	m1	m1	PROPN
ejpam-1944	106	7	−1m2	−1m2	NUM
ejpam-1944	106	8	−1m1m2	−1m1m2	PROPN
ejpam-1944	106	9	σ(p1	σ(p1	PROPN
ejpam-1944	106	10	)	)	PUNCT
ejpam-1944	106	11	)	)	PUNCT
ejpam-1944	106	12	,	,	PUNCT
ejpam-1944	106	13	(	(	PUNCT
ejpam-1944	106	14	p3	p3	PROPN
ejpam-1944	106	15	,	,	PUNCT
ejpam-1944	106	16	m3	m3	PROPN
ejpam-1944	106	17	)	)	PUNCT
ejpam-1944	106	18	〉	〉	NOUN
ejpam-1944	106	19	,	,	PUNCT
ejpam-1944	106	20	(	(	PUNCT
ejpam-1944	106	21	p4	p4	ADJ
ejpam-1944	106	22	,	,	PUNCT
ejpam-1944	106	23	m4	m4	PROPN
ejpam-1944	106	24	)	)	PUNCT
ejpam-1944	106	25	〉	〉	NOUN
ejpam-1944	106	26	.	.	PUNCT
ejpam-1944	106	27	.	.	PUNCT
ejpam-1944	106	28	.	.	PUNCT
ejpam-1944	107	1	〉	〉	NOUN
ejpam-1944	107	2	,	,	PUNCT
ejpam-1944	107	3	(	(	PUNCT
ejpam-1944	107	4	pn	pn	PROPN
ejpam-1944	107	5	,	,	PUNCT
ejpam-1944	107	6	mn	mn	PROPN
ejpam-1944	107	7	)	)	PUNCT
ejpam-1944	107	8	〉	〉	NOUN
ejpam-1944	107	9	=	=	SYM
ejpam-1944	107	10	〈	〈	PROPN
ejpam-1944	107	11	.	.	PROPN
ejpam-1944	107	12	.	.	PUNCT
ejpam-1944	107	13	.	.	PUNCT
ejpam-1944	108	1	〈	〈	PROPN
ejpam-1944	108	2	〈	〈	PROPN
ejpam-1944	108	3	(	(	PUNCT
ejpam-1944	108	4	1	1	NUM
ejpam-1944	108	5	,	,	PUNCT
ejpam-1944	108	6	m1	m1	PROPN
ejpam-1944	108	7	−1m2	−1m2	X
ejpam-1944	108	8	−1m1m2	−1m1m2	PROPN
ejpam-1944	108	9	∂	∂	X
ejpam-1944	108	10	(	(	PUNCT
ejpam-1944	108	11	m1	m1	NOUN
ejpam-1944	108	12	)	)	PUNCT
ejpam-1944	108	13	)	)	PUNCT
ejpam-1944	108	14	,	,	PUNCT
ejpam-1944	108	15	(	(	PUNCT
ejpam-1944	108	16	p3	p3	PROPN
ejpam-1944	108	17	,	,	PUNCT
ejpam-1944	108	18	m3	m3	PROPN
ejpam-1944	108	19	)	)	PUNCT
ejpam-1944	108	20	〉	〉	NOUN
ejpam-1944	108	21	,	,	PUNCT
ejpam-1944	108	22	(	(	PUNCT
ejpam-1944	108	23	p4	p4	ADJ
ejpam-1944	108	24	,	,	PUNCT
ejpam-1944	108	25	m4	m4	PROPN
ejpam-1944	108	26	)	)	PUNCT
ejpam-1944	108	27	〉	〉	NOUN
ejpam-1944	108	28	.	.	PUNCT
ejpam-1944	108	29	.	.	PUNCT
ejpam-1944	108	30	.	.	PUNCT
ejpam-1944	109	1	〉	〉	NOUN
ejpam-1944	109	2	,	,	PUNCT
ejpam-1944	109	3	(	(	PUNCT
ejpam-1944	109	4	pn	pn	PROPN
ejpam-1944	109	5	,	,	PUNCT
ejpam-1944	109	6	mn	mn	PROPN
ejpam-1944	109	7	)	)	PUNCT
ejpam-1944	109	8	〉	〉	NOUN
ejpam-1944	109	9	=	=	SYM
ejpam-1944	109	10	〈	〈	PROPN
ejpam-1944	109	11	.	.	PROPN
ejpam-1944	109	12	.	.	PUNCT
ejpam-1944	109	13	.	.	PUNCT
ejpam-1944	110	1	〈	〈	PROPN
ejpam-1944	110	2	(	(	PUNCT
ejpam-1944	110	3	1	1	NUM
ejpam-1944	110	4	,	,	PUNCT
ejpam-1944	110	5	m1	m1	PROPN
ejpam-1944	110	6	−1m2	−1m2	X
ejpam-1944	110	7	−1m1m2	−1m1m2	PROPN
ejpam-1944	110	8	∂	∂	X
ejpam-1944	110	9	(	(	PUNCT
ejpam-1944	110	10	m1	m1	NOUN
ejpam-1944	110	11	)	)	PUNCT
ejpam-1944	110	12	)	)	PUNCT
ejpam-1944	110	13	−1	−1	NOUN
ejpam-1944	110	14	(	(	PUNCT
ejpam-1944	110	15	p3	p3	PROPN
ejpam-1944	110	16	−1	−1	NOUN
ejpam-1944	110	17	,	,	PUNCT
ejpam-1944	110	18	m3	m3	PROPN
ejpam-1944	110	19	−1	−1	NOUN
ejpam-1944	110	20	)	)	PUNCT
ejpam-1944	110	21	,	,	PUNCT
ejpam-1944	110	22	(	(	PUNCT
ejpam-1944	110	23	1	1	NUM
ejpam-1944	110	24	,	,	PUNCT
ejpam-1944	110	25	m1	m1	PROPN
ejpam-1944	110	26	−1m2	−1m2	X
ejpam-1944	111	1	−1m1m2	−1m1m2	PROPN
ejpam-1944	111	2	∂	∂	X
ejpam-1944	111	3	(	(	PUNCT
ejpam-1944	111	4	m1))(p3	m1))(p3	PROPN
ejpam-1944	111	5	,	,	PUNCT
ejpam-1944	111	6	m3	m3	PROPN
ejpam-1944	111	7	)	)	PUNCT
ejpam-1944	111	8	β1(1,m1	β1(1,m1	PUNCT
ejpam-1944	111	9	−1m2	−1m2	NUM
ejpam-1944	111	10	−1m1m2	−1m1m2	PROPN
ejpam-1944	111	11	∂	∂	X
ejpam-1944	111	12	(	(	PUNCT
ejpam-1944	111	13	m1	m1	NOUN
ejpam-1944	111	14	)	)	PUNCT
ejpam-1944	111	15	)	)	PUNCT
ejpam-1944	111	16	,	,	PUNCT
ejpam-1944	111	17	(	(	PUNCT
ejpam-1944	111	18	p4	p4	ADJ
ejpam-1944	111	19	,	,	PUNCT
ejpam-1944	111	20	m4	m4	PROPN
ejpam-1944	111	21	)	)	PUNCT
ejpam-1944	111	22	〉	〉	NOUN
ejpam-1944	111	23	.	.	PUNCT
ejpam-1944	111	24	.	.	PUNCT
ejpam-1944	111	25	.	.	PUNCT
ejpam-1944	112	1	〉	〉	NOUN
ejpam-1944	112	2	,	,	PUNCT
ejpam-1944	112	3	(	(	PUNCT
ejpam-1944	112	4	pn	pn	PROPN
ejpam-1944	112	5	,	,	PUNCT
ejpam-1944	112	6	mn	mn	PROPN
ejpam-1944	112	7	)	)	PUNCT
ejpam-1944	112	8	〉	〉	NOUN
ejpam-1944	112	9	=	=	SYM
ejpam-1944	112	10	〈	〈	PROPN
ejpam-1944	112	11	.	.	PROPN
ejpam-1944	112	12	.	.	PUNCT
ejpam-1944	112	13	.	.	PUNCT
ejpam-1944	113	1	〈	〈	PROPN
ejpam-1944	113	2	(	(	PUNCT
ejpam-1944	113	3	1	1	NUM
ejpam-1944	113	4	,	,	PUNCT
ejpam-1944	113	5	m2	m2	PROPN
ejpam-1944	113	6	∂	∂	PROPN
ejpam-1944	113	7	(	(	PUNCT
ejpam-1944	113	8	m1	m1	NOUN
ejpam-1944	113	9	)	)	PUNCT
ejpam-1944	113	10	−1	−1	NOUN
ejpam-1944	113	11	m1	m1	PROPN
ejpam-1944	113	12	−1m2m1)(p3	−1m2m1)(p3	X
ejpam-1944	113	13	−1	−1	NOUN
ejpam-1944	113	14	,	,	PUNCT
ejpam-1944	113	15	m3	m3	PROPN
ejpam-1944	113	16	−1)(1	−1)(1	PROPN
ejpam-1944	113	17	,	,	PUNCT
ejpam-1944	113	18	m1	m1	PROPN
ejpam-1944	113	19	−1m2	−1m2	X
ejpam-1944	113	20	−1m1m2	−1m1m2	PROPN
ejpam-1944	113	21	∂	∂	X
ejpam-1944	113	22	(	(	PUNCT
ejpam-1944	113	23	m1	m1	NOUN
ejpam-1944	113	24	)	)	PUNCT
ejpam-1944	113	25	)	)	PUNCT
ejpam-1944	113	26	(	(	PUNCT
ejpam-1944	113	27	p3	p3	PROPN
ejpam-1944	113	28	,	,	PUNCT
ejpam-1944	113	29	m3	m3	PROPN
ejpam-1944	113	30	)	)	PUNCT
ejpam-1944	113	31	,	,	PUNCT
ejpam-1944	113	32	(	(	PUNCT
ejpam-1944	113	33	p4	p4	ADJ
ejpam-1944	113	34	,	,	PUNCT
ejpam-1944	113	35	m4	m4	PROPN
ejpam-1944	113	36	)	)	PUNCT
ejpam-1944	113	37	〉	〉	NOUN
ejpam-1944	113	38	.	.	PUNCT
ejpam-1944	113	39	.	.	PUNCT
ejpam-1944	113	40	.	.	PUNCT
ejpam-1944	114	1	〉	〉	NOUN
ejpam-1944	114	2	,	,	PUNCT
ejpam-1944	114	3	(	(	PUNCT
ejpam-1944	114	4	pn	pn	PROPN
ejpam-1944	114	5	,	,	PUNCT
ejpam-1944	114	6	mn	mn	PROPN
ejpam-1944	114	7	)	)	PUNCT
ejpam-1944	114	8	〉	〉	NOUN
ejpam-1944	114	9	=	=	SYM
ejpam-1944	114	10	〈	〈	PROPN
ejpam-1944	114	11	.	.	PROPN
ejpam-1944	114	12	.	.	PUNCT
ejpam-1944	114	13	.	.	PUNCT
ejpam-1944	115	1	〈	〈	PROPN
ejpam-1944	115	2	(	(	PUNCT
ejpam-1944	115	3	1	1	NUM
ejpam-1944	115	4	,	,	PUNCT
ejpam-1944	115	5	〈	〈	NOUN
ejpam-1944	115	6	m1	m1	NOUN
ejpam-1944	115	7	,	,	PUNCT
ejpam-1944	115	8	m2	m2	PROPN
ejpam-1944	115	9	〉	〉	NOUN
ejpam-1944	115	10	−1)(p3	−1)(p3	PROPN
ejpam-1944	115	11	−1	−1	NOUN
ejpam-1944	115	12	,	,	PUNCT
ejpam-1944	115	13	m3	m3	PROPN
ejpam-1944	115	14	−1)(1	−1)(1	PROPN
ejpam-1944	115	15	,	,	PUNCT
ejpam-1944	115	16	〈	〈	NOUN
ejpam-1944	115	17	m1	m1	NOUN
ejpam-1944	115	18	,	,	PUNCT
ejpam-1944	115	19	m2〉)(p3	m2〉)(p3	X
ejpam-1944	115	20	,	,	PUNCT
ejpam-1944	115	21	m3	m3	PROPN
ejpam-1944	115	22	)	)	PUNCT
ejpam-1944	115	23	,	,	PUNCT
ejpam-1944	115	24	(	(	PUNCT
ejpam-1944	115	25	p4	p4	ADJ
ejpam-1944	115	26	,	,	PUNCT
ejpam-1944	115	27	m4	m4	PROPN
ejpam-1944	115	28	)	)	PUNCT
ejpam-1944	115	29	〉	〉	NOUN
ejpam-1944	115	30	.	.	PUNCT
ejpam-1944	115	31	.	.	PUNCT
ejpam-1944	115	32	.	.	PUNCT
ejpam-1944	116	1	〉	〉	NOUN
ejpam-1944	116	2	,	,	PUNCT
ejpam-1944	116	3	(	(	PUNCT
ejpam-1944	116	4	pn	pn	PROPN
ejpam-1944	116	5	,	,	PUNCT
ejpam-1944	116	6	mn	mn	PROPN
ejpam-1944	116	7	)	)	PUNCT
ejpam-1944	116	8	〉	〉	NOUN
ejpam-1944	116	9	=	=	SYM
ejpam-1944	116	10	〈	〈	PROPN
ejpam-1944	116	11	.	.	PROPN
ejpam-1944	116	12	.	.	PUNCT
ejpam-1944	116	13	.	.	PUNCT
ejpam-1944	117	1	〈	〈	PROPN
ejpam-1944	117	2	(	(	PUNCT
ejpam-1944	117	3	1	1	NUM
ejpam-1944	117	4	,	,	PUNCT
ejpam-1944	117	5	〈	〈	NOUN
ejpam-1944	117	6	m1	m1	NOUN
ejpam-1944	117	7	,	,	PUNCT
ejpam-1944	117	8	m2	m2	PROPN
ejpam-1944	117	9	〉	〉	NOUN
ejpam-1944	117	10	−1m3	−1m3	NUM
ejpam-1944	117	11	−1〈m1	−1〈m1	NOUN
ejpam-1944	117	12	,	,	PUNCT
ejpam-1944	117	13	m2〉m3	m2〉m3	PROPN
ejpam-1944	117	14	)	)	PUNCT
ejpam-1944	117	15	,	,	PUNCT
ejpam-1944	117	16	(	(	PUNCT
ejpam-1944	117	17	p4	p4	ADJ
ejpam-1944	117	18	,	,	PUNCT
ejpam-1944	117	19	m4	m4	PROPN
ejpam-1944	117	20	)	)	PUNCT
ejpam-1944	117	21	〉	〉	NOUN
ejpam-1944	117	22	.	.	PUNCT
ejpam-1944	117	23	.	.	PUNCT
ejpam-1944	117	24	.	.	PUNCT
ejpam-1944	118	1	〉	〉	NOUN
ejpam-1944	118	2	,	,	PUNCT
ejpam-1944	118	3	(	(	PUNCT
ejpam-1944	118	4	pn	pn	PROPN
ejpam-1944	118	5	,	,	PUNCT
ejpam-1944	118	6	mn	mn	PROPN
ejpam-1944	118	7	)	)	PUNCT
ejpam-1944	118	8	〉	〉	NOUN
ejpam-1944	118	9	=	=	SYM
ejpam-1944	118	10	〈	〈	PROPN
ejpam-1944	118	11	.	.	PROPN
ejpam-1944	118	12	.	.	PUNCT
ejpam-1944	118	13	.	.	PUNCT
ejpam-1944	119	1	〈	〈	PROPN
ejpam-1944	119	2	(	(	PUNCT
ejpam-1944	119	3	1	1	NUM
ejpam-1944	119	4	,	,	PUNCT
ejpam-1944	119	5	〈	〈	NOUN
ejpam-1944	119	6	m1	m1	NOUN
ejpam-1944	119	7	,	,	PUNCT
ejpam-1944	119	8	m2	m2	PROPN
ejpam-1944	119	9	〉	〉	NOUN
ejpam-1944	119	10	−1m3	−1m3	NUM
ejpam-1944	119	11	−1〈m1	−1〈m1	NOUN
ejpam-1944	119	12	,	,	PUNCT
ejpam-1944	119	13	m2〉m3	m2〉m3	NOUN
ejpam-1944	119	14	∂1(〈m1,m2	∂1(〈m1,m2	NOUN
ejpam-1944	119	15	〉	〉	NOUN
ejpam-1944	119	16	)	)	PUNCT
ejpam-1944	119	17	)	)	PUNCT
ejpam-1944	119	18	,	,	PUNCT
ejpam-1944	119	19	(	(	PUNCT
ejpam-1944	119	20	p4	p4	ADJ
ejpam-1944	119	21	,	,	PUNCT
ejpam-1944	119	22	m4	m4	PROPN
ejpam-1944	119	23	)	)	PUNCT
ejpam-1944	119	24	〉	〉	NOUN
ejpam-1944	119	25	.	.	PUNCT
ejpam-1944	119	26	.	.	PUNCT
ejpam-1944	119	27	.	.	PUNCT
ejpam-1944	120	1	〉	〉	NOUN
ejpam-1944	120	2	,	,	PUNCT
ejpam-1944	120	3	(	(	PUNCT
ejpam-1944	120	4	pn	pn	PROPN
ejpam-1944	120	5	,	,	PUNCT
ejpam-1944	120	6	mn	mn	PROPN
ejpam-1944	120	7	)	)	PUNCT
ejpam-1944	120	8	〉	〉	NOUN
ejpam-1944	120	9	=	=	SYM
ejpam-1944	120	10	〈	〈	PROPN
ejpam-1944	120	11	.	.	PROPN
ejpam-1944	120	12	.	.	PUNCT
ejpam-1944	120	13	.	.	PUNCT
ejpam-1944	121	1	〈	〈	PROPN
ejpam-1944	121	2	(	(	PUNCT
ejpam-1944	121	3	1	1	NUM
ejpam-1944	121	4	,	,	PUNCT
ejpam-1944	121	5	〈	〈	NOUN
ejpam-1944	121	6	〈	〈	NOUN
ejpam-1944	121	7	m1	m1	NOUN
ejpam-1944	121	8	,	,	PUNCT
ejpam-1944	121	9	m2	m2	PROPN
ejpam-1944	121	10	〉	〉	NOUN
ejpam-1944	121	11	,	,	PUNCT
ejpam-1944	121	12	m3	m3	PROPN
ejpam-1944	121	13	〉	〉	NOUN
ejpam-1944	121	14	)	)	PUNCT
ejpam-1944	121	15	,	,	PUNCT
ejpam-1944	121	16	(	(	PUNCT
ejpam-1944	121	17	p4	p4	ADJ
ejpam-1944	121	18	,	,	PUNCT
ejpam-1944	121	19	m4	m4	PROPN
ejpam-1944	121	20	)	)	PUNCT
ejpam-1944	121	21	〉	〉	NOUN
ejpam-1944	121	22	.	.	PUNCT
ejpam-1944	121	23	.	.	PUNCT
ejpam-1944	121	24	.	.	PUNCT
ejpam-1944	122	1	〉	〉	NOUN
ejpam-1944	122	2	,	,	PUNCT
ejpam-1944	122	3	(	(	PUNCT
ejpam-1944	122	4	pn	pn	PROPN
ejpam-1944	122	5	,	,	PUNCT
ejpam-1944	122	6	mn	mn	PROPN
ejpam-1944	122	7	)	)	PUNCT
ejpam-1944	122	8	〉	〉	NOUN
ejpam-1944	122	9	.	.	PUNCT
ejpam-1944	123	1	if	if	SCONJ
ejpam-1944	123	2	we	we	PRON
ejpam-1944	123	3	continue	continue	VERB
ejpam-1944	123	4	calculations	calculation	NOUN
ejpam-1944	123	5	in	in	ADP
ejpam-1944	123	6	this	this	DET
ejpam-1944	123	7	way	way	NOUN
ejpam-1944	123	8	,	,	PUNCT
ejpam-1944	123	9	we	we	PRON
ejpam-1944	123	10	obtain	obtain	VERB
ejpam-1944	123	11	;	;	PUNCT
ejpam-1944	123	12	(	(	PUNCT
ejpam-1944	123	13	1	1	NUM
ejpam-1944	123	14	,	,	PUNCT
ejpam-1944	123	15	〈	〈	NOUN
ejpam-1944	123	16	m1	m1	NOUN
ejpam-1944	123	17	,	,	PUNCT
ejpam-1944	123	18	m2	m2	PROPN
ejpam-1944	123	19	,	,	PUNCT
ejpam-1944	123	20	m3	m3	PROPN
ejpam-1944	123	21	,	,	PUNCT
ejpam-1944	123	22	.	.	PUNCT
ejpam-1944	123	23	.	.	PUNCT
ejpam-1944	123	24	.	.	PUNCT
ejpam-1944	124	1	mn	mn	PROPN
ejpam-1944	124	2	〉	〉	NOUN
ejpam-1944	124	3	)	)	PUNCT
ejpam-1944	124	4	.	.	PUNCT
ejpam-1944	125	1	since	since	SCONJ
ejpam-1944	125	2	∂1	∂1	NUM
ejpam-1944	125	3	is	be	AUX
ejpam-1944	125	4	a	a	DET
ejpam-1944	125	5	nil(n)module	nil(n)module	NOUN
ejpam-1944	125	6	then	then	ADV
ejpam-1944	125	7	(	(	PUNCT
ejpam-1944	125	8	〈	〈	PROPN
ejpam-1944	125	9	m1	m1	NOUN
ejpam-1944	125	10	,	,	PUNCT
ejpam-1944	125	11	m2	m2	PROPN
ejpam-1944	125	12	,	,	PUNCT
ejpam-1944	125	13	m3	m3	PROPN
ejpam-1944	125	14	,	,	PUNCT
ejpam-1944	125	15	.	.	PUNCT
ejpam-1944	125	16	.	.	PUNCT
ejpam-1944	125	17	.	.	PUNCT
ejpam-1944	126	1	mn	mn	PROPN
ejpam-1944	126	2	〉	〉	PROPN
ejpam-1944	126	3	)	)	PUNCT
ejpam-1944	126	4	=	=	SYM
ejpam-1944	127	1	1	1	NUM
ejpam-1944	127	2	,	,	PUNCT
ejpam-1944	127	3	it	it	PRON
ejpam-1944	127	4	gives	give	VERB
ejpam-1944	127	5	the	the	DET
ejpam-1944	127	6	following	follow	VERB
ejpam-1944	127	7	result	result	NOUN
ejpam-1944	127	8	:	:	PUNCT
ejpam-1944	127	9	β1	β1	PROPN
ejpam-1944	127	10	is	be	AUX
ejpam-1944	127	11	nil(n)-module	nil(n)-module	ADP
ejpam-1944	127	12	.	.	PUNCT
ejpam-1944	128	1	thus	thus	ADV
ejpam-1944	128	2	β1	β1	PROPN
ejpam-1944	128	3	:	:	PUNCT
ejpam-1944	128	4	σ∗(m)→	σ∗(m)→	CCONJ
ejpam-1944	128	5	p	p	NOUN
ejpam-1944	128	6	is	be	AUX
ejpam-1944	128	7	a	a	DET
ejpam-1944	128	8	nil(n)-module	nil(n)-module	NOUN
ejpam-1944	128	9	.	.	PUNCT
ejpam-1944	129	1	in	in	ADP
ejpam-1944	129	2	the	the	DET
ejpam-1944	129	3	diagram	diagram	NOUN
ejpam-1944	129	4	(	(	PUNCT
ejpam-1944	129	5	1	1	NUM
ejpam-1944	129	6	)	)	PUNCT
ejpam-1944	129	7	,	,	PUNCT
ejpam-1944	129	8	the	the	DET
ejpam-1944	129	9	pair	pair	NOUN
ejpam-1944	129	10	of	of	ADP
ejpam-1944	129	11	homomorphisms	homomorphism	NOUN
ejpam-1944	129	12	(	(	PUNCT
ejpam-1944	129	13	σ1,σ	σ1,σ	PROPN
ejpam-1944	129	14	)	)	PUNCT
ejpam-1944	129	15	is	be	AUX
ejpam-1944	129	16	a	a	DET
ejpam-1944	129	17	nil(n)-module	nil(n)-module	ADJ
ejpam-1944	129	18	morphism	morphism	NOUN
ejpam-1944	129	19	.	.	PUNCT
ejpam-1944	130	1	this	this	DET
ejpam-1944	130	2	diagram	diagram	NOUN
ejpam-1944	130	3	is	be	AUX
ejpam-1944	130	4	commutative	commutative	ADJ
ejpam-1944	130	5	since	since	SCONJ
ejpam-1944	130	6	∂	∂	NOUN
ejpam-1944	130	7	σ1(p	σ1(p	NUM
ejpam-1944	130	8	,	,	PUNCT
ejpam-1944	130	9	m	m	NOUN
ejpam-1944	130	10	)	)	PUNCT
ejpam-1944	131	1	=	=	SYM
ejpam-1944	131	2	∂	∂	NUM
ejpam-1944	131	3	(	(	PUNCT
ejpam-1944	131	4	m	m	NOUN
ejpam-1944	131	5	)	)	PUNCT
ejpam-1944	131	6	=	=	SYM
ejpam-1944	131	7	σ(p	σ(p	PROPN
ejpam-1944	131	8	)	)	PUNCT
ejpam-1944	131	9	=	=	SYM
ejpam-1944	132	1	σβ1(p	σβ1(p	PROPN
ejpam-1944	132	2	,	,	PUNCT
ejpam-1944	132	3	m	m	PROPN
ejpam-1944	132	4	)	)	PUNCT
ejpam-1944	132	5	for	for	ADP
ejpam-1944	132	6	p	p	PROPN
ejpam-1944	132	7	∈	∈	PROPN
ejpam-1944	132	8	p	p	NOUN
ejpam-1944	132	9	and	and	CCONJ
ejpam-1944	132	10	m	m	PROPN
ejpam-1944	132	11	∈	∈	NOUN
ejpam-1944	132	12	m	m	NOUN
ejpam-1944	132	13	.	.	PUNCT
ejpam-1944	133	1	we	we	PRON
ejpam-1944	133	2	have	have	VERB
ejpam-1944	133	3	σ1((p	σ1((p	PROPN
ejpam-1944	133	4	,	,	PUNCT
ejpam-1944	133	5	m)p	m)p	X
ejpam-1944	133	6	′	′	NUM
ejpam-1944	133	7	)	)	PUNCT
ejpam-1944	134	1	=	=	NOUN
ejpam-1944	134	2	σ1((p	σ1((p	NOUN
ejpam-1944	134	3	′)−1pp′	′)−1pp′	NOUN
ejpam-1944	134	4	,	,	PUNCT
ejpam-1944	134	5	mσ(p	mσ(p	NOUN
ejpam-1944	134	6	′	′	NOUN
ejpam-1944	134	7	)	)	PUNCT
ejpam-1944	134	8	)	)	PUNCT
ejpam-1944	134	9	=	=	SYM
ejpam-1944	134	10	mσ(p	mσ(p	NOUN
ejpam-1944	134	11	′	′	NUM
ejpam-1944	134	12	)	)	PUNCT
ejpam-1944	134	13	=	=	SYM
ejpam-1944	135	1	σ1(p	σ1(p	PROPN
ejpam-1944	135	2	,	,	PUNCT
ejpam-1944	135	3	m)σ(p	m)σ(p	NOUN
ejpam-1944	135	4	′	′	NOUN
ejpam-1944	135	5	)	)	PUNCT
ejpam-1944	135	6	for	for	ADP
ejpam-1944	135	7	all	all	PRON
ejpam-1944	135	8	(	(	PUNCT
ejpam-1944	135	9	p	p	X
ejpam-1944	135	10	,	,	PUNCT
ejpam-1944	135	11	m	m	NOUN
ejpam-1944	135	12	)	)	PUNCT
ejpam-1944	135	13	∈	∈	PROPN
ejpam-1944	135	14	σ∗(m	σ∗(m	PROPN
ejpam-1944	135	15	)	)	PUNCT
ejpam-1944	135	16	and	and	CCONJ
ejpam-1944	135	17	p	p	PROPN
ejpam-1944	135	18	∈	∈	PROPN
ejpam-1944	136	1	p.	p.	NOUN
ejpam-1944	136	2	therefore	therefore	ADV
ejpam-1944	136	3	we	we	PRON
ejpam-1944	136	4	have	have	VERB
ejpam-1944	136	5	a	a	DET
ejpam-1944	136	6	pullback	pullback	NOUN
ejpam-1944	136	7	nil(n)-module	nil(n)-module	NOUN
ejpam-1944	136	8	.	.	PUNCT
ejpam-1944	137	1	further	far	ADV
ejpam-1944	137	2	we	we	PRON
ejpam-1944	137	3	will	will	AUX
ejpam-1944	137	4	show	show	VERB
ejpam-1944	137	5	that	that	SCONJ
ejpam-1944	137	6	σ1	σ1	PROPN
ejpam-1944	137	7	is	be	AUX
ejpam-1944	137	8	a	a	DET
ejpam-1944	137	9	cartesian	cartesian	ADJ
ejpam-1944	137	10	morphism	morphism	NOUN
ejpam-1944	137	11	over	over	ADP
ejpam-1944	137	12	σ	σ	PROPN
ejpam-1944	137	13	.	.	PUNCT
ejpam-1944	138	1	let	let	VERB
ejpam-1944	138	2	(	(	PUNCT
ejpam-1944	138	3	υ1,υ0	υ1,υ0	PROPN
ejpam-1944	138	4	)	)	PUNCT
ejpam-1944	138	5	:	:	PUNCT
ejpam-1944	138	6	(	(	PUNCT
ejpam-1944	138	7	k1	k1	X
ejpam-1944	138	8	→	→	SYM
ejpam-1944	138	9	k0)→	k0)→	X
ejpam-1944	138	10	(	(	PUNCT
ejpam-1944	138	11	σ∗(m)→	σ∗(m)→	CCONJ
ejpam-1944	138	12	p	p	X
ejpam-1944	138	13	)	)	PUNCT
ejpam-1944	138	14	be	be	AUX
ejpam-1944	138	15	homomorphism	homomorphism	NOUN
ejpam-1944	138	16	of	of	ADP
ejpam-1944	138	17	nil(n)-modules	nil(n)-module	NOUN
ejpam-1944	138	18	and	and	CCONJ
ejpam-1944	138	19	θ	θ	NOUN
ejpam-1944	138	20	:	:	PUNCT
ejpam-1944	139	1	k1	k1	NOUN
ejpam-1944	139	2	→	→	SYM
ejpam-1944	139	3	p	p	X
ejpam-1944	139	4	be	be	AUX
ejpam-1944	139	5	a	a	DET
ejpam-1944	139	6	unique	unique	ADJ
ejpam-1944	139	7	nil(n)-module	nil(n)-module	ADJ
ejpam-1944	139	8	morphism	morphism	NOUN
ejpam-1944	139	9	.	.	PUNCT
ejpam-1944	140	1	then	then	ADV
ejpam-1944	140	2	we	we	PRON
ejpam-1944	140	3	have	have	VERB
ejpam-1944	140	4	the	the	DET
ejpam-1944	140	5	following	follow	VERB
ejpam-1944	140	6	commutative	commutative	ADJ
ejpam-1944	140	7	diagram	diagram	NOUN
ejpam-1944	140	8	k1	k1	PROPN
ejpam-1944	140	9	�	�	PROPN
ejpam-1944	140	10	�	�	PROPN
ejpam-1944	140	11	∂1	∂1	PART
ejpam-1944	140	12	//	//	NUM
ejpam-1944	140	13	θ	θ	PROPN
ejpam-1944	140	14	&	&	CCONJ
ejpam-1944	140	15	&	&	CCONJ
ejpam-1944	140	16	σ∗(m	σ∗(m	PROPN
ejpam-1944	140	17	)	)	PUNCT
ejpam-1944	140	18	�	�	PROPN
ejpam-1944	140	19	�	�	PROPN
ejpam-1944	140	20	σ1	σ1	PROPN
ejpam-1944	140	21	//	//	SYM
ejpam-1944	140	22	m	m	PROPN
ejpam-1944	140	23	�	�	PROPN
ejpam-1944	140	24	�	�	PROPN
ejpam-1944	140	25	k0	k0	PROPN
ejpam-1944	140	26	συ0	συ0	PROPN
ejpam-1944	140	27	=	=	PROPN
ejpam-1944	140	28	σ′	σ′	NOUN
ejpam-1944	140	29	%	%	INTJ
ejpam-1944	140	30	%	%	NOUN
ejpam-1944	140	31	υ0	υ0	NOUN
ejpam-1944	140	32	//	//	PROPN
ejpam-1944	140	33	p	p	PROPN
ejpam-1944	140	34	σ	σ	PROPN
ejpam-1944	140	35	//	//	PROPN
ejpam-1944	140	36	q	q	PROPN
ejpam-1944	140	37	where	where	SCONJ
ejpam-1944	140	38	υ1	υ1	PROPN
ejpam-1944	140	39	:	:	PUNCT
ejpam-1944	140	40	k1	k1	PROPN
ejpam-1944	140	41	→	→	SYM
ejpam-1944	140	42	σ∗(m	σ∗(m	PROPN
ejpam-1944	140	43	)	)	PUNCT
ejpam-1944	140	44	is	be	AUX
ejpam-1944	140	45	given	give	VERB
ejpam-1944	140	46	by	by	ADP
ejpam-1944	140	47	υ1(k1	υ1(k1	ADJ
ejpam-1944	140	48	)	)	PUNCT
ejpam-1944	140	49	=	=	SYM
ejpam-1944	140	50	(	(	PUNCT
ejpam-1944	140	51	υ0∂1k1,θk1	υ0∂1k1,θk1	PROPN
ejpam-1944	140	52	)	)	PUNCT
ejpam-1944	140	53	.	.	PUNCT
ejpam-1944	141	1	since	since	SCONJ
ejpam-1944	141	2	σ(υ0∂1k1	σ(υ0∂1k1	NOUN
ejpam-1944	141	3	)	)	PUNCT
ejpam-1944	141	4	=	=	SYM
ejpam-1944	141	5	∂	∂	NUM
ejpam-1944	141	6	θk1	θk1	NOUN
ejpam-1944	141	7	=	=	SYM
ejpam-1944	141	8	∂m	∂m	PROPN
ejpam-1944	141	9	so	so	ADV
ejpam-1944	141	10	ψ	ψ	PRON
ejpam-1944	141	11	is	be	AUX
ejpam-1944	141	12	a	a	DET
ejpam-1944	141	13	well	well	ADV
ejpam-1944	141	14	defined	define	VERB
ejpam-1944	141	15	homomorphism	homomorphism	NOUN
ejpam-1944	141	16	.	.	PUNCT
ejpam-1944	142	1	h.	h.	PROPN
ejpam-1944	142	2	atik	atik	PROPN
ejpam-1944	142	3	/	/	SYM
ejpam-1944	142	4	eur	eur	PROPN
ejpam-1944	142	5	.	.	PUNCT
ejpam-1944	143	1	j.	j.	PROPN
ejpam-1944	143	2	pure	pure	PROPN
ejpam-1944	143	3	appl	appl	PROPN
ejpam-1944	143	4	.	.	PROPN
ejpam-1944	143	5	math	math	PROPN
ejpam-1944	143	6	,	,	PUNCT
ejpam-1944	143	7	6	6	NUM
ejpam-1944	143	8	(	(	PUNCT
ejpam-1944	143	9	2013	2013	NUM
ejpam-1944	143	10	)	)	PUNCT
ejpam-1944	143	11	,	,	PUNCT
ejpam-1944	143	12	428	428	X
ejpam-1944	143	13	-	-	SYM
ejpam-1944	143	14	434	434	NUM
ejpam-1944	143	15	432	432	NUM
ejpam-1944	143	16	proposition	proposition	NOUN
ejpam-1944	143	17	3	3	NUM
ejpam-1944	143	18	.	.	PUNCT
ejpam-1944	144	1	the	the	DET
ejpam-1944	144	2	functor	functor	PROPN
ejpam-1944	144	3	φn	φn	PROPN
ejpam-1944	144	4	:	:	PUNCT
ejpam-1944	144	5	nil(n)→	nil(n)→	PROPN
ejpam-1944	144	6	grp	grp	PROPN
ejpam-1944	144	7	is	be	AUX
ejpam-1944	144	8	cofibred	cofibre	VERB
ejpam-1944	144	9	.	.	PUNCT
ejpam-1944	145	1	let	let	VERB
ejpam-1944	145	2	µ	µ	X
ejpam-1944	145	3	:	:	PUNCT
ejpam-1944	145	4	m	m	AUX
ejpam-1944	145	5	→	→	SYM
ejpam-1944	145	6	p	p	X
ejpam-1944	145	7	be	be	AUX
ejpam-1944	145	8	a	a	DET
ejpam-1944	145	9	nil(2)-module	nil(2)-module	PROPN
ejpam-1944	145	10	and	and	CCONJ
ejpam-1944	145	11	f	f	NOUN
ejpam-1944	145	12	:	:	PUNCT
ejpam-1944	145	13	p	p	X
ejpam-1944	145	14	→	→	PUNCT
ejpam-1944	145	15	q	q	X
ejpam-1944	145	16	be	be	AUX
ejpam-1944	145	17	a	a	DET
ejpam-1944	145	18	homomorphism	homomorphism	NOUN
ejpam-1944	145	19	of	of	ADP
ejpam-1944	145	20	groups	group	NOUN
ejpam-1944	145	21	.	.	PUNCT
ejpam-1944	146	1	let	let	VERB
ejpam-1944	146	2	f∗(m	f∗(m	PROPN
ejpam-1944	146	3	)	)	PUNCT
ejpam-1944	147	1	=	=	PUNCT
ejpam-1944	147	2	f(m	f(m	PROPN
ejpam-1944	147	3	×q	×q	ADV
ejpam-1944	147	4	)	)	PUNCT
ejpam-1944	147	5	be	be	VERB
ejpam-1944	147	6	a	a	DET
ejpam-1944	147	7	free	free	ADJ
ejpam-1944	147	8	group	group	NOUN
ejpam-1944	147	9	generated	generate	VERB
ejpam-1944	147	10	by	by	ADP
ejpam-1944	147	11	the	the	DET
ejpam-1944	147	12	set	set	NOUN
ejpam-1944	147	13	m	m	NOUN
ejpam-1944	147	14	×q	×q	ADJ
ejpam-1944	147	15	.	.	PUNCT
ejpam-1944	148	1	let	let	VERB
ejpam-1944	148	2	s	s	PRON
ejpam-1944	148	3	be	be	AUX
ejpam-1944	148	4	a	a	DET
ejpam-1944	148	5	subgroup	subgroup	NOUN
ejpam-1944	148	6	of	of	ADP
ejpam-1944	148	7	f∗(m	f∗(m	PROPN
ejpam-1944	148	8	)	)	PUNCT
ejpam-1944	148	9	generated	generate	VERB
ejpam-1944	148	10	by	by	ADP
ejpam-1944	148	11	the	the	DET
ejpam-1944	148	12	following	follow	VERB
ejpam-1944	148	13	relations	relation	NOUN
ejpam-1944	148	14	:	:	PUNCT
ejpam-1944	148	15	(	(	PUNCT
ejpam-1944	148	16	m	m	PROPN
ejpam-1944	148	17	,	,	PUNCT
ejpam-1944	148	18	m′	m′	NOUN
ejpam-1944	148	19	∈	∈	NOUN
ejpam-1944	148	20	m	m	NOUN
ejpam-1944	148	21	,	,	PUNCT
ejpam-1944	148	22	q	q	PROPN
ejpam-1944	148	23	∈q	∈q	NOUN
ejpam-1944	148	24	)	)	PUNCT
ejpam-1944	148	25	1	1	NUM
ejpam-1944	148	26	.	.	PUNCT
ejpam-1944	149	1	(	(	PUNCT
ejpam-1944	149	2	m	m	PROPN
ejpam-1944	149	3	,	,	PUNCT
ejpam-1944	149	4	q)(m′	q)(m′	PROPN
ejpam-1944	149	5	,	,	PUNCT
ejpam-1944	149	6	q)(mm′	q)(mm′	NOUN
ejpam-1944	149	7	,	,	PUNCT
ejpam-1944	149	8	q)−1	q)−1	NOUN
ejpam-1944	149	9	∈	∈	NOUN
ejpam-1944	149	10	s	s	PART
ejpam-1944	149	11	2	2	NUM
ejpam-1944	149	12	.	.	PUNCT
ejpam-1944	149	13	(	(	PUNCT
ejpam-1944	149	14	mp	mp	NOUN
ejpam-1944	149	15	,	,	PUNCT
ejpam-1944	149	16	q)(m	q)(m	NOUN
ejpam-1944	149	17	,	,	PUNCT
ejpam-1944	149	18	f	f	PROPN
ejpam-1944	149	19	(	(	PUNCT
ejpam-1944	149	20	p)q)−1	p)q)−1	PROPN
ejpam-1944	149	21	∈	∈	PROPN
ejpam-1944	149	22	s	s	PART
ejpam-1944	149	23	now	now	ADV
ejpam-1944	149	24	,	,	PUNCT
ejpam-1944	149	25	consider	consider	VERB
ejpam-1944	149	26	the	the	DET
ejpam-1944	149	27	following	follow	VERB
ejpam-1944	149	28	diagram	diagram	NOUN
ejpam-1944	149	29	m	m	PROPN
ejpam-1944	149	30	µ	µ	X
ejpam-1944	149	31	�	�	PROPN
ejpam-1944	149	32	�	�	PROPN
ejpam-1944	149	33	θ	θ	PROPN
ejpam-1944	149	34	//	//	PUNCT
ejpam-1944	149	35	f∗(m)/s	f∗(m)/s	X
ejpam-1944	149	36	µ	µ	PROPN
ejpam-1944	149	37	�	�	PROPN
ejpam-1944	149	38	�	�	PROPN
ejpam-1944	149	39	p	p	PROPN
ejpam-1944	149	40	f	f	PROPN
ejpam-1944	149	41	//	//	X
ejpam-1944	149	42	q	q	PROPN
ejpam-1944	149	43	in	in	ADP
ejpam-1944	149	44	which	which	PRON
ejpam-1944	149	45	µ	µ	X
ejpam-1944	149	46	:	:	PUNCT
ejpam-1944	149	47	f∗(m)/s	f∗(m)/s	PROPN
ejpam-1944	149	48	→	→	PUNCT
ejpam-1944	149	49	q	q	X
ejpam-1944	149	50	is	be	AUX
ejpam-1944	149	51	given	give	VERB
ejpam-1944	149	52	by	by	ADP
ejpam-1944	149	53	µ((m	µ((m	NOUN
ejpam-1944	149	54	,	,	PUNCT
ejpam-1944	149	55	q)s	q)s	NOUN
ejpam-1944	149	56	)	)	PUNCT
ejpam-1944	150	1	=	=	PUNCT
ejpam-1944	150	2	q−1	q−1	PROPN
ejpam-1944	150	3	f	f	X
ejpam-1944	150	4	µ(m)q	µ(m)q	PROPN
ejpam-1944	150	5	and	and	CCONJ
ejpam-1944	150	6	θ	θ	PROPN
ejpam-1944	150	7	:	:	PUNCT
ejpam-1944	150	8	m	m	AUX
ejpam-1944	150	9	→	→	SYM
ejpam-1944	150	10	f∗(m)/s	f∗(m)/s	X
ejpam-1944	150	11	is	be	AUX
ejpam-1944	150	12	given	give	VERB
ejpam-1944	150	13	by	by	ADP
ejpam-1944	150	14	θ(m	θ(m	NOUN
ejpam-1944	150	15	)	)	PUNCT
ejpam-1944	150	16	=	=	PUNCT
ejpam-1944	150	17	(	(	PUNCT
ejpam-1944	150	18	m	m	PROPN
ejpam-1944	150	19	,	,	PUNCT
ejpam-1944	150	20	1)s	1)s	NUM
ejpam-1944	150	21	for	for	ADP
ejpam-1944	150	22	m	m	PROPN
ejpam-1944	150	23	∈	∈	PROPN
ejpam-1944	150	24	m	m	NOUN
ejpam-1944	150	25	and	and	CCONJ
ejpam-1944	150	26	q	q	PROPN
ejpam-1944	150	27	∈	∈	PROPN
ejpam-1944	150	28	q.	q.	NOUN
ejpam-1944	150	29	this	this	DET
ejpam-1944	150	30	diagram	diagram	NOUN
ejpam-1944	150	31	is	be	AUX
ejpam-1944	150	32	commutative	commutative	ADJ
ejpam-1944	150	33	,	,	PUNCT
ejpam-1944	150	34	since	since	SCONJ
ejpam-1944	150	35	µθ(m	µθ(m	NUM
ejpam-1944	150	36	)	)	PUNCT
ejpam-1944	150	37	=	=	SYM
ejpam-1944	150	38	µ((m	µ((m	X
ejpam-1944	150	39	,	,	PUNCT
ejpam-1944	150	40	1)s	1)s	NUM
ejpam-1944	150	41	)	)	PUNCT
ejpam-1944	150	42	=	=	SYM
ejpam-1944	150	43	f	f	X
ejpam-1944	150	44	µ(m	µ(m	NOUN
ejpam-1944	150	45	)	)	PUNCT
ejpam-1944	150	46	for	for	ADP
ejpam-1944	150	47	all	all	DET
ejpam-1944	150	48	m	m	NOUN
ejpam-1944	150	49	∈	∈	NOUN
ejpam-1944	150	50	m	m	NOUN
ejpam-1944	150	51	.	.	PUNCT
ejpam-1944	151	1	the	the	DET
ejpam-1944	151	2	action	action	NOUN
ejpam-1944	151	3	of	of	ADP
ejpam-1944	151	4	q	q	NOUN
ejpam-1944	151	5	on	on	ADP
ejpam-1944	151	6	f	f	PROPN
ejpam-1944	151	7	∗(m)/s	∗(m)/s	PROPN
ejpam-1944	151	8	can	can	AUX
ejpam-1944	151	9	be	be	AUX
ejpam-1944	151	10	given	give	VERB
ejpam-1944	151	11	by	by	ADP
ejpam-1944	151	12	(	(	PUNCT
ejpam-1944	151	13	(	(	PUNCT
ejpam-1944	151	14	m	m	PROPN
ejpam-1944	151	15	,	,	PUNCT
ejpam-1944	151	16	q)s)q	q)s)q	VERB
ejpam-1944	151	17	′	′	NUM
ejpam-1944	152	1	=	=	PUNCT
ejpam-1944	152	2	(	(	PUNCT
ejpam-1944	152	3	m	m	PROPN
ejpam-1944	152	4	,	,	PUNCT
ejpam-1944	152	5	qq	qq	ADV
ejpam-1944	152	6	′	′	NUM
ejpam-1944	152	7	)	)	PUNCT
ejpam-1944	152	8	s	s	VERB
ejpam-1944	152	9	for	for	ADP
ejpam-1944	152	10	m	m	PROPN
ejpam-1944	152	11	∈	∈	PROPN
ejpam-1944	152	12	m	m	PROPN
ejpam-1944	152	13	and	and	CCONJ
ejpam-1944	152	14	q	q	NOUN
ejpam-1944	152	15	,	,	PUNCT
ejpam-1944	152	16	q′	q′	PUNCT
ejpam-1944	152	17	∈	∈	PROPN
ejpam-1944	152	18	q.	q.	NOUN
ejpam-1944	152	19	by	by	ADP
ejpam-1944	152	20	using	use	VERB
ejpam-1944	152	21	this	this	DET
ejpam-1944	152	22	action	action	NOUN
ejpam-1944	152	23	,	,	PUNCT
ejpam-1944	152	24	we	we	PRON
ejpam-1944	152	25	have	have	VERB
ejpam-1944	152	26	the	the	DET
ejpam-1944	152	27	following	follow	VERB
ejpam-1944	152	28	result	result	NOUN
ejpam-1944	152	29	.	.	PUNCT
ejpam-1944	153	1	proposition	proposition	NOUN
ejpam-1944	153	2	4	4	NUM
ejpam-1944	153	3	.	.	PUNCT
ejpam-1944	154	1	the	the	DET
ejpam-1944	154	2	homomorphism	homomorphism	PROPN
ejpam-1944	154	3	µ	µ	X
ejpam-1944	154	4	:	:	PUNCT
ejpam-1944	154	5	f∗(m)/s	f∗(m)/s	X
ejpam-1944	154	6	→	→	SYM
ejpam-1944	154	7	q	q	PUNCT
ejpam-1944	154	8	given	give	VERB
ejpam-1944	154	9	by	by	ADP
ejpam-1944	154	10	µ((m	µ((m	NOUN
ejpam-1944	154	11	,	,	PUNCT
ejpam-1944	154	12	q)s	q)s	NOUN
ejpam-1944	154	13	)	)	PUNCT
ejpam-1944	154	14	=	=	SYM
ejpam-1944	155	1	q−1	q−1	PROPN
ejpam-1944	155	2	f	f	PROPN
ejpam-1944	155	3	µ(m)q	µ(m)q	PROPN
ejpam-1944	155	4	,	,	PUNCT
ejpam-1944	155	5	as	as	SCONJ
ejpam-1944	155	6	defined	define	VERB
ejpam-1944	155	7	above	above	ADV
ejpam-1944	155	8	,	,	PUNCT
ejpam-1944	155	9	is	be	AUX
ejpam-1944	155	10	an	an	DET
ejpam-1944	155	11	induced	induced	ADJ
ejpam-1944	155	12	nil(n)-module	nil(n)-module	NOUN
ejpam-1944	155	13	by	by	ADP
ejpam-1944	155	14	the	the	DET
ejpam-1944	155	15	homomorphism	homomorphism	NOUN
ejpam-1944	155	16	of	of	ADP
ejpam-1944	155	17	groups	group	NOUN
ejpam-1944	156	1	f	f	X
ejpam-1944	156	2	:	:	PUNCT
ejpam-1944	156	3	p	p	X
ejpam-1944	156	4	→	→	PUNCT
ejpam-1944	156	5	q	q	X
ejpam-1944	156	6	of	of	ADP
ejpam-1944	156	7	the	the	DET
ejpam-1944	156	8	nil(n)-module	nil(n)-module	NOUN
ejpam-1944	156	9	µ	µ	NOUN
ejpam-1944	156	10	:	:	PUNCT
ejpam-1944	156	11	m	m	VERB
ejpam-1944	156	12	→	→	SYM
ejpam-1944	156	13	p.	p.	NOUN
ejpam-1944	156	14	proof	proof	NOUN
ejpam-1944	156	15	.	.	PUNCT
ejpam-1944	157	1	since	since	SCONJ
ejpam-1944	157	2	µ(((m	µ(((m	PROPN
ejpam-1944	157	3	,	,	PUNCT
ejpam-1944	157	4	q)s)q	q)s)q	VERB
ejpam-1944	157	5	′	′	NUM
ejpam-1944	157	6	)	)	PUNCT
ejpam-1944	158	1	=	=	SYM
ejpam-1944	158	2	µ((m	µ((m	X
ejpam-1944	158	3	,	,	PUNCT
ejpam-1944	158	4	qq	qq	X
ejpam-1944	158	5	′	′	NUM
ejpam-1944	158	6	)	)	PUNCT
ejpam-1944	158	7	s	s	X
ejpam-1944	158	8	)	)	PUNCT
ejpam-1944	158	9	=(	=(	NOUN
ejpam-1944	158	10	qq	qq	NOUN
ejpam-1944	158	11	′	′	NUM
ejpam-1944	158	12	)	)	PUNCT
ejpam-1944	158	13	−1	−1	NOUN
ejpam-1944	159	1	f	f	PROPN
ejpam-1944	159	2	µ(m)qq	µ(m)qq	PROPN
ejpam-1944	159	3	′	′	NUM
ejpam-1944	159	4	=	=	PUNCT
ejpam-1944	160	1	(	(	PUNCT
ejpam-1944	160	2	q	q	NOUN
ejpam-1944	160	3	′	′	NUM
ejpam-1944	160	4	)	)	PUNCT
ejpam-1944	161	1	−1(q−1	−1(q−1	PUNCT
ejpam-1944	162	1	f	f	X
ejpam-1944	162	2	µ(m)q)q	µ(m)q)q	NOUN
ejpam-1944	162	3	′	′	NUM
ejpam-1944	162	4	=(	=(	NOUN
ejpam-1944	162	5	q	q	PROPN
ejpam-1944	163	1	′	′	NUM
ejpam-1944	163	2	)	)	PUNCT
ejpam-1944	164	1	−1µ((m	−1µ((m	ADV
ejpam-1944	164	2	,	,	PUNCT
ejpam-1944	164	3	q)s)q	q)s)q	VERB
ejpam-1944	164	4	′	′	NUM
ejpam-1944	164	5	,	,	PUNCT
ejpam-1944	164	6	for	for	ADP
ejpam-1944	164	7	all	all	DET
ejpam-1944	164	8	m	m	NOUN
ejpam-1944	164	9	∈	∈	NOUN
ejpam-1944	164	10	m	m	NOUN
ejpam-1944	164	11	and	and	CCONJ
ejpam-1944	164	12	q	q	NOUN
ejpam-1944	164	13	,	,	PUNCT
ejpam-1944	164	14	q′	q′	NOUN
ejpam-1944	164	15	∈q	∈q	NOUN
ejpam-1944	164	16	,	,	PUNCT
ejpam-1944	164	17	µ	µ	PRON
ejpam-1944	164	18	is	be	AUX
ejpam-1944	164	19	a	a	DET
ejpam-1944	164	20	pre	pre	ADJ
ejpam-1944	164	21	-	-	ADJ
ejpam-1944	164	22	crossed	crossed	ADJ
ejpam-1944	164	23	module	module	NOUN
ejpam-1944	164	24	.	.	PUNCT
ejpam-1944	165	1	further	far	ADV
ejpam-1944	165	2	,	,	PUNCT
ejpam-1944	165	3	for	for	ADP
ejpam-1944	165	4	all	all	PRON
ejpam-1944	165	5	(	(	PUNCT
ejpam-1944	165	6	m	m	NOUN
ejpam-1944	165	7	,	,	PUNCT
ejpam-1944	165	8	q)s	q)s	NOUN
ejpam-1944	165	9	,	,	PUNCT
ejpam-1944	165	10	(	(	PUNCT
ejpam-1944	165	11	m′	m′	PRON
ejpam-1944	165	12	,	,	PUNCT
ejpam-1944	165	13	q)s	q)s	NOUN
ejpam-1944	165	14	,	,	PUNCT
ejpam-1944	165	15	.	.	PUNCT
ejpam-1944	165	16	.	.	PUNCT
ejpam-1944	165	17	.	.	PUNCT
ejpam-1944	166	1	,	,	PUNCT
ejpam-1944	166	2	(	(	PUNCT
ejpam-1944	166	3	m(n	m(n	PROPN
ejpam-1944	166	4	)	)	PUNCT
ejpam-1944	166	5	,	,	PUNCT
ejpam-1944	166	6	q)s	q)s	VERB
ejpam-1944	166	7	∈	∈	PROPN
ejpam-1944	166	8	f∗(m)/s	f∗(m)/s	NOUN
ejpam-1944	166	9	,	,	PUNCT
ejpam-1944	166	10	〈	〈	PROPN
ejpam-1944	166	11	.	.	PROPN
ejpam-1944	166	12	.	.	PUNCT
ejpam-1944	167	1	.〈〈(m	.〈〈(m	PROPN
ejpam-1944	167	2	,	,	PUNCT
ejpam-1944	167	3	q)s	q)s	PROPN
ejpam-1944	167	4	,	,	PUNCT
ejpam-1944	167	5	(	(	PUNCT
ejpam-1944	167	6	m′	m′	PRON
ejpam-1944	167	7	,	,	PUNCT
ejpam-1944	167	8	q)s	q)s	NOUN
ejpam-1944	167	9	〉	〉	NOUN
ejpam-1944	167	10	,	,	PUNCT
ejpam-1944	167	11	(	(	PUNCT
ejpam-1944	167	12	m′′	m′′	PROPN
ejpam-1944	167	13	,	,	PUNCT
ejpam-1944	167	14	q)s	q)s	NOUN
ejpam-1944	167	15	〉	〉	NOUN
ejpam-1944	167	16	,	,	PUNCT
ejpam-1944	167	17	.	.	PUNCT
ejpam-1944	167	18	.	.	PUNCT
ejpam-1944	168	1	.〉(m(n	.〉(m(n	X
ejpam-1944	168	2	)	)	PUNCT
ejpam-1944	168	3	,	,	PUNCT
ejpam-1944	168	4	q)s	q)s	NOUN
ejpam-1944	168	5	〉	〉	NOUN
ejpam-1944	168	6	=	=	SYM
ejpam-1944	168	7	〈	〈	NOUN
ejpam-1944	168	8	.	.	PROPN
ejpam-1944	168	9	.	.	PUNCT
ejpam-1944	168	10	.	.	PUNCT
ejpam-1944	169	1	〈	〈	PROPN
ejpam-1944	169	2	(	(	PUNCT
ejpam-1944	169	3	m	m	PROPN
ejpam-1944	169	4	,	,	PUNCT
ejpam-1944	169	5	q)s(m′	q)s(m′	PROPN
ejpam-1944	169	6	,	,	PUNCT
ejpam-1944	169	7	q)s(m	q)s(m	PROPN
ejpam-1944	169	8	,	,	PUNCT
ejpam-1944	169	9	q)s−1((m′	q)s−1((m′	ADV
ejpam-1944	169	10	,	,	PUNCT
ejpam-1944	169	11	q)s−1)µ(m	q)s−1)µ(m	NOUN
ejpam-1944	169	12	,	,	PUNCT
ejpam-1944	169	13	q)s	q)s	NOUN
ejpam-1944	169	14	,	,	PUNCT
ejpam-1944	169	15	(	(	PUNCT
ejpam-1944	169	16	m′′	m′′	PROPN
ejpam-1944	169	17	,	,	PUNCT
ejpam-1944	169	18	q)s	q)s	NOUN
ejpam-1944	169	19	〉	〉	NOUN
ejpam-1944	169	20	,	,	PUNCT
ejpam-1944	169	21	.	.	PUNCT
ejpam-1944	169	22	.	.	PUNCT
ejpam-1944	170	1	.〉(m(n	.〉(m(n	X
ejpam-1944	170	2	)	)	PUNCT
ejpam-1944	170	3	,	,	PUNCT
ejpam-1944	170	4	q)s	q)s	NOUN
ejpam-1944	170	5	〉	〉	NOUN
ejpam-1944	170	6	=	=	SYM
ejpam-1944	170	7	〈	〈	NOUN
ejpam-1944	170	8	.	.	PROPN
ejpam-1944	170	9	.	.	PUNCT
ejpam-1944	170	10	.	.	PUNCT
ejpam-1944	171	1	〈	〈	PROPN
ejpam-1944	171	2	〈	〈	PROPN
ejpam-1944	171	3	(	(	PUNCT
ejpam-1944	171	4	m	m	PROPN
ejpam-1944	171	5	,	,	PUNCT
ejpam-1944	171	6	q)s(m′	q)s(m′	PROPN
ejpam-1944	171	7	,	,	PUNCT
ejpam-1944	171	8	q)s(m−1	q)s(m−1	PROPN
ejpam-1944	171	9	,	,	PUNCT
ejpam-1944	171	10	q)s((m′−1	q)s((m′−1	PROPN
ejpam-1944	171	11	,	,	PUNCT
ejpam-1944	171	12	q)s)q	q)s)q	VERB
ejpam-1944	171	13	−1	−1	NOUN
ejpam-1944	171	14	f	f	PROPN
ejpam-1944	171	15	µ(m)q	µ(m)q	PROPN
ejpam-1944	171	16	,	,	PUNCT
ejpam-1944	171	17	(	(	PUNCT
ejpam-1944	171	18	m′′	m′′	PROPN
ejpam-1944	171	19	,	,	PUNCT
ejpam-1944	171	20	q)s	q)s	NOUN
ejpam-1944	171	21	〉	〉	NOUN
ejpam-1944	171	22	,	,	PUNCT
ejpam-1944	171	23	.	.	PUNCT
ejpam-1944	171	24	.	.	PUNCT
ejpam-1944	172	1	.〉(m(n	.〉(m(n	X
ejpam-1944	172	2	)	)	PUNCT
ejpam-1944	172	3	,	,	PUNCT
ejpam-1944	172	4	q)s	q)s	NOUN
ejpam-1944	172	5	〉	〉	NOUN
ejpam-1944	172	6	=	=	SYM
ejpam-1944	172	7	〈	〈	NOUN
ejpam-1944	172	8	.	.	PROPN
ejpam-1944	172	9	.	.	PUNCT
ejpam-1944	172	10	.	.	PUNCT
ejpam-1944	173	1	〈	〈	NOUN
ejpam-1944	173	2	〈	〈	PROPN
ejpam-1944	173	3	(	(	PUNCT
ejpam-1944	173	4	mm′m−1	mm′m−1	PROPN
ejpam-1944	173	5	,	,	PUNCT
ejpam-1944	173	6	q)s((m′−1	q)s((m′−1	PROPN
ejpam-1944	173	7	,	,	PUNCT
ejpam-1944	173	8	qq−1	qq−1	PROPN
ejpam-1944	173	9	f	f	X
ejpam-1944	173	10	µ(m)q)s	µ(m)q)s	PROPN
ejpam-1944	173	11	,	,	PUNCT
ejpam-1944	173	12	(	(	PUNCT
ejpam-1944	173	13	m′′	m′′	PROPN
ejpam-1944	173	14	,	,	PUNCT
ejpam-1944	173	15	q)s	q)s	NOUN
ejpam-1944	173	16	〉	〉	NOUN
ejpam-1944	173	17	,	,	PUNCT
ejpam-1944	173	18	.	.	PUNCT
ejpam-1944	173	19	.	.	PUNCT
ejpam-1944	174	1	.〉(m(n	.〉(m(n	X
ejpam-1944	174	2	)	)	PUNCT
ejpam-1944	174	3	,	,	PUNCT
ejpam-1944	174	4	q)s	q)s	NOUN
ejpam-1944	174	5	〉	〉	NOUN
ejpam-1944	174	6	=	=	SYM
ejpam-1944	174	7	〈	〈	NOUN
ejpam-1944	174	8	.	.	PROPN
ejpam-1944	174	9	.	.	PUNCT
ejpam-1944	174	10	.	.	PUNCT
ejpam-1944	175	1	〈	〈	NOUN
ejpam-1944	175	2	〈	〈	PROPN
ejpam-1944	175	3	(	(	PUNCT
ejpam-1944	175	4	mm′m−1	mm′m−1	NUM
ejpam-1944	175	5	,	,	PUNCT
ejpam-1944	175	6	q)s((m′−1)µ(m	q)s((m′−1)µ(m	NOUN
ejpam-1944	175	7	)	)	PUNCT
ejpam-1944	175	8	,	,	PUNCT
ejpam-1944	175	9	q)s	q)s	NOUN
ejpam-1944	175	10	,	,	PUNCT
ejpam-1944	175	11	(	(	PUNCT
ejpam-1944	175	12	m′′	m′′	PROPN
ejpam-1944	175	13	,	,	PUNCT
ejpam-1944	175	14	q)s	q)s	NOUN
ejpam-1944	175	15	〉	〉	NOUN
ejpam-1944	175	16	,	,	PUNCT
ejpam-1944	175	17	.	.	PUNCT
ejpam-1944	175	18	.	.	PUNCT
ejpam-1944	176	1	.〉(m(n	.〉(m(n	X
ejpam-1944	176	2	)	)	PUNCT
ejpam-1944	176	3	,	,	PUNCT
ejpam-1944	176	4	q)s	q)s	NOUN
ejpam-1944	176	5	〉	〉	NOUN
ejpam-1944	176	6	=	=	SYM
ejpam-1944	176	7	〈	〈	NOUN
ejpam-1944	176	8	.	.	PROPN
ejpam-1944	176	9	.	.	PUNCT
ejpam-1944	176	10	.	.	PUNCT
ejpam-1944	177	1	〈	〈	NOUN
ejpam-1944	177	2	〈	〈	PROPN
ejpam-1944	177	3	(	(	PUNCT
ejpam-1944	177	4	mm′m−1(m′−1)µ(m	mm′m−1(m′−1)µ(m	NOUN
ejpam-1944	177	5	)	)	PUNCT
ejpam-1944	177	6	,	,	PUNCT
ejpam-1944	177	7	q)s	q)s	NOUN
ejpam-1944	177	8	,	,	PUNCT
ejpam-1944	177	9	(	(	PUNCT
ejpam-1944	177	10	m′′	m′′	PROPN
ejpam-1944	177	11	,	,	PUNCT
ejpam-1944	177	12	q)s	q)s	NOUN
ejpam-1944	177	13	〉	〉	NOUN
ejpam-1944	177	14	,	,	PUNCT
ejpam-1944	177	15	.	.	PUNCT
ejpam-1944	177	16	.	.	PUNCT
ejpam-1944	178	1	.〉(m(n	.〉(m(n	X
ejpam-1944	178	2	)	)	PUNCT
ejpam-1944	178	3	,	,	PUNCT
ejpam-1944	178	4	q)s	q)s	NOUN
ejpam-1944	178	5	〉	〉	NOUN
ejpam-1944	178	6	references	reference	VERB
ejpam-1944	178	7	433	433	NUM
ejpam-1944	178	8	=	=	SYM
ejpam-1944	178	9	〈	〈	PROPN
ejpam-1944	178	10	.	.	PROPN
ejpam-1944	178	11	.	.	PUNCT
ejpam-1944	178	12	.	.	PUNCT
ejpam-1944	179	1	〈	〈	PROPN
ejpam-1944	179	2	〈	〈	PROPN
ejpam-1944	179	3	(	(	PUNCT
ejpam-1944	179	4	〈	〈	PROPN
ejpam-1944	179	5	m	m	PROPN
ejpam-1944	179	6	,	,	PUNCT
ejpam-1944	179	7	m′	m′	NOUN
ejpam-1944	179	8	〉	〉	NOUN
ejpam-1944	179	9	,	,	PUNCT
ejpam-1944	179	10	q)s	q)s	NOUN
ejpam-1944	179	11	,	,	PUNCT
ejpam-1944	179	12	(	(	PUNCT
ejpam-1944	179	13	m′′	m′′	PROPN
ejpam-1944	179	14	,	,	PUNCT
ejpam-1944	179	15	q)s	q)s	NOUN
ejpam-1944	179	16	〉	〉	NOUN
ejpam-1944	179	17	.	.	PUNCT
ejpam-1944	179	18	.	.	PUNCT
ejpam-1944	180	1	.〉(m(n	.〉(m(n	X
ejpam-1944	180	2	)	)	PUNCT
ejpam-1944	180	3	,	,	PUNCT
ejpam-1944	180	4	q)s	q)s	NOUN
ejpam-1944	180	5	〉	〉	NOUN
ejpam-1944	180	6	=	=	SYM
ejpam-1944	180	7	〈	〈	NOUN
ejpam-1944	180	8	.	.	PROPN
ejpam-1944	180	9	.	.	PUNCT
ejpam-1944	180	10	.	.	PUNCT
ejpam-1944	181	1	〈	〈	PROPN
ejpam-1944	181	2	(	(	PUNCT
ejpam-1944	181	3	〈	〈	PROPN
ejpam-1944	181	4	m	m	PROPN
ejpam-1944	181	5	,	,	PUNCT
ejpam-1944	181	6	m′	m′	NOUN
ejpam-1944	181	7	〉	〉	NOUN
ejpam-1944	181	8	,	,	PUNCT
ejpam-1944	181	9	q)s(m′′	q)s(m′′	NUM
ejpam-1944	181	10	,	,	PUNCT
ejpam-1944	181	11	q)s(〈m	q)s(〈m	NOUN
ejpam-1944	181	12	,	,	PUNCT
ejpam-1944	181	13	m′	m′	NOUN
ejpam-1944	181	14	〉	〉	NOUN
ejpam-1944	181	15	,	,	PUNCT
ejpam-1944	181	16	q)−1s((m′′	q)−1s((m′′	PROPN
ejpam-1944	181	17	,	,	PUNCT
ejpam-1944	181	18	q)s−1)µ(〈m	q)s−1)µ(〈m	NOUN
ejpam-1944	181	19	,	,	PUNCT
ejpam-1944	181	20	m′〉,q)s	m′〉,q)s	NOUN
ejpam-1944	181	21	,	,	PUNCT
ejpam-1944	181	22	.	.	PUNCT
ejpam-1944	181	23	.	.	PUNCT
ejpam-1944	182	1	.〉(m(n	.〉(m(n	X
ejpam-1944	182	2	)	)	PUNCT
ejpam-1944	182	3	,	,	PUNCT
ejpam-1944	182	4	q)s	q)s	NOUN
ejpam-1944	182	5	〉	〉	NOUN
ejpam-1944	182	6	=	=	SYM
ejpam-1944	182	7	〈	〈	NOUN
ejpam-1944	182	8	.	.	PROPN
ejpam-1944	182	9	.	.	PUNCT
ejpam-1944	182	10	.	.	PUNCT
ejpam-1944	183	1	〈	〈	PROPN
ejpam-1944	183	2	(	(	PUNCT
ejpam-1944	183	3	〈	〈	PROPN
ejpam-1944	183	4	m	m	PROPN
ejpam-1944	183	5	,	,	PUNCT
ejpam-1944	183	6	m′	m′	NOUN
ejpam-1944	183	7	〉	〉	NOUN
ejpam-1944	183	8	,	,	PUNCT
ejpam-1944	183	9	q)s(m′′	q)s(m′′	NUM
ejpam-1944	183	10	,	,	PUNCT
ejpam-1944	183	11	q)s(〈m	q)s(〈m	NOUN
ejpam-1944	183	12	,	,	PUNCT
ejpam-1944	183	13	m′	m′	NOUN
ejpam-1944	183	14	〉	〉	NOUN
ejpam-1944	183	15	,	,	PUNCT
ejpam-1944	183	16	q)−1s((m′′	q)−1s((m′′	PROPN
ejpam-1944	183	17	,	,	PUNCT
ejpam-1944	183	18	q)s−1)q	q)s−1)q	NOUN
ejpam-1944	183	19	′−1	′−1	PUNCT
ejpam-1944	183	20	f	f	X
ejpam-1944	183	21	µ(〈m	µ(〈m	NOUN
ejpam-1944	183	22	,	,	PUNCT
ejpam-1944	183	23	m′〉)q	m′〉)q	NOUN
ejpam-1944	183	24	,	,	PUNCT
ejpam-1944	183	25	.	.	PUNCT
ejpam-1944	183	26	.	.	PUNCT
ejpam-1944	184	1	.〉(m(n	.〉(m(n	X
ejpam-1944	184	2	)	)	PUNCT
ejpam-1944	184	3	,	,	PUNCT
ejpam-1944	184	4	q)s	q)s	NOUN
ejpam-1944	184	5	〉	〉	NOUN
ejpam-1944	184	6	=	=	SYM
ejpam-1944	184	7	〈	〈	NOUN
ejpam-1944	184	8	.	.	PROPN
ejpam-1944	184	9	.	.	PUNCT
ejpam-1944	184	10	.	.	PUNCT
ejpam-1944	185	1	〈	〈	PROPN
ejpam-1944	185	2	(	(	PUNCT
ejpam-1944	185	3	〈	〈	PROPN
ejpam-1944	185	4	m	m	PROPN
ejpam-1944	185	5	,	,	PUNCT
ejpam-1944	185	6	m′	m′	NOUN
ejpam-1944	185	7	〉	〉	NOUN
ejpam-1944	185	8	,	,	PUNCT
ejpam-1944	185	9	q)s(m′′	q)s(m′′	NUM
ejpam-1944	185	10	,	,	PUNCT
ejpam-1944	185	11	q)s(〈m	q)s(〈m	NOUN
ejpam-1944	185	12	,	,	PUNCT
ejpam-1944	185	13	m′〉−1	m′〉−1	PROPN
ejpam-1944	185	14	,	,	PUNCT
ejpam-1944	185	15	q)s((m′′−1	q)s((m′′−1	NOUN
ejpam-1944	185	16	,	,	PUNCT
ejpam-1944	185	17	q)s	q)s	NOUN
ejpam-1944	185	18	)	)	PUNCT
ejpam-1944	185	19	,	,	PUNCT
ejpam-1944	185	20	.	.	PUNCT
ejpam-1944	185	21	.	.	PUNCT
ejpam-1944	186	1	.〉(m(n	.〉(m(n	X
ejpam-1944	186	2	)	)	PUNCT
ejpam-1944	186	3	,	,	PUNCT
ejpam-1944	186	4	q)s	q)s	NOUN
ejpam-1944	186	5	〉	〉	NOUN
ejpam-1944	186	6	=	=	SYM
ejpam-1944	186	7	〈	〈	NOUN
ejpam-1944	186	8	.	.	PROPN
ejpam-1944	186	9	.	.	PUNCT
ejpam-1944	186	10	.	.	PUNCT
ejpam-1944	187	1	〈	〈	PROPN
ejpam-1944	187	2	(	(	PUNCT
ejpam-1944	187	3	〈	〈	PROPN
ejpam-1944	187	4	m	m	PROPN
ejpam-1944	187	5	,	,	PUNCT
ejpam-1944	187	6	m′〉m′′〈m	m′〉m′′〈m	PROPN
ejpam-1944	187	7	,	,	PUNCT
ejpam-1944	187	8	m′〉−1(m′′−1	m′〉−1(m′′−1	NOUN
ejpam-1944	187	9	,	,	PUNCT
ejpam-1944	187	10	q)s	q)s	NOUN
ejpam-1944	187	11	)	)	PUNCT
ejpam-1944	187	12	,	,	PUNCT
ejpam-1944	187	13	.	.	PUNCT
ejpam-1944	187	14	.	.	PUNCT
ejpam-1944	188	1	.〉(m(n	.〉(m(n	X
ejpam-1944	188	2	)	)	PUNCT
ejpam-1944	188	3	,	,	PUNCT
ejpam-1944	188	4	q)s	q)s	NOUN
ejpam-1944	188	5	〉	〉	NOUN
ejpam-1944	188	6	=	=	SYM
ejpam-1944	188	7	〈	〈	NOUN
ejpam-1944	188	8	.	.	PROPN
ejpam-1944	188	9	.	.	PUNCT
ejpam-1944	188	10	.	.	PUNCT
ejpam-1944	189	1	〈	〈	PROPN
ejpam-1944	189	2	(	(	PUNCT
ejpam-1944	189	3	〈	〈	PROPN
ejpam-1944	189	4	m	m	PROPN
ejpam-1944	189	5	,	,	PUNCT
ejpam-1944	189	6	m′〉m′′〈m	m′〉m′′〈m	PROPN
ejpam-1944	189	7	,	,	PUNCT
ejpam-1944	189	8	m′〉−1(m′′−1)µ(〈m	m′〉−1(m′′−1)µ(〈m	ADJ
ejpam-1944	189	9	,	,	PUNCT
ejpam-1944	189	10	m′	m′	NOUN
ejpam-1944	189	11	〉	〉	NOUN
ejpam-1944	189	12	)	)	PUNCT
ejpam-1944	189	13	,	,	PUNCT
ejpam-1944	189	14	q)s	q)s	NOUN
ejpam-1944	189	15	,	,	PUNCT
ejpam-1944	189	16	.	.	PUNCT
ejpam-1944	189	17	.	.	PUNCT
ejpam-1944	190	1	.〉(m(n	.〉(m(n	X
ejpam-1944	190	2	)	)	PUNCT
ejpam-1944	190	3	,	,	PUNCT
ejpam-1944	190	4	q)s	q)s	NOUN
ejpam-1944	190	5	〉	〉	NOUN
ejpam-1944	190	6	=	=	SYM
ejpam-1944	190	7	〈	〈	NOUN
ejpam-1944	190	8	.	.	PROPN
ejpam-1944	190	9	.	.	PUNCT
ejpam-1944	190	10	.	.	PUNCT
ejpam-1944	191	1	〈	〈	PROPN
ejpam-1944	191	2	(	(	PUNCT
ejpam-1944	191	3	〈	〈	PROPN
ejpam-1944	191	4	〈	〈	PROPN
ejpam-1944	191	5	m	m	NOUN
ejpam-1944	191	6	,	,	PUNCT
ejpam-1944	191	7	m′	m′	NOUN
ejpam-1944	191	8	〉	〉	NOUN
ejpam-1944	191	9	,	,	PUNCT
ejpam-1944	191	10	m′′	m′′	PROPN
ejpam-1944	191	11	〉	〉	NOUN
ejpam-1944	191	12	,	,	PUNCT
ejpam-1944	191	13	q)s	q)s	NOUN
ejpam-1944	191	14	,	,	PUNCT
ejpam-1944	191	15	.	.	PUNCT
ejpam-1944	191	16	.	.	PUNCT
ejpam-1944	192	1	.〉(m(n	.〉(m(n	X
ejpam-1944	192	2	)	)	PUNCT
ejpam-1944	192	3	,	,	PUNCT
ejpam-1944	192	4	q)s	q)s	NOUN
ejpam-1944	192	5	〉	〉	NOUN
ejpam-1944	192	6	=	=	SYM
ejpam-1944	192	7	〈	〈	NOUN
ejpam-1944	192	8	.	.	PROPN
ejpam-1944	192	9	.	.	PUNCT
ejpam-1944	192	10	.	.	PUNCT
ejpam-1944	193	1	〈	〈	PROPN
ejpam-1944	193	2	(	(	PUNCT
ejpam-1944	193	3	1	1	NUM
ejpam-1944	193	4	,	,	PUNCT
ejpam-1944	193	5	q)s	q)s	NOUN
ejpam-1944	193	6	,	,	PUNCT
ejpam-1944	193	7	.	.	PUNCT
ejpam-1944	193	8	.	.	PUNCT
ejpam-1944	194	1	.〉(m(n	.〉(m(n	X
ejpam-1944	194	2	)	)	PUNCT
ejpam-1944	194	3	,	,	PUNCT
ejpam-1944	194	4	q)s	q)s	NOUN
ejpam-1944	194	5	〉	〉	NOUN
ejpam-1944	194	6	...	...	PUNCT
ejpam-1944	194	7	=(	=(	PROPN
ejpam-1944	194	8	〈	〈	PROPN
ejpam-1944	194	9	m1	m1	PROPN
ejpam-1944	194	10	,	,	PUNCT
ejpam-1944	194	11	m2	m2	PROPN
ejpam-1944	194	12	,	,	PUNCT
ejpam-1944	194	13	m3	m3	PROPN
ejpam-1944	194	14	,	,	PUNCT
ejpam-1944	194	15	.	.	PUNCT
ejpam-1944	194	16	.	.	PUNCT
ejpam-1944	194	17	.	.	PUNCT
ejpam-1944	195	1	mn	mn	PROPN
ejpam-1944	195	2	〉	〉	PROPN
ejpam-1944	195	3	,	,	PUNCT
ejpam-1944	195	4	q)s	q)s	VERB
ejpam-1944	196	1	∼=	∼=	NOUN
ejpam-1944	196	2	s	s	PART
ejpam-1944	196	3	thus	thus	ADV
ejpam-1944	196	4	we	we	PRON
ejpam-1944	196	5	have	have	VERB
ejpam-1944	196	6	that	that	PRON
ejpam-1944	196	7	µ	µ	NOUN
ejpam-1944	196	8	is	be	AUX
ejpam-1944	196	9	a	a	DET
ejpam-1944	196	10	nil(n)-module	nil(n)-module	NOUN
ejpam-1944	196	11	.	.	PUNCT
ejpam-1944	197	1	now	now	ADV
ejpam-1944	197	2	,	,	PUNCT
ejpam-1944	197	3	we	we	PRON
ejpam-1944	197	4	will	will	AUX
ejpam-1944	197	5	show	show	VERB
ejpam-1944	197	6	that	that	SCONJ
ejpam-1944	197	7	(	(	PUNCT
ejpam-1944	197	8	θ	θ	INTJ
ejpam-1944	197	9	,	,	PUNCT
ejpam-1944	197	10	f	f	PROPN
ejpam-1944	197	11	)	)	PUNCT
ejpam-1944	197	12	is	be	AUX
ejpam-1944	197	13	a	a	DET
ejpam-1944	197	14	nil(n)-module	nil(n)-module	ADJ
ejpam-1944	197	15	morphism	morphism	NOUN
ejpam-1944	197	16	.	.	PUNCT
ejpam-1944	198	1	we	we	PRON
ejpam-1944	198	2	have	have	VERB
ejpam-1944	198	3	θ(mp	θ(mp	X
ejpam-1944	198	4	)	)	PUNCT
ejpam-1944	199	1	=	=	SYM
ejpam-1944	199	2	(	(	PUNCT
ejpam-1944	199	3	mp	mp	PROPN
ejpam-1944	199	4	,	,	PUNCT
ejpam-1944	199	5	1)s	1)s	PROPN
ejpam-1944	199	6	=	=	SYM
ejpam-1944	199	7	m	m	PROPN
ejpam-1944	199	8	,	,	PUNCT
ejpam-1944	199	9	f	f	PROPN
ejpam-1944	199	10	(	(	PUNCT
ejpam-1944	199	11	p)1)s	p)1)s	NOUN
ejpam-1944	199	12	=	=	SYM
ejpam-1944	199	13	(	(	PUNCT
ejpam-1944	199	14	(	(	PUNCT
ejpam-1944	199	15	m	m	PROPN
ejpam-1944	199	16	,	,	PUNCT
ejpam-1944	199	17	1)s	1)s	NUM
ejpam-1944	199	18	)	)	PUNCT
ejpam-1944	199	19	f	f	NOUN
ejpam-1944	199	20	(	(	PUNCT
ejpam-1944	199	21	p	p	NOUN
ejpam-1944	199	22	)	)	PUNCT
ejpam-1944	199	23	=	=	SYM
ejpam-1944	199	24	θ(m	θ(m	PROPN
ejpam-1944	199	25	)	)	PUNCT
ejpam-1944	199	26	f	f	NOUN
ejpam-1944	199	27	(	(	PUNCT
ejpam-1944	199	28	p	p	NOUN
ejpam-1944	199	29	)	)	PUNCT
ejpam-1944	199	30	and	and	CCONJ
ejpam-1944	199	31	µθ(m	µθ(m	NUM
ejpam-1944	199	32	)	)	PUNCT
ejpam-1944	199	33	=	=	SYM
ejpam-1944	200	1	µ((m	µ((m	X
ejpam-1944	200	2	,	,	PUNCT
ejpam-1944	200	3	1)s	1)s	NUM
ejpam-1944	200	4	)	)	PUNCT
ejpam-1944	200	5	=	=	SYM
ejpam-1944	200	6	f	f	X
ejpam-1944	200	7	µ(m	µ(m	NOUN
ejpam-1944	200	8	)	)	PUNCT
ejpam-1944	200	9	for	for	ADP
ejpam-1944	200	10	all	all	DET
ejpam-1944	200	11	m	m	NOUN
ejpam-1944	200	12	∈	∈	NOUN
ejpam-1944	200	13	m	m	NOUN
ejpam-1944	200	14	and	and	CCONJ
ejpam-1944	200	15	p	p	PROPN
ejpam-1944	200	16	∈	∈	PROPN
ejpam-1944	201	1	p.	p.	NOUN
ejpam-1944	201	2	then	then	ADV
ejpam-1944	201	3	one	one	PRON
ejpam-1944	201	4	can	can	AUX
ejpam-1944	201	5	easily	easily	ADV
ejpam-1944	201	6	show	show	VERB
ejpam-1944	201	7	that	that	SCONJ
ejpam-1944	201	8	θ	θ	PROPN
ejpam-1944	201	9	is	be	AUX
ejpam-1944	201	10	a	a	DET
ejpam-1944	201	11	cocartesian	cocartesian	ADJ
ejpam-1944	201	12	morphism	morphism	NOUN
ejpam-1944	201	13	over	over	ADP
ejpam-1944	201	14	f	f	PROPN
ejpam-1944	201	15	.	.	PUNCT
ejpam-1944	202	1	references	reference	NOUN
ejpam-1944	202	2	[	[	X
ejpam-1944	202	3	1	1	X
ejpam-1944	202	4	]	]	X
ejpam-1944	202	5	u.	u.	PROPN
ejpam-1944	202	6	e.	e.	PROPN
ejpam-1944	202	7	arslan	arslan	PROPN
ejpam-1944	202	8	,	,	PUNCT
ejpam-1944	202	9	z.	z.	PROPN
ejpam-1944	202	10	arvasi	arvasi	PROPN
ejpam-1944	202	11	,	,	PUNCT
ejpam-1944	202	12	and	and	CCONJ
ejpam-1944	202	13	g.	g.	PROPN
ejpam-1944	202	14	onarli	onarli	PROPN
ejpam-1944	202	15	.	.	PUNCT
ejpam-1944	203	1	induced	induce	VERB
ejpam-1944	203	2	two	two	NUM
ejpam-1944	203	3	-	-	PUNCT
ejpam-1944	203	4	crossed	cross	VERB
ejpam-1944	203	5	modules	module	NOUN
ejpam-1944	203	6	,	,	PUNCT
ejpam-1944	203	7	arxiv:1107.4291v1	arxiv:1107.4291v1	NOUN
ejpam-1944	203	8	[	[	X
ejpam-1944	203	9	math.at	math.at	X
ejpam-1944	203	10	]	]	X
ejpam-1944	203	11	21	21	NUM
ejpam-1944	203	12	jul	jul	PROPN
ejpam-1944	203	13	2011	2011	NUM
ejpam-1944	203	14	.	.	PUNCT
ejpam-1944	204	1	[	[	X
ejpam-1944	204	2	2	2	X
ejpam-1944	204	3	]	]	PUNCT
ejpam-1944	204	4	h.	h.	PROPN
ejpam-1944	204	5	atik	atik	PROPN
ejpam-1944	204	6	.	.	PUNCT
ejpam-1944	205	1	categorical	categorical	ADJ
ejpam-1944	205	2	structures	structure	NOUN
ejpam-1944	205	3	of	of	ADP
ejpam-1944	205	4	quadratic	quadratic	ADJ
ejpam-1944	205	5	modules	module	NOUN
ejpam-1944	205	6	of	of	ADP
ejpam-1944	205	7	commutative	commutative	ADJ
ejpam-1944	205	8	algebras	algebra	NOUN
ejpam-1944	205	9	,	,	PUNCT
ejpam-1944	205	10	ph.d	ph.d	PROPN
ejpam-1944	205	11	.	.	PUNCT
ejpam-1944	206	1	thesis	thesis	NOUN
ejpam-1944	206	2	,	,	PUNCT
ejpam-1944	206	3	osmangazi	osmangazi	ADJ
ejpam-1944	206	4	universitesi	universitesi	NOUN
ejpam-1944	206	5	.	.	PUNCT
ejpam-1944	207	1	2012	2012	NUM
ejpam-1944	207	2	.	.	PUNCT
ejpam-1944	208	1	[	[	X
ejpam-1944	208	2	3	3	X
ejpam-1944	208	3	]	]	X
ejpam-1944	208	4	h.j	h.j	PROPN
ejpam-1944	208	5	.	.	PROPN
ejpam-1944	208	6	baues	baue	NOUN
ejpam-1944	208	7	.	.	PUNCT
ejpam-1944	209	1	combinatorial	combinatorial	ADJ
ejpam-1944	209	2	homotopy	homotopy	NOUN
ejpam-1944	209	3	and	and	CCONJ
ejpam-1944	209	4	4	4	NUM
ejpam-1944	209	5	-	-	PUNCT
ejpam-1944	209	6	dimensional	dimensional	ADJ
ejpam-1944	209	7	complexes	complex	NOUN
ejpam-1944	209	8	,	,	PUNCT
ejpam-1944	209	9	walter	walter	PROPN
ejpam-1944	209	10	de	de	PROPN
ejpam-1944	209	11	gruyter	gruyter	PROPN
ejpam-1944	209	12	,	,	PUNCT
ejpam-1944	209	13	15	15	NUM
ejpam-1944	209	14	,	,	PUNCT
ejpam-1944	209	15	380	380	NUM
ejpam-1944	209	16	pages	page	NOUN
ejpam-1944	209	17	,	,	PUNCT
ejpam-1944	209	18	(	(	PUNCT
ejpam-1944	209	19	1991	1991	NUM
ejpam-1944	209	20	)	)	PUNCT
ejpam-1944	209	21	.	.	PUNCT
ejpam-1944	210	1	[	[	X
ejpam-1944	210	2	4	4	NUM
ejpam-1944	210	3	]	]	X
ejpam-1944	210	4	r.	r.	PROPN
ejpam-1944	210	5	brown	brown	PROPN
ejpam-1944	210	6	and	and	CCONJ
ejpam-1944	210	7	p.	p.	PROPN
ejpam-1944	210	8	j.	j.	PROPN
ejpam-1944	210	9	higgins	higgins	PROPN
ejpam-1944	210	10	.	.	PUNCT
ejpam-1944	210	11	colimit	colimit	NOUN
ejpam-1944	210	12	-	-	PUNCT
ejpam-1944	210	13	theorems	theorem	NOUN
ejpam-1944	210	14	for	for	ADP
ejpam-1944	210	15	relative	relative	ADJ
ejpam-1944	210	16	homotopy	homotopy	NOUN
ejpam-1944	210	17	groups	group	NOUN
ejpam-1944	210	18	,	,	PUNCT
ejpam-1944	210	19	journal	journal	NOUN
ejpam-1944	210	20	of	of	ADP
ejpam-1944	210	21	pure	pure	ADJ
ejpam-1944	210	22	and	and	CCONJ
ejpam-1944	210	23	applied	applied	ADJ
ejpam-1944	210	24	algebra	algebra	NOUN
ejpam-1944	210	25	,	,	PUNCT
ejpam-1944	210	26	vol	vol	NOUN
ejpam-1944	210	27	.	.	PROPN
ejpam-1944	210	28	22	22	NUM
ejpam-1944	210	29	,	,	PUNCT
ejpam-1944	210	30	11	11	NUM
ejpam-1944	210	31	-	-	SYM
ejpam-1944	210	32	41	41	NUM
ejpam-1944	210	33	,	,	PUNCT
ejpam-1944	210	34	(	(	PUNCT
ejpam-1944	210	35	1981	1981	NUM
ejpam-1944	210	36	)	)	PUNCT
ejpam-1944	210	37	.	.	PUNCT
ejpam-1944	211	1	[	[	X
ejpam-1944	211	2	5	5	NUM
ejpam-1944	211	3	]	]	X
ejpam-1944	211	4	r.	r.	PROPN
ejpam-1944	211	5	brown	brown	PROPN
ejpam-1944	211	6	and	and	CCONJ
ejpam-1944	211	7	p.	p.	PROPN
ejpam-1944	211	8	j.	j.	PROPN
ejpam-1944	211	9	higgins	higgins	PROPN
ejpam-1944	211	10	.	.	PUNCT
ejpam-1944	212	1	on	on	ADP
ejpam-1944	212	2	the	the	DET
ejpam-1944	212	3	connection	connection	NOUN
ejpam-1944	212	4	between	between	ADP
ejpam-1944	212	5	the	the	DET
ejpam-1944	212	6	second	second	ADJ
ejpam-1944	212	7	relative	relative	ADJ
ejpam-1944	212	8	homotopy	homotopy	NOUN
ejpam-1944	212	9	groups	group	NOUN
ejpam-1944	212	10	of	of	ADP
ejpam-1944	212	11	some	some	DET
ejpam-1944	212	12	related	relate	VERB
ejpam-1944	212	13	spaces	space	NOUN
ejpam-1944	212	14	,	,	PUNCT
ejpam-1944	212	15	procedings	proceding	NOUN
ejpam-1944	212	16	of	of	ADP
ejpam-1944	212	17	the	the	DET
ejpam-1944	212	18	london	london	PROPN
ejpam-1944	212	19	mathematical	mathematical	ADJ
ejpam-1944	212	20	society	society	NOUN
ejpam-1944	212	21	,	,	PUNCT
ejpam-1944	212	22	(	(	PUNCT
ejpam-1944	212	23	3	3	X
ejpam-1944	212	24	)	)	PUNCT
ejpam-1944	212	25	36	36	NUM
ejpam-1944	212	26	(	(	PUNCT
ejpam-1944	212	27	2	2	NUM
ejpam-1944	212	28	)	)	PUNCT
ejpam-1944	212	29	(	(	PUNCT
ejpam-1944	212	30	1978)193	1978)193	NUM
ejpam-1944	212	31	-	-	NUM
ejpam-1944	212	32	212	212	NUM
ejpam-1944	212	33	.	.	PUNCT
ejpam-1944	213	1	[	[	X
ejpam-1944	213	2	6	6	NUM
ejpam-1944	213	3	]	]	X
ejpam-1944	213	4	r.	r.	PROPN
ejpam-1944	213	5	brown	brown	PROPN
ejpam-1944	213	6	,	,	PUNCT
ejpam-1944	213	7	p.	p.	PROPN
ejpam-1944	213	8	j.	j.	PROPN
ejpam-1944	213	9	higgins	higgins	PROPN
ejpam-1944	213	10	,	,	PUNCT
ejpam-1944	213	11	and	and	CCONJ
ejpam-1944	213	12	r.	r.	PROPN
ejpam-1944	213	13	sivera	sivera	PROPN
ejpam-1944	213	14	.	.	PUNCT
ejpam-1944	214	1	nonabelian	nonabelian	ADJ
ejpam-1944	214	2	algebraic	algebraic	PROPN
ejpam-1944	214	3	topology	topology	NOUN
ejpam-1944	214	4	:	:	PUNCT
ejpam-1944	214	5	filtered	filter	VERB
ejpam-1944	214	6	spaces	space	NOUN
ejpam-1944	214	7	,	,	PUNCT
ejpam-1944	214	8	crossed	cross	VERB
ejpam-1944	214	9	complexes	complex	NOUN
ejpam-1944	214	10	,	,	PUNCT
ejpam-1944	214	11	cubical	cubical	ADJ
ejpam-1944	214	12	higher	high	ADJ
ejpam-1944	214	13	homotopy	homotopy	NOUN
ejpam-1944	214	14	groupoids	groupoid	NOUN
ejpam-1944	214	15	,	,	PUNCT
ejpam-1944	214	16	http://www.bangor.ac.uk/	http://www.bangor.ac.uk/	NOUN
ejpam-1944	214	17	~mas010	~mas010	NUM
ejpam-1944	214	18	/	/	SYM
ejpam-1944	214	19	pdffiles	pdffile	NOUN
ejpam-1944	214	20	/	/	SYM
ejpam-1944	214	21	rbrsbookb	rbrsbookb	NOUN
ejpam-1944	214	22	-	-	PUNCT
ejpam-1944	214	23	e231109.pdf	e231109.pdf	NOUN
ejpam-1944	214	24	.	.	PUNCT
ejpam-1944	215	1	references	reference	NOUN
ejpam-1944	215	2	434	434	NUM
ejpam-1944	216	1	[	[	X
ejpam-1944	216	2	7	7	NUM
ejpam-1944	216	3	]	]	X
ejpam-1944	216	4	r.	r.	PROPN
ejpam-1944	216	5	brown	brown	PROPN
ejpam-1944	216	6	and	and	CCONJ
ejpam-1944	216	7	r.	r.	PROPN
ejpam-1944	216	8	sivera	sivera	PROPN
ejpam-1944	216	9	.	.	PUNCT
ejpam-1944	217	1	algebraic	algebraic	ADJ
ejpam-1944	217	2	colimit	colimit	VERB
ejpam-1944	217	3	calculations	calculation	NOUN
ejpam-1944	217	4	in	in	ADP
ejpam-1944	217	5	homotopy	homotopy	NOUN
ejpam-1944	217	6	theory	theory	NOUN
ejpam-1944	217	7	using	use	VERB
ejpam-1944	217	8	fibred	fibre	VERB
ejpam-1944	217	9	and	and	CCONJ
ejpam-1944	217	10	cofibred	cofibred	ADJ
ejpam-1944	217	11	categories	category	NOUN
ejpam-1944	217	12	,	,	PUNCT
ejpam-1944	217	13	theory	theory	NOUN
ejpam-1944	217	14	and	and	CCONJ
ejpam-1944	217	15	applications	application	NOUN
ejpam-1944	217	16	of	of	ADP
ejpam-1944	217	17	categories	category	NOUN
ejpam-1944	217	18	,	,	PUNCT
ejpam-1944	217	19	22	22	NUM
ejpam-1944	217	20	(	(	PUNCT
ejpam-1944	217	21	2009	2009	NUM
ejpam-1944	217	22	)	)	PUNCT
ejpam-1944	217	23	222	222	NUM
ejpam-1944	217	24	-	-	SYM
ejpam-1944	217	25	251	251	NUM
ejpam-1944	217	26	.	.	PUNCT
ejpam-1944	218	1	[	[	X
ejpam-1944	218	2	8	8	NUM
ejpam-1944	218	3	]	]	X
ejpam-1944	218	4	j.m	j.m	PROPN
ejpam-1944	218	5	.	.	PROPN
ejpam-1944	218	6	casas	casas	PROPN
ejpam-1944	218	7	and	and	CCONJ
ejpam-1944	218	8	m.	m.	PROPN
ejpam-1944	218	9	ladra	ladra	PROPN
ejpam-1944	218	10	.	.	PUNCT
ejpam-1944	218	11	colimits	colimit	NOUN
ejpam-1944	218	12	in	in	ADP
ejpam-1944	218	13	the	the	DET
ejpam-1944	218	14	crossed	cross	VERB
ejpam-1944	218	15	modules	module	NOUN
ejpam-1944	218	16	category	category	NOUN
ejpam-1944	218	17	in	in	ADP
ejpam-1944	218	18	lie	lie	NOUN
ejpam-1944	218	19	algebras	algebra	NOUN
ejpam-1944	218	20	,	,	PUNCT
ejpam-1944	218	21	georgian	georgian	PROPN
ejpam-1944	218	22	mathematical	mathematical	ADJ
ejpam-1944	218	23	journal	journal	PROPN
ejpam-1944	218	24	,	,	PUNCT
ejpam-1944	218	25	v7	v7	VERB
ejpam-1944	218	26	n3	n3	NOUN
ejpam-1944	218	27	,	,	PUNCT
ejpam-1944	218	28	461	461	NUM
ejpam-1944	218	29	-	-	SYM
ejpam-1944	218	30	474	474	NUM
ejpam-1944	218	31	,	,	PUNCT
ejpam-1944	218	32	2000	2000	NUM
ejpam-1944	218	33	.	.	PUNCT
ejpam-1944	219	1	[	[	X
ejpam-1944	219	2	9	9	NUM
ejpam-1944	219	3	]	]	PUNCT
ejpam-1944	219	4	a.	a.	NOUN
ejpam-1944	219	5	grothendieck	grothendieck	NOUN
ejpam-1944	219	6	.	.	PUNCT
ejpam-1944	220	1	catégories	catégorie	NOUN
ejpam-1944	220	2	cofibrées	cofibrées	NOUN
ejpam-1944	220	3	additives	additive	NOUN
ejpam-1944	220	4	et	et	PROPN
ejpam-1944	220	5	complexe	complexe	PROPN
ejpam-1944	220	6	cotangent	cotangent	PROPN
ejpam-1944	220	7	relatif	relatif	PROPN
ejpam-1944	220	8	,	,	PUNCT
ejpam-1944	220	9	lecture	lecture	NOUN
ejpam-1944	220	10	notes	note	NOUN
ejpam-1944	220	11	in	in	ADP
ejpam-1944	220	12	mathematics	mathematic	NOUN
ejpam-1944	220	13	,	,	PUNCT
ejpam-1944	220	14	volume	volume	NOUN
ejpam-1944	220	15	79	79	NUM
ejpam-1944	220	16	.	.	PUNCT
ejpam-1944	221	1	springer	springer	NOUN
ejpam-1944	221	2	-	-	PUNCT
ejpam-1944	221	3	verlag	verlag	PROPN
ejpam-1944	221	4	,	,	PUNCT
ejpam-1944	221	5	berlin	berlin	PROPN
ejpam-1944	221	6	(	(	PUNCT
ejpam-1944	221	7	1968	1968	NUM
ejpam-1944	221	8	)	)	PUNCT
ejpam-1944	221	9	.	.	PUNCT
ejpam-1944	222	1	[	[	X
ejpam-1944	222	2	10	10	NUM
ejpam-1944	222	3	]	]	PUNCT
ejpam-1944	222	4	t.	t.	NOUN
ejpam-1944	222	5	porter	porter	NOUN
ejpam-1944	222	6	.	.	PUNCT
ejpam-1944	223	1	some	some	DET
ejpam-1944	223	2	categorical	categorical	ADJ
ejpam-1944	223	3	results	result	NOUN
ejpam-1944	223	4	in	in	ADP
ejpam-1944	223	5	the	the	DET
ejpam-1944	223	6	theory	theory	NOUN
ejpam-1944	223	7	of	of	ADP
ejpam-1944	223	8	crossed	cross	VERB
ejpam-1944	223	9	modules	module	NOUN
ejpam-1944	223	10	in	in	ADP
ejpam-1944	223	11	commutative	commutative	ADJ
ejpam-1944	223	12	algebras	algebra	NOUN
ejpam-1944	223	13	,	,	PUNCT
ejpam-1944	223	14	journal	journal	NOUN
ejpam-1944	223	15	of	of	ADP
ejpam-1944	223	16	algebra	algebra	PROPN
ejpam-1944	223	17	,	,	PUNCT
ejpam-1944	223	18	109	109	NUM
ejpam-1944	223	19	,	,	PUNCT
ejpam-1944	223	20	pp	pp	ADV
ejpam-1944	223	21	415	415	NUM
ejpam-1944	223	22	-	-	SYM
ejpam-1944	223	23	429	429	NUM
ejpam-1944	223	24	,	,	PUNCT
ejpam-1944	223	25	(	(	PUNCT
ejpam-1944	223	26	1987	1987	NUM
ejpam-1944	223	27	)	)	PUNCT
ejpam-1944	223	28	.	.	PUNCT
ejpam-1944	224	1	[	[	X
ejpam-1944	224	2	11	11	NUM
ejpam-1944	224	3	]	]	PUNCT
ejpam-1944	224	4	t.	t.	NOUN
ejpam-1944	224	5	streicher	streicher	NOUN
ejpam-1944	224	6	.	.	PUNCT
ejpam-1944	225	1	fibred	fibre	VERB
ejpam-1944	225	2	categories	category	NOUN
ejpam-1944	225	3	à	à	X
ejpam-1944	225	4	la	la	PROPN
ejpam-1944	225	5	bénabou	bénabou	PROPN
ejpam-1944	225	6	,	,	PUNCT
ejpam-1944	225	7	http://www.mathematik	http://www.mathematik	PROPN
ejpam-1944	225	8	.	.	PUNCT
ejpam-1944	226	1	tu-darmstadt.de/~streicher/fibr/fiblec.pdf	tu-darmstadt.de/~streicher/fibr/fiblec.pdf	PROPN
ejpam-1944	226	2	,	,	PUNCT
ejpam-1944	226	3	pp	pp	ADV
ejpam-1944	226	4	1	1	NUM
ejpam-1944	226	5	-	-	SYM
ejpam-1944	226	6	85	85	NUM
ejpam-1944	226	7	,	,	PUNCT
ejpam-1944	226	8	(	(	PUNCT
ejpam-1944	226	9	1999	1999	NUM
ejpam-1944	226	10	)	)	PUNCT
ejpam-1944	226	11	.	.	PUNCT
ejpam-1944	227	1	[	[	X
ejpam-1944	227	2	12	12	NUM
ejpam-1944	227	3	]	]	X
ejpam-1944	227	4	j.h.c	j.h.c	NOUN
ejpam-1944	227	5	.	.	PUNCT
ejpam-1944	227	6	whitehead	whitehead	PROPN
ejpam-1944	227	7	.	.	PUNCT
ejpam-1944	228	1	combinatorial	combinatorial	PROPN
ejpam-1944	228	2	homotopy	homotopy	PROPN
ejpam-1944	228	3	ii	ii	PROPN
ejpam-1944	228	4	,	,	PUNCT
ejpam-1944	228	5	bulletin	bulletin	NOUN
ejpam-1944	228	6	of	of	ADP
ejpam-1944	228	7	the	the	DET
ejpam-1944	228	8	american	american	PROPN
ejpam-1944	228	9	mathematical	mathematical	PROPN
ejpam-1944	228	10	society	society	NOUN
ejpam-1944	228	11	,	,	PUNCT
ejpam-1944	228	12	55	55	NUM
ejpam-1944	228	13	,	,	PUNCT
ejpam-1944	228	14	pp	pp	ADV
ejpam-1944	228	15	453	453	NUM
ejpam-1944	228	16	-	-	NUM
ejpam-1944	228	17	496	496	NUM
ejpam-1944	228	18	,	,	PUNCT
ejpam-1944	228	19	(	(	PUNCT
ejpam-1944	228	20	1949	1949	NUM
ejpam-1944	228	21	)	)	PUNCT
ejpam-1944	228	22	.	.	PUNCT