id	sid	tid	token	lemma	pos
ejpam-3020	1	1	european	european	PROPN
ejpam-3020	1	2	journal	journal	PROPN
ejpam-3020	1	3	of	of	ADP
ejpam-3020	1	4	pure	pure	ADJ
ejpam-3020	1	5	and	and	CCONJ
ejpam-3020	1	6	applied	apply	VERB
ejpam-3020	1	7	mathematics	mathematic	NOUN
ejpam-3020	1	8	vol	vol	NOUN
ejpam-3020	1	9	.	.	PROPN
ejpam-3020	2	1	10	10	NUM
ejpam-3020	2	2	,	,	PUNCT
ejpam-3020	2	3	no	no	INTJ
ejpam-3020	2	4	.	.	NOUN
ejpam-3020	2	5	4	4	NUM
ejpam-3020	2	6	,	,	PUNCT
ejpam-3020	2	7	2017	2017	NUM
ejpam-3020	2	8	,	,	PUNCT
ejpam-3020	2	9	850	850	NUM
ejpam-3020	2	10	-	-	SYM
ejpam-3020	2	11	857	857	NUM
ejpam-3020	2	12	issn	issn	PROPN
ejpam-3020	2	13	1307	1307	NUM
ejpam-3020	2	14	-	-	SYM
ejpam-3020	2	15	5543	5543	NUM
ejpam-3020	2	16	–	–	PUNCT
ejpam-3020	2	17	www.ejpam.com	www.ejpam.com	X
ejpam-3020	2	18	published	publish	VERB
ejpam-3020	2	19	by	by	ADP
ejpam-3020	2	20	new	new	PROPN
ejpam-3020	2	21	york	york	PROPN
ejpam-3020	2	22	business	business	PROPN
ejpam-3020	2	23	global	global	PROPN
ejpam-3020	2	24	monomorphism	monomorphism	PROPN
ejpam-3020	2	25	and	and	CCONJ
ejpam-3020	2	26	epimorphism	epimorphism	NOUN
ejpam-3020	2	27	properties	property	NOUN
ejpam-3020	2	28	of	of	ADP
ejpam-3020	2	29	soft	soft	ADJ
ejpam-3020	2	30	categories	category	NOUN
ejpam-3020	2	31	simge	simge	NOUN
ejpam-3020	2	32	öztunç1,∗	öztunç1,∗	PROPN
ejpam-3020	2	33	,	,	PUNCT
ejpam-3020	2	34	ali	ali	PROPN
ejpam-3020	2	35	mutlu1	mutlu1	PROPN
ejpam-3020	2	36	,	,	PUNCT
ejpam-3020	2	37	aysun	aysun	PROPN
ejpam-3020	2	38	erdoğan	erdoğan	NOUN
ejpam-3020	2	39	sert1	sert1	NOUN
ejpam-3020	2	40	1	1	NUM
ejpam-3020	2	41	manisa	manisa	PROPN
ejpam-3020	2	42	celal	celal	PROPN
ejpam-3020	2	43	bayar	bayar	PROPN
ejpam-3020	2	44	university	university	PROPN
ejpam-3020	2	45	,	,	PUNCT
ejpam-3020	2	46	faculty	faculty	NOUN
ejpam-3020	2	47	of	of	ADP
ejpam-3020	2	48	science	science	NOUN
ejpam-3020	2	49	and	and	CCONJ
ejpam-3020	2	50	arts	art	NOUN
ejpam-3020	2	51	,	,	PUNCT
ejpam-3020	2	52	department	department	NOUN
ejpam-3020	2	53	of	of	ADP
ejpam-3020	2	54	mathematics	mathematics	PROPN
ejpam-3020	2	55	,	,	PUNCT
ejpam-3020	2	56	turkey	turkey	NOUN
ejpam-3020	2	57	abstract	abstract	NOUN
ejpam-3020	2	58	.	.	PUNCT
ejpam-3020	3	1	in	in	ADP
ejpam-3020	3	2	this	this	DET
ejpam-3020	3	3	paper	paper	NOUN
ejpam-3020	3	4	,	,	PUNCT
ejpam-3020	3	5	firstly	firstly	ADV
ejpam-3020	3	6	we	we	PRON
ejpam-3020	3	7	recall	recall	VERB
ejpam-3020	3	8	some	some	DET
ejpam-3020	3	9	definitions	definition	NOUN
ejpam-3020	3	10	and	and	CCONJ
ejpam-3020	3	11	basic	basic	ADJ
ejpam-3020	3	12	properties	property	NOUN
ejpam-3020	3	13	of	of	ADP
ejpam-3020	3	14	soft	soft	ADJ
ejpam-3020	3	15	set	set	NOUN
ejpam-3020	3	16	theory	theory	NOUN
ejpam-3020	3	17	,	,	PUNCT
ejpam-3020	3	18	category	category	NOUN
ejpam-3020	3	19	theory	theory	NOUN
ejpam-3020	3	20	and	and	CCONJ
ejpam-3020	3	21	soft	soft	ADJ
ejpam-3020	3	22	category	category	NOUN
ejpam-3020	3	23	theory	theory	NOUN
ejpam-3020	3	24	.	.	PUNCT
ejpam-3020	4	1	we	we	PRON
ejpam-3020	4	2	study	study	VERB
ejpam-3020	4	3	on	on	ADP
ejpam-3020	4	4	soft	soft	ADJ
ejpam-3020	4	5	monomorphism	monomorphism	NOUN
ejpam-3020	4	6	,	,	PUNCT
ejpam-3020	4	7	soft	soft	ADJ
ejpam-3020	4	8	epimorphism	epimorphism	NOUN
ejpam-3020	4	9	,	,	PUNCT
ejpam-3020	4	10	equalizer	equalizer	NOUN
ejpam-3020	4	11	and	and	CCONJ
ejpam-3020	4	12	coequalizer	coequalizer	NOUN
ejpam-3020	4	13	for	for	ADP
ejpam-3020	4	14	soft	soft	ADJ
ejpam-3020	4	15	categories	category	NOUN
ejpam-3020	4	16	.	.	PUNCT
ejpam-3020	5	1	we	we	PRON
ejpam-3020	5	2	gave	give	VERB
ejpam-3020	5	3	some	some	DET
ejpam-3020	5	4	properties	property	NOUN
ejpam-3020	5	5	of	of	ADP
ejpam-3020	5	6	these	these	DET
ejpam-3020	5	7	soft	soft	ADJ
ejpam-3020	5	8	morphisms	morphism	NOUN
ejpam-3020	5	9	.	.	PUNCT
ejpam-3020	6	1	we	we	PRON
ejpam-3020	6	2	proved	prove	VERB
ejpam-3020	6	3	that	that	SCONJ
ejpam-3020	6	4	the	the	DET
ejpam-3020	6	5	soft	soft	ADJ
ejpam-3020	6	6	category	category	NOUN
ejpam-3020	6	7	sfun	sfun	NOUN
ejpam-3020	6	8	has	have	VERB
ejpam-3020	6	9	coequalizers	coequalizer	NOUN
ejpam-3020	6	10	,	,	PUNCT
ejpam-3020	6	11	equalizer	equalizer	NOUN
ejpam-3020	6	12	of	of	ADP
ejpam-3020	6	13	a	a	DET
ejpam-3020	6	14	morphism	morphism	NOUN
ejpam-3020	6	15	pair	pair	NOUN
ejpam-3020	6	16	in	in	ADP
ejpam-3020	6	17	sfun	sfun	ADJ
ejpam-3020	6	18	category	category	NOUN
ejpam-3020	6	19	is	be	AUX
ejpam-3020	6	20	soft	soft	ADJ
ejpam-3020	6	21	monic	monic	ADJ
ejpam-3020	6	22	and	and	CCONJ
ejpam-3020	6	23	coequalizers	coequalizer	NOUN
ejpam-3020	6	24	of	of	ADP
ejpam-3020	6	25	a	a	DET
ejpam-3020	6	26	morphism	morphism	NOUN
ejpam-3020	6	27	pair	pair	NOUN
ejpam-3020	6	28	in	in	ADP
ejpam-3020	6	29	sfun	sfun	ADJ
ejpam-3020	6	30	category	category	NOUN
ejpam-3020	6	31	is	be	AUX
ejpam-3020	6	32	soft	soft	ADJ
ejpam-3020	6	33	epic	epic	ADJ
ejpam-3020	6	34	.	.	PUNCT
ejpam-3020	7	1	2010	2010	NUM
ejpam-3020	7	2	mathematics	mathematic	NOUN
ejpam-3020	7	3	subject	subject	NOUN
ejpam-3020	7	4	classifications	classification	NOUN
ejpam-3020	7	5	:	:	PUNCT
ejpam-3020	7	6	46a80	46a80	NUM
ejpam-3020	7	7	,	,	PUNCT
ejpam-3020	7	8	47h10	47h10	NUM
ejpam-3020	7	9	,	,	PUNCT
ejpam-3020	7	10	54h25	54h25	NUM
ejpam-3020	7	11	key	key	ADJ
ejpam-3020	7	12	words	word	NOUN
ejpam-3020	7	13	and	and	CCONJ
ejpam-3020	7	14	phrases	phrase	NOUN
ejpam-3020	7	15	:	:	PUNCT
ejpam-3020	7	16	soft	soft	ADJ
ejpam-3020	7	17	set	set	NOUN
ejpam-3020	7	18	,	,	PUNCT
ejpam-3020	7	19	soft	soft	ADJ
ejpam-3020	7	20	category	category	NOUN
ejpam-3020	7	21	,	,	PUNCT
ejpam-3020	7	22	monomorphism	monomorphism	NOUN
ejpam-3020	7	23	,	,	PUNCT
ejpam-3020	7	24	epimorphism	epimorphism	PROPN
ejpam-3020	7	25	1	1	NUM
ejpam-3020	7	26	.	.	PUNCT
ejpam-3020	7	27	introduction	introduction	NOUN
ejpam-3020	7	28	the	the	DET
ejpam-3020	7	29	concept	concept	NOUN
ejpam-3020	7	30	of	of	ADP
ejpam-3020	7	31	soft	soft	ADJ
ejpam-3020	7	32	sets	set	NOUN
ejpam-3020	7	33	was	be	AUX
ejpam-3020	7	34	introduced	introduce	VERB
ejpam-3020	7	35	by	by	ADP
ejpam-3020	7	36	d.	d.	PROPN
ejpam-3020	7	37	molodtsov	molodtsov	PROPN
ejpam-3020	8	1	[	[	X
ejpam-3020	8	2	6	6	NUM
ejpam-3020	8	3	]	]	PUNCT
ejpam-3020	8	4	in	in	ADP
ejpam-3020	8	5	1999	1999	NUM
ejpam-3020	8	6	and	and	CCONJ
ejpam-3020	8	7	soft	soft	ADJ
ejpam-3020	8	8	set	set	NOUN
ejpam-3020	8	9	theory	theory	NOUN
ejpam-3020	8	10	became	become	VERB
ejpam-3020	8	11	an	an	DET
ejpam-3020	8	12	alternative	alternative	ADJ
ejpam-3020	8	13	and	and	CCONJ
ejpam-3020	8	14	useful	useful	ADJ
ejpam-3020	8	15	tool	tool	NOUN
ejpam-3020	8	16	for	for	ADP
ejpam-3020	8	17	computer	computer	NOUN
ejpam-3020	8	18	science	science	NOUN
ejpam-3020	8	19	,	,	PUNCT
ejpam-3020	8	20	modeling	model	VERB
ejpam-3020	8	21	problems	problem	NOUN
ejpam-3020	8	22	in	in	ADP
ejpam-3020	8	23	engineering	engineering	NOUN
ejpam-3020	8	24	,	,	PUNCT
ejpam-3020	8	25	economics	economic	NOUN
ejpam-3020	8	26	,	,	PUNCT
ejpam-3020	8	27	medical	medical	ADJ
ejpam-3020	8	28	and	and	CCONJ
ejpam-3020	8	29	social	social	ADJ
ejpam-3020	8	30	science	science	NOUN
ejpam-3020	8	31	.	.	PUNCT
ejpam-3020	9	1	theorical	theorical	ADJ
ejpam-3020	9	2	properties	property	NOUN
ejpam-3020	9	3	of	of	ADP
ejpam-3020	9	4	soft	soft	ADJ
ejpam-3020	9	5	set	set	NOUN
ejpam-3020	9	6	theory	theory	NOUN
ejpam-3020	9	7	has	have	AUX
ejpam-3020	9	8	also	also	ADV
ejpam-3020	9	9	been	be	AUX
ejpam-3020	9	10	studied	study	VERB
ejpam-3020	9	11	some	some	DET
ejpam-3020	9	12	mathematicians	mathematician	NOUN
ejpam-3020	9	13	.	.	PUNCT
ejpam-3020	10	1	maji	maji	PROPN
ejpam-3020	10	2	et	et	PROPN
ejpam-3020	10	3	all	all	PRON
ejpam-3020	11	1	[	[	X
ejpam-3020	11	2	5	5	NUM
ejpam-3020	11	3	]	]	PUNCT
ejpam-3020	11	4	defined	define	VERB
ejpam-3020	11	5	some	some	DET
ejpam-3020	11	6	operations	operation	NOUN
ejpam-3020	11	7	on	on	ADP
ejpam-3020	11	8	soft	soft	ADJ
ejpam-3020	11	9	sets	set	NOUN
ejpam-3020	11	10	.	.	PUNCT
ejpam-3020	12	1	on	on	ADP
ejpam-3020	12	2	the	the	DET
ejpam-3020	12	3	other	other	ADJ
ejpam-3020	12	4	hand	hand	NOUN
ejpam-3020	12	5	aras	ara	NOUN
ejpam-3020	12	6	,	,	PUNCT
ejpam-3020	12	7	sönmez	sönmez	NOUN
ejpam-3020	12	8	,	,	PUNCT
ejpam-3020	12	9	çakallı	çakallı	X
ejpam-3020	13	1	[	[	X
ejpam-3020	13	2	1	1	NUM
ejpam-3020	13	3	]	]	PUNCT
ejpam-3020	13	4	and	and	CCONJ
ejpam-3020	13	5	zorlutuna	zorlutuna	PROPN
ejpam-3020	13	6	,	,	PUNCT
ejpam-3020	13	7	çakır	çakır	X
ejpam-3020	14	1	[	[	X
ejpam-3020	14	2	11	11	NUM
ejpam-3020	14	3	]	]	PUNCT
ejpam-3020	14	4	worked	work	VERB
ejpam-3020	14	5	on	on	ADP
ejpam-3020	14	6	continuity	continuity	NOUN
ejpam-3020	14	7	of	of	ADP
ejpam-3020	14	8	soft	soft	ADJ
ejpam-3020	14	9	mappings	mapping	NOUN
ejpam-3020	14	10	.	.	PUNCT
ejpam-3020	15	1	also	also	ADV
ejpam-3020	15	2	probabilistic	probabilistic	VERB
ejpam-3020	15	3	soft	soft	ADJ
ejpam-3020	15	4	set	set	NOUN
ejpam-3020	15	5	theory	theory	NOUN
ejpam-3020	15	6	has	have	AUX
ejpam-3020	15	7	been	be	AUX
ejpam-3020	15	8	studied	study	VERB
ejpam-3020	15	9	by	by	ADP
ejpam-3020	15	10	aras	ara	NOUN
ejpam-3020	15	11	and	and	CCONJ
ejpam-3020	15	12	poşul	poşul	PROPN
ejpam-3020	15	13	in	in	ADP
ejpam-3020	15	14	[	[	X
ejpam-3020	15	15	2	2	NUM
ejpam-3020	15	16	]	]	PUNCT
ejpam-3020	15	17	and	and	CCONJ
ejpam-3020	15	18	soft	soft	ADJ
ejpam-3020	15	19	topological	topological	ADJ
ejpam-3020	15	20	spaces	space	NOUN
ejpam-3020	15	21	have	have	AUX
ejpam-3020	15	22	been	be	AUX
ejpam-3020	15	23	studied	study	VERB
ejpam-3020	15	24	by	by	ADP
ejpam-3020	15	25	shabir	shabir	PROPN
ejpam-3020	15	26	and	and	CCONJ
ejpam-3020	15	27	naz	naz	PROPN
ejpam-3020	15	28	in	in	ADP
ejpam-3020	15	29	[	[	X
ejpam-3020	15	30	9	9	NUM
ejpam-3020	15	31	]	]	PUNCT
ejpam-3020	15	32	.	.	PUNCT
ejpam-3020	16	1	the	the	DET
ejpam-3020	16	2	soft	soft	ADJ
ejpam-3020	16	3	category	category	NOUN
ejpam-3020	16	4	theory	theory	NOUN
ejpam-3020	16	5	studied	study	VERB
ejpam-3020	16	6	by	by	ADP
ejpam-3020	16	7	sardar	sardar	PROPN
ejpam-3020	16	8	and	and	CCONJ
ejpam-3020	16	9	gupta	gupta	PROPN
ejpam-3020	16	10	in	in	ADP
ejpam-3020	16	11	[	[	X
ejpam-3020	16	12	8	8	NUM
ejpam-3020	16	13	]	]	PUNCT
ejpam-3020	16	14	and	and	CCONJ
ejpam-3020	16	15	zhou	zhou	PROPN
ejpam-3020	16	16	,	,	PUNCT
ejpam-3020	16	17	li	li	PROPN
ejpam-3020	16	18	and	and	CCONJ
ejpam-3020	16	19	akram	akram	PROPN
ejpam-3020	16	20	in	in	ADP
ejpam-3020	16	21	[	[	X
ejpam-3020	16	22	10	10	NUM
ejpam-3020	16	23	]	]	PUNCT
ejpam-3020	16	24	and	and	CCONJ
ejpam-3020	16	25	öztunç	öztunç	NOUN
ejpam-3020	17	1	[	[	X
ejpam-3020	17	2	7	7	NUM
ejpam-3020	17	3	]	]	PUNCT
ejpam-3020	17	4	.	.	PUNCT
ejpam-3020	18	1	they	they	PRON
ejpam-3020	18	2	introduced	introduce	VERB
ejpam-3020	18	3	the	the	DET
ejpam-3020	18	4	basic	basic	ADJ
ejpam-3020	18	5	notions	notion	NOUN
ejpam-3020	18	6	of	of	ADP
ejpam-3020	18	7	the	the	DET
ejpam-3020	18	8	theory	theory	NOUN
ejpam-3020	18	9	of	of	ADP
ejpam-3020	18	10	soft	soft	ADJ
ejpam-3020	18	11	categories	category	NOUN
ejpam-3020	18	12	and	and	CCONJ
ejpam-3020	18	13	gave	give	VERB
ejpam-3020	18	14	some	some	DET
ejpam-3020	18	15	introductory	introductory	ADJ
ejpam-3020	18	16	results	result	NOUN
ejpam-3020	18	17	of	of	ADP
ejpam-3020	18	18	the	the	DET
ejpam-3020	18	19	soft	soft	ADJ
ejpam-3020	18	20	category	category	NOUN
ejpam-3020	18	21	theory	theory	NOUN
ejpam-3020	18	22	.	.	PUNCT
ejpam-3020	19	1	the	the	DET
ejpam-3020	19	2	purpose	purpose	NOUN
ejpam-3020	19	3	of	of	ADP
ejpam-3020	19	4	this	this	DET
ejpam-3020	19	5	paper	paper	NOUN
ejpam-3020	19	6	is	be	AUX
ejpam-3020	19	7	to	to	PART
ejpam-3020	19	8	study	study	VERB
ejpam-3020	19	9	some	some	DET
ejpam-3020	19	10	new	new	ADJ
ejpam-3020	19	11	properties	property	NOUN
ejpam-3020	19	12	of	of	ADP
ejpam-3020	19	13	soft	soft	ADJ
ejpam-3020	19	14	category	category	NOUN
ejpam-3020	19	15	theory	theory	NOUN
ejpam-3020	19	16	.	.	PUNCT
ejpam-3020	20	1	zhou	zhou	PROPN
ejpam-3020	20	2	,	,	PUNCT
ejpam-3020	20	3	li	li	PROPN
ejpam-3020	20	4	and	and	CCONJ
ejpam-3020	20	5	akram	akram	PROPN
ejpam-3020	21	1	[	[	X
ejpam-3020	21	2	10	10	NUM
ejpam-3020	21	3	]	]	PUNCT
ejpam-3020	21	4	defined	define	VERB
ejpam-3020	21	5	the	the	DET
ejpam-3020	21	6	sfun	sfun	ADJ
ejpam-3020	21	7	category	category	NOUN
ejpam-3020	21	8	and	and	CCONJ
ejpam-3020	21	9	gave	give	VERB
ejpam-3020	21	10	some	some	DET
ejpam-3020	21	11	results	result	NOUN
ejpam-3020	21	12	such	such	ADJ
ejpam-3020	21	13	as	as	ADP
ejpam-3020	21	14	sfun	sfun	NOUN
ejpam-3020	21	15	has	have	VERB
ejpam-3020	21	16	equalizers	equalizer	NOUN
ejpam-3020	21	17	in	in	ADP
ejpam-3020	21	18	[	[	X
ejpam-3020	21	19	10	10	NUM
ejpam-3020	21	20	]	]	PUNCT
ejpam-3020	21	21	.	.	PUNCT
ejpam-3020	22	1	then	then	ADV
ejpam-3020	22	2	we	we	PRON
ejpam-3020	22	3	present	present	VERB
ejpam-3020	22	4	monomorphism	monomorphism	NOUN
ejpam-3020	22	5	and	and	CCONJ
ejpam-3020	22	6	epimorphism	epimorphism	NOUN
ejpam-3020	22	7	properties	property	NOUN
ejpam-3020	22	8	of	of	ADP
ejpam-3020	22	9	sfun	sfun	ADJ
ejpam-3020	22	10	category	category	NOUN
ejpam-3020	22	11	and	and	CCONJ
ejpam-3020	22	12	also	also	ADV
ejpam-3020	22	13	prove	prove	VERB
ejpam-3020	22	14	sfun	sfun	NOUN
ejpam-3020	22	15	has	have	VERB
ejpam-3020	22	16	coequalizers	coequalizer	NOUN
ejpam-3020	22	17	.	.	PUNCT
ejpam-3020	23	1	we	we	PRON
ejpam-3020	23	2	used	use	VERB
ejpam-3020	23	3	some	some	DET
ejpam-3020	23	4	fundamental	fundamental	ADJ
ejpam-3020	23	5	books	book	NOUN
ejpam-3020	23	6	from	from	ADP
ejpam-3020	23	7	category	category	NOUN
ejpam-3020	23	8	theory	theory	NOUN
ejpam-3020	23	9	such	such	ADJ
ejpam-3020	23	10	as	as	ADP
ejpam-3020	23	11	[	[	X
ejpam-3020	23	12	3	3	NUM
ejpam-3020	23	13	]	]	PUNCT
ejpam-3020	23	14	and	and	CCONJ
ejpam-3020	23	15	[	[	X
ejpam-3020	23	16	4	4	NUM
ejpam-3020	23	17	]	]	PUNCT
ejpam-3020	23	18	.	.	PUNCT
ejpam-3020	24	1	∗corresponding	∗corresponde	VERB
ejpam-3020	24	2	author	author	NOUN
ejpam-3020	24	3	.	.	PUNCT
ejpam-3020	25	1	email	email	NOUN
ejpam-3020	25	2	addresses	address	NOUN
ejpam-3020	25	3	:	:	PUNCT
ejpam-3020	25	4	simge.oztunc@cbu.edu.tr	simge.oztunc@cbu.edu.tr	PROPN
ejpam-3020	25	5	(	(	PUNCT
ejpam-3020	25	6	s.	s.	PROPN
ejpam-3020	25	7	öztunç	öztunç	PROPN
ejpam-3020	25	8	)	)	PUNCT
ejpam-3020	25	9	,	,	PUNCT
ejpam-3020	25	10	abgamutlu@gmail.com	abgamutlu@gmail.com	X
ejpam-3020	25	11	(	(	PUNCT
ejpam-3020	25	12	a.	a.	PROPN
ejpam-3020	25	13	mutlu	mutlu	PROPN
ejpam-3020	25	14	)	)	PUNCT
ejpam-3020	25	15	,	,	PUNCT
ejpam-3020	25	16	aysn−erdogn@hotmail.com	aysn−erdogn@hotmail.com	PROPN
ejpam-3020	25	17	(	(	PUNCT
ejpam-3020	25	18	a.	a.	NOUN
ejpam-3020	25	19	erdoğan	erdoğan	NOUN
ejpam-3020	25	20	sert	sert	PROPN
ejpam-3020	25	21	)	)	PUNCT
ejpam-3020	25	22	http://www.ejpam.com	http://www.ejpam.com	X
ejpam-3020	26	1	850	850	NUM
ejpam-3020	26	2	c	c	NOUN
ejpam-3020	26	3	©	©	PROPN
ejpam-3020	26	4	2017	2017	NUM
ejpam-3020	26	5	ejpam	ejpam	VERB
ejpam-3020	26	6	all	all	DET
ejpam-3020	26	7	rights	right	NOUN
ejpam-3020	26	8	reserved	reserve	VERB
ejpam-3020	26	9	.	.	PUNCT
ejpam-3020	27	1	s.	s.	PROPN
ejpam-3020	27	2	öztunç	öztunç	PROPN
ejpam-3020	27	3	,	,	PUNCT
ejpam-3020	27	4	a.	a.	PROPN
ejpam-3020	27	5	mutlu	mutlu	PROPN
ejpam-3020	27	6	,	,	PUNCT
ejpam-3020	27	7	a.	a.	NOUN
ejpam-3020	27	8	erdoğan	erdoğan	NOUN
ejpam-3020	27	9	sert	sert	PROPN
ejpam-3020	27	10	/	/	SYM
ejpam-3020	27	11	eur	eur	PROPN
ejpam-3020	27	12	.	.	PUNCT
ejpam-3020	28	1	j.	j.	PROPN
ejpam-3020	28	2	pure	pure	PROPN
ejpam-3020	28	3	appl	appl	PROPN
ejpam-3020	28	4	.	.	PROPN
ejpam-3020	28	5	math	math	PROPN
ejpam-3020	28	6	,	,	PUNCT
ejpam-3020	28	7	10	10	NUM
ejpam-3020	28	8	(	(	PUNCT
ejpam-3020	28	9	4	4	NUM
ejpam-3020	28	10	)	)	PUNCT
ejpam-3020	28	11	(	(	PUNCT
ejpam-3020	28	12	2017	2017	NUM
ejpam-3020	28	13	)	)	PUNCT
ejpam-3020	28	14	,	,	PUNCT
ejpam-3020	28	15	850	850	NUM
ejpam-3020	28	16	-	-	SYM
ejpam-3020	28	17	857	857	NUM
ejpam-3020	28	18	851	851	NUM
ejpam-3020	28	19	2	2	NUM
ejpam-3020	28	20	.	.	PUNCT
ejpam-3020	28	21	preliminaries	preliminary	NOUN
ejpam-3020	28	22	we	we	PRON
ejpam-3020	28	23	express	express	VERB
ejpam-3020	28	24	a	a	DET
ejpam-3020	28	25	series	series	NOUN
ejpam-3020	28	26	of	of	ADP
ejpam-3020	28	27	definitions	definition	NOUN
ejpam-3020	28	28	of	of	ADP
ejpam-3020	28	29	some	some	DET
ejpam-3020	28	30	fundamental	fundamental	ADJ
ejpam-3020	28	31	notions	notion	NOUN
ejpam-3020	28	32	related	relate	VERB
ejpam-3020	28	33	to	to	ADP
ejpam-3020	28	34	soft	soft	ADJ
ejpam-3020	28	35	set	set	NOUN
ejpam-3020	28	36	theory	theory	NOUN
ejpam-3020	28	37	and	and	CCONJ
ejpam-3020	28	38	category	category	NOUN
ejpam-3020	28	39	theory	theory	NOUN
ejpam-3020	28	40	.	.	PUNCT
ejpam-3020	29	1	definition	definition	NOUN
ejpam-3020	29	2	1	1	NUM
ejpam-3020	29	3	.	.	PUNCT
ejpam-3020	30	1	[	[	X
ejpam-3020	30	2	6	6	NUM
ejpam-3020	30	3	]	]	PUNCT
ejpam-3020	30	4	a	a	DET
ejpam-3020	30	5	pair	pair	NOUN
ejpam-3020	30	6	(	(	PUNCT
ejpam-3020	30	7	f	f	X
ejpam-3020	30	8	,	,	PUNCT
ejpam-3020	30	9	a	a	PRON
ejpam-3020	30	10	)	)	PUNCT
ejpam-3020	30	11	is	be	AUX
ejpam-3020	30	12	said	say	VERB
ejpam-3020	30	13	to	to	PART
ejpam-3020	30	14	be	be	AUX
ejpam-3020	30	15	a	a	DET
ejpam-3020	30	16	soft	soft	ADJ
ejpam-3020	30	17	set	set	NOUN
ejpam-3020	30	18	over	over	ADP
ejpam-3020	30	19	the	the	DET
ejpam-3020	30	20	universe	universe	NOUN
ejpam-3020	30	21	x	x	NOUN
ejpam-3020	30	22	,	,	PUNCT
ejpam-3020	30	23	where	where	SCONJ
ejpam-3020	30	24	f	f	PROPN
ejpam-3020	30	25	is	be	AUX
ejpam-3020	30	26	a	a	DET
ejpam-3020	30	27	mapping	mapping	NOUN
ejpam-3020	30	28	given	give	VERB
ejpam-3020	30	29	by	by	ADP
ejpam-3020	30	30	f	f	PROPN
ejpam-3020	30	31	:	:	PUNCT
ejpam-3020	30	32	a→	a→	PUNCT
ejpam-3020	30	33	p	p	X
ejpam-3020	30	34	(	(	PUNCT
ejpam-3020	30	35	x	x	NOUN
ejpam-3020	30	36	)	)	PUNCT
ejpam-3020	30	37	and	and	CCONJ
ejpam-3020	30	38	a	a	DET
ejpam-3020	30	39	⊆	⊆	NUM
ejpam-3020	30	40	e.	e.	NOUN
ejpam-3020	30	41	any	any	DET
ejpam-3020	30	42	soft	soft	ADJ
ejpam-3020	30	43	set	set	NOUN
ejpam-3020	30	44	(	(	PUNCT
ejpam-3020	30	45	f	f	X
ejpam-3020	30	46	,	,	PUNCT
ejpam-3020	30	47	a	a	PRON
ejpam-3020	30	48	)	)	PUNCT
ejpam-3020	30	49	can	can	AUX
ejpam-3020	30	50	be	be	AUX
ejpam-3020	30	51	extended	extend	VERB
ejpam-3020	30	52	to	to	ADP
ejpam-3020	30	53	a	a	DET
ejpam-3020	30	54	soft	soft	ADJ
ejpam-3020	30	55	set	set	NOUN
ejpam-3020	30	56	of	of	ADP
ejpam-3020	30	57	type	type	NOUN
ejpam-3020	30	58	(	(	PUNCT
ejpam-3020	30	59	f	f	X
ejpam-3020	30	60	,	,	PUNCT
ejpam-3020	30	61	e	e	NOUN
ejpam-3020	30	62	)	)	PUNCT
ejpam-3020	30	63	,	,	PUNCT
ejpam-3020	30	64	where	where	SCONJ
ejpam-3020	30	65	f	f	PROPN
ejpam-3020	30	66	(	(	PUNCT
ejpam-3020	30	67	e	e	NOUN
ejpam-3020	30	68	)	)	PUNCT
ejpam-3020	30	69	6=	6=	ADP
ejpam-3020	30	70	∅	∅	NOUN
ejpam-3020	30	71	for	for	ADP
ejpam-3020	30	72	all	all	DET
ejpam-3020	30	73	e	e	PROPN
ejpam-3020	30	74	∈	∈	PROPN
ejpam-3020	30	75	a	a	PRON
ejpam-3020	30	76	and	and	CCONJ
ejpam-3020	30	77	f	f	PROPN
ejpam-3020	30	78	(	(	PUNCT
ejpam-3020	30	79	e	e	NOUN
ejpam-3020	30	80	)	)	PUNCT
ejpam-3020	30	81	=	=	NOUN
ejpam-3020	30	82	∅	∅	NOUN
ejpam-3020	30	83	for	for	ADP
ejpam-3020	30	84	all	all	DET
ejpam-3020	30	85	e	e	PROPN
ejpam-3020	30	86	∈	∈	PROPN
ejpam-3020	30	87	e\a	e\a	PROPN
ejpam-3020	30	88	.	.	PUNCT
ejpam-3020	30	89	s(x	s(x	PROPN
ejpam-3020	30	90	,	,	PUNCT
ejpam-3020	30	91	e	e	NOUN
ejpam-3020	30	92	)	)	PUNCT
ejpam-3020	30	93	indicates	indicate	VERB
ejpam-3020	30	94	the	the	DET
ejpam-3020	30	95	family	family	NOUN
ejpam-3020	30	96	of	of	ADP
ejpam-3020	30	97	all	all	DET
ejpam-3020	30	98	soft	soft	ADJ
ejpam-3020	30	99	sets	set	NOUN
ejpam-3020	30	100	over	over	ADP
ejpam-3020	30	101	x.	x.	NOUN
ejpam-3020	30	102	definition	definition	NOUN
ejpam-3020	30	103	2	2	NUM
ejpam-3020	30	104	.	.	PUNCT
ejpam-3020	31	1	[	[	X
ejpam-3020	31	2	10	10	NUM
ejpam-3020	31	3	]	]	X
ejpam-3020	31	4	let	let	VERB
ejpam-3020	31	5	(	(	PUNCT
ejpam-3020	31	6	f	f	X
ejpam-3020	31	7	,	,	PUNCT
ejpam-3020	31	8	a	a	PRON
ejpam-3020	31	9	)	)	PUNCT
ejpam-3020	31	10	and	and	CCONJ
ejpam-3020	31	11	(	(	PUNCT
ejpam-3020	31	12	g	g	NOUN
ejpam-3020	31	13	,	,	PUNCT
ejpam-3020	31	14	b	b	NOUN
ejpam-3020	31	15	)	)	PUNCT
ejpam-3020	31	16	be	be	AUX
ejpam-3020	31	17	two	two	NUM
ejpam-3020	31	18	soft	soft	ADJ
ejpam-3020	31	19	sets	set	NOUN
ejpam-3020	31	20	over	over	ADP
ejpam-3020	31	21	the	the	DET
ejpam-3020	31	22	set	set	NOUN
ejpam-3020	32	1	x.	x.	NOUN
ejpam-3020	33	1	then	then	ADV
ejpam-3020	33	2	one	one	NUM
ejpam-3020	33	3	says	say	VERB
ejpam-3020	33	4	that	that	SCONJ
ejpam-3020	33	5	the	the	DET
ejpam-3020	33	6	mapping	mapping	NOUN
ejpam-3020	33	7	f	f	X
ejpam-3020	33	8	:	:	PUNCT
ejpam-3020	33	9	(	(	PUNCT
ejpam-3020	33	10	f	f	X
ejpam-3020	33	11	,	,	PUNCT
ejpam-3020	33	12	a)→	a)→	NOUN
ejpam-3020	33	13	(	(	PUNCT
ejpam-3020	33	14	g	g	PROPN
ejpam-3020	33	15	,	,	PUNCT
ejpam-3020	33	16	b	b	NOUN
ejpam-3020	33	17	)	)	PUNCT
ejpam-3020	33	18	is	be	AUX
ejpam-3020	33	19	a	a	DET
ejpam-3020	33	20	soft	soft	ADJ
ejpam-3020	33	21	function	function	NOUN
ejpam-3020	33	22	from	from	ADP
ejpam-3020	33	23	(	(	PUNCT
ejpam-3020	33	24	f	f	X
ejpam-3020	33	25	,	,	PUNCT
ejpam-3020	33	26	a	a	PRON
ejpam-3020	33	27	)	)	PUNCT
ejpam-3020	33	28	to	to	ADP
ejpam-3020	33	29	(	(	PUNCT
ejpam-3020	33	30	g	g	PROPN
ejpam-3020	33	31	,	,	PUNCT
ejpam-3020	33	32	b	b	NOUN
ejpam-3020	33	33	)	)	PUNCT
ejpam-3020	33	34	if	if	SCONJ
ejpam-3020	33	35	it	it	PRON
ejpam-3020	33	36	satisfies	satisfy	VERB
ejpam-3020	33	37	f	f	PROPN
ejpam-3020	33	38	(	(	PUNCT
ejpam-3020	33	39	a	a	X
ejpam-3020	33	40	)	)	PUNCT
ejpam-3020	33	41	⊆	⊆	NUM
ejpam-3020	33	42	(	(	PUNCT
ejpam-3020	33	43	g	g	NOUN
ejpam-3020	33	44	◦	◦	NOUN
ejpam-3020	33	45	f)(a	f)(a	NUM
ejpam-3020	33	46	)	)	PUNCT
ejpam-3020	33	47	for	for	ADP
ejpam-3020	33	48	each	each	DET
ejpam-3020	33	49	a	a	DET
ejpam-3020	33	50	∈	∈	PROPN
ejpam-3020	33	51	a.	a.	NOUN
ejpam-3020	33	52	definition	definition	NOUN
ejpam-3020	33	53	3	3	NUM
ejpam-3020	33	54	.	.	PUNCT
ejpam-3020	34	1	[	[	X
ejpam-3020	34	2	3	3	X
ejpam-3020	34	3	]	]	X
ejpam-3020	34	4	a	a	DET
ejpam-3020	34	5	category	category	NOUN
ejpam-3020	34	6	c	c	NOUN
ejpam-3020	34	7	consists	consist	VERB
ejpam-3020	34	8	of	of	ADP
ejpam-3020	34	9	the	the	DET
ejpam-3020	34	10	data	datum	NOUN
ejpam-3020	34	11	which	which	PRON
ejpam-3020	34	12	is	be	AUX
ejpam-3020	34	13	given	give	VERB
ejpam-3020	34	14	below	below	ADP
ejpam-3020	34	15	:	:	PUNCT
ejpam-3020	34	16	•	•	NUM
ejpam-3020	34	17	objects	object	VERB
ejpam-3020	34	18	:	:	PUNCT
ejpam-3020	34	19	a	a	DET
ejpam-3020	34	20	,	,	PUNCT
ejpam-3020	34	21	b	b	NOUN
ejpam-3020	34	22	,	,	PUNCT
ejpam-3020	34	23	c	c	NOUN
ejpam-3020	34	24	,	,	PUNCT
ejpam-3020	34	25	...	...	PUNCT
ejpam-3020	34	26	•	•	NUM
ejpam-3020	34	27	arrows	arrow	NOUN
ejpam-3020	34	28	:	:	PUNCT
ejpam-3020	35	1	f	f	X
ejpam-3020	35	2	,	,	PUNCT
ejpam-3020	35	3	g	g	PROPN
ejpam-3020	35	4	,	,	PUNCT
ejpam-3020	35	5	h	h	NOUN
ejpam-3020	35	6	,	,	PUNCT
ejpam-3020	35	7	...	...	PUNCT
ejpam-3020	35	8	•	•	ADP
ejpam-3020	35	9	for	for	ADP
ejpam-3020	35	10	each	each	DET
ejpam-3020	35	11	arrow	arrow	NOUN
ejpam-3020	35	12	f	f	NOUN
ejpam-3020	35	13	,	,	PUNCT
ejpam-3020	35	14	there	there	PRON
ejpam-3020	35	15	are	be	VERB
ejpam-3020	35	16	given	give	VERB
ejpam-3020	35	17	objects	object	NOUN
ejpam-3020	35	18	dom(f	dom(f	PROPN
ejpam-3020	35	19	)	)	PUNCT
ejpam-3020	35	20	,	,	PUNCT
ejpam-3020	35	21	cod(f	cod(f	PROPN
ejpam-3020	35	22	)	)	PUNCT
ejpam-3020	35	23	which	which	PRON
ejpam-3020	35	24	is	be	AUX
ejpam-3020	35	25	called	call	VERB
ejpam-3020	35	26	the	the	DET
ejpam-3020	35	27	domain	domain	NOUN
ejpam-3020	35	28	and	and	CCONJ
ejpam-3020	35	29	codomain	codomain	NOUN
ejpam-3020	35	30	of	of	ADP
ejpam-3020	35	31	f	f	PROPN
ejpam-3020	35	32	.	.	PUNCT
ejpam-3020	36	1	it	it	PRON
ejpam-3020	36	2	is	be	AUX
ejpam-3020	36	3	written	write	VERB
ejpam-3020	36	4	f	f	X
ejpam-3020	36	5	:	:	PUNCT
ejpam-3020	36	6	a→	a→	PROPN
ejpam-3020	36	7	b	b	AUX
ejpam-3020	36	8	to	to	PART
ejpam-3020	36	9	indicate	indicate	VERB
ejpam-3020	36	10	that	that	SCONJ
ejpam-3020	36	11	a	a	DET
ejpam-3020	36	12	=	=	SYM
ejpam-3020	36	13	dom(f	dom(f	PROPN
ejpam-3020	36	14	)	)	PUNCT
ejpam-3020	36	15	and	and	CCONJ
ejpam-3020	36	16	b	b	X
ejpam-3020	36	17	=	=	SYM
ejpam-3020	36	18	cod(f	cod(f	PROPN
ejpam-3020	36	19	)	)	PUNCT
ejpam-3020	36	20	•	•	NUM
ejpam-3020	36	21	given	give	VERB
ejpam-3020	36	22	arrows	arrow	NOUN
ejpam-3020	36	23	f	f	NOUN
ejpam-3020	36	24	:	:	PUNCT
ejpam-3020	36	25	a→	a→	PROPN
ejpam-3020	36	26	b	b	NOUN
ejpam-3020	36	27	and	and	CCONJ
ejpam-3020	36	28	g	g	NOUN
ejpam-3020	36	29	:	:	PUNCT
ejpam-3020	36	30	b	b	X
ejpam-3020	36	31	→	→	SYM
ejpam-3020	36	32	c	c	PROPN
ejpam-3020	36	33	,	,	PUNCT
ejpam-3020	36	34	that	that	ADV
ejpam-3020	36	35	is	is	ADV
ejpam-3020	36	36	,	,	PUNCT
ejpam-3020	36	37	with	with	ADP
ejpam-3020	36	38	cod(f	cod(f	NOUN
ejpam-3020	36	39	)	)	PUNCT
ejpam-3020	36	40	=	=	PUNCT
ejpam-3020	37	1	dom(g	dom(g	X
ejpam-3020	37	2	)	)	PUNCT
ejpam-3020	37	3	there	there	PRON
ejpam-3020	37	4	is	be	VERB
ejpam-3020	37	5	an	an	DET
ejpam-3020	37	6	arrow	arrow	NOUN
ejpam-3020	37	7	given	give	VERB
ejpam-3020	37	8	by	by	ADP
ejpam-3020	37	9	g	g	PROPN
ejpam-3020	37	10	◦	◦	NOUN
ejpam-3020	37	11	f	f	X
ejpam-3020	37	12	:	:	PUNCT
ejpam-3020	37	13	a→	a→	PUNCT
ejpam-3020	37	14	c	c	NOUN
ejpam-3020	37	15	called	call	VERB
ejpam-3020	37	16	the	the	DET
ejpam-3020	37	17	composite	composite	NOUN
ejpam-3020	37	18	of	of	ADP
ejpam-3020	37	19	f	f	PROPN
ejpam-3020	37	20	and	and	CCONJ
ejpam-3020	37	21	g.	g.	PROPN
ejpam-3020	37	22	•	•	NUM
ejpam-3020	37	23	for	for	ADP
ejpam-3020	37	24	each	each	DET
ejpam-3020	37	25	object	object	NOUN
ejpam-3020	37	26	a	a	PRON
ejpam-3020	37	27	,	,	PUNCT
ejpam-3020	37	28	there	there	PRON
ejpam-3020	37	29	is	be	VERB
ejpam-3020	37	30	given	give	VERB
ejpam-3020	37	31	an	an	DET
ejpam-3020	37	32	arrow	arrow	NOUN
ejpam-3020	37	33	1a	1a	NOUN
ejpam-3020	37	34	:	:	PUNCT
ejpam-3020	37	35	a→	a→	PUNCT
ejpam-3020	37	36	a	a	PRON
ejpam-3020	37	37	called	call	VERB
ejpam-3020	37	38	the	the	DET
ejpam-3020	37	39	identity	identity	NOUN
ejpam-3020	37	40	arrow	arrow	NOUN
ejpam-3020	37	41	of	of	ADP
ejpam-3020	37	42	a.	a.	NOUN
ejpam-3020	37	43	this	this	DET
ejpam-3020	37	44	property	property	NOUN
ejpam-3020	37	45	must	must	AUX
ejpam-3020	37	46	satisfy	satisfy	VERB
ejpam-3020	37	47	the	the	DET
ejpam-3020	37	48	following	follow	VERB
ejpam-3020	37	49	laws	law	NOUN
ejpam-3020	37	50	:	:	PUNCT
ejpam-3020	37	51	associativity	associativity	NOUN
ejpam-3020	37	52	:	:	PUNCT
ejpam-3020	37	53	h	h	NOUN
ejpam-3020	37	54	◦	◦	NOUN
ejpam-3020	37	55	(	(	PUNCT
ejpam-3020	37	56	g	g	NOUN
ejpam-3020	37	57	◦	◦	NOUN
ejpam-3020	37	58	f	f	X
ejpam-3020	37	59	)	)	PUNCT
ejpam-3020	37	60	=	=	SYM
ejpam-3020	38	1	(	(	PUNCT
ejpam-3020	38	2	h	h	NOUN
ejpam-3020	38	3	◦	◦	NOUN
ejpam-3020	38	4	g	g	NOUN
ejpam-3020	38	5	)	)	PUNCT
ejpam-3020	38	6	◦	◦	NOUN
ejpam-3020	38	7	f	f	NOUN
ejpam-3020	38	8	for	for	ADP
ejpam-3020	38	9	all	all	DET
ejpam-3020	38	10	f	f	X
ejpam-3020	38	11	:	:	PUNCT
ejpam-3020	38	12	a→	a→	PROPN
ejpam-3020	38	13	b	b	X
ejpam-3020	38	14	,	,	PUNCT
ejpam-3020	38	15	g	g	NOUN
ejpam-3020	38	16	:	:	PUNCT
ejpam-3020	38	17	b	b	X
ejpam-3020	38	18	→	→	SYM
ejpam-3020	38	19	c	c	PROPN
ejpam-3020	38	20	and	and	CCONJ
ejpam-3020	38	21	h	h	NOUN
ejpam-3020	38	22	:	:	PUNCT
ejpam-3020	38	23	c	c	X
ejpam-3020	38	24	→	→	SYM
ejpam-3020	38	25	d.	d.	PROPN
ejpam-3020	38	26	unit	unit	NOUN
ejpam-3020	38	27	:	:	PUNCT
ejpam-3020	39	1	f	f	X
ejpam-3020	39	2	◦	◦	NOUN
ejpam-3020	39	3	1a	1a	X
ejpam-3020	39	4	=	=	SYM
ejpam-3020	39	5	f	f	X
ejpam-3020	39	6	=	=	SYM
ejpam-3020	39	7	1b	1b	NUM
ejpam-3020	39	8	◦	◦	NOUN
ejpam-3020	39	9	f	f	PROPN
ejpam-3020	39	10	for	for	ADP
ejpam-3020	39	11	all	all	DET
ejpam-3020	39	12	f	f	PROPN
ejpam-3020	39	13	:	:	PUNCT
ejpam-3020	39	14	a→	a→	PROPN
ejpam-3020	39	15	b.	b.	PROPN
ejpam-3020	39	16	let	let	VERB
ejpam-3020	39	17	sfun	sfun	NOUN
ejpam-3020	39	18	denote	denote	VERB
ejpam-3020	39	19	the	the	DET
ejpam-3020	39	20	category	category	NOUN
ejpam-3020	39	21	of	of	ADP
ejpam-3020	39	22	all	all	DET
ejpam-3020	39	23	soft	soft	ADJ
ejpam-3020	39	24	sets	set	NOUN
ejpam-3020	39	25	over	over	ADP
ejpam-3020	39	26	x	x	NOUN
ejpam-3020	39	27	and	and	CCONJ
ejpam-3020	39	28	soft	soft	ADJ
ejpam-3020	39	29	functions	function	NOUN
ejpam-3020	39	30	.	.	PUNCT
ejpam-3020	40	1	[	[	X
ejpam-3020	40	2	10	10	NUM
ejpam-3020	40	3	]	]	X
ejpam-3020	40	4	s.	s.	PROPN
ejpam-3020	40	5	öztunç	öztunç	PROPN
ejpam-3020	40	6	,	,	PUNCT
ejpam-3020	40	7	a.	a.	PROPN
ejpam-3020	40	8	mutlu	mutlu	PROPN
ejpam-3020	40	9	,	,	PUNCT
ejpam-3020	40	10	a.	a.	NOUN
ejpam-3020	40	11	erdoğan	erdoğan	NOUN
ejpam-3020	40	12	sert	sert	PROPN
ejpam-3020	40	13	/	/	SYM
ejpam-3020	40	14	eur	eur	PROPN
ejpam-3020	40	15	.	.	PUNCT
ejpam-3020	41	1	j.	j.	PROPN
ejpam-3020	41	2	pure	pure	PROPN
ejpam-3020	41	3	appl	appl	PROPN
ejpam-3020	41	4	.	.	PROPN
ejpam-3020	41	5	math	math	PROPN
ejpam-3020	41	6	,	,	PUNCT
ejpam-3020	41	7	10	10	NUM
ejpam-3020	41	8	(	(	PUNCT
ejpam-3020	41	9	4	4	NUM
ejpam-3020	41	10	)	)	PUNCT
ejpam-3020	41	11	(	(	PUNCT
ejpam-3020	41	12	2017	2017	NUM
ejpam-3020	41	13	)	)	PUNCT
ejpam-3020	41	14	,	,	PUNCT
ejpam-3020	41	15	850	850	NUM
ejpam-3020	41	16	-	-	SYM
ejpam-3020	41	17	857	857	NUM
ejpam-3020	41	18	852	852	NUM
ejpam-3020	41	19	3	3	NUM
ejpam-3020	41	20	.	.	PUNCT
ejpam-3020	42	1	monomorphism	monomorphism	NOUN
ejpam-3020	42	2	and	and	CCONJ
ejpam-3020	42	3	epimorphism	epimorphism	NOUN
ejpam-3020	42	4	of	of	ADP
ejpam-3020	42	5	the	the	DET
ejpam-3020	42	6	category	category	NOUN
ejpam-3020	42	7	sfun	sfun	NOUN
ejpam-3020	42	8	definition	definition	NOUN
ejpam-3020	42	9	4	4	NUM
ejpam-3020	42	10	.	.	PUNCT
ejpam-3020	43	1	let	let	VERB
ejpam-3020	43	2	sfun	sfun	NOUN
ejpam-3020	43	3	be	be	AUX
ejpam-3020	43	4	a	a	DET
ejpam-3020	43	5	soft	soft	ADJ
ejpam-3020	43	6	category	category	NOUN
ejpam-3020	43	7	and	and	CCONJ
ejpam-3020	43	8	(	(	PUNCT
ejpam-3020	43	9	f	f	X
ejpam-3020	43	10	,	,	PUNCT
ejpam-3020	43	11	a	a	PRON
ejpam-3020	43	12	)	)	PUNCT
ejpam-3020	43	13	and	and	CCONJ
ejpam-3020	43	14	(	(	PUNCT
ejpam-3020	43	15	g	g	NOUN
ejpam-3020	43	16	,	,	PUNCT
ejpam-3020	43	17	b	b	NOUN
ejpam-3020	43	18	)	)	PUNCT
ejpam-3020	43	19	be	be	VERB
ejpam-3020	43	20	two	two	NUM
ejpam-3020	43	21	sfun−objects	sfun−object	NOUN
ejpam-3020	43	22	.	.	PUNCT
ejpam-3020	44	1	if	if	SCONJ
ejpam-3020	44	2	a	a	DET
ejpam-3020	44	3	sfun−morphism	sfun−morphism	NOUN
ejpam-3020	44	4	fs	fs	X
ejpam-3020	44	5	:	:	PUNCT
ejpam-3020	44	6	(	(	PUNCT
ejpam-3020	44	7	f	f	X
ejpam-3020	44	8	,	,	PUNCT
ejpam-3020	44	9	a	a	PRON
ejpam-3020	44	10	)	)	PUNCT
ejpam-3020	44	11	→	→	SYM
ejpam-3020	44	12	(	(	PUNCT
ejpam-3020	44	13	g	g	PROPN
ejpam-3020	44	14	,	,	PUNCT
ejpam-3020	44	15	b	b	NOUN
ejpam-3020	44	16	)	)	PUNCT
ejpam-3020	44	17	in	in	ADP
ejpam-3020	44	18	sfun	sfun	ADJ
ejpam-3020	44	19	category	category	NOUN
ejpam-3020	44	20	is	be	AUX
ejpam-3020	44	21	left	leave	VERB
ejpam-3020	44	22	cancellable	cancellable	ADJ
ejpam-3020	44	23	,	,	PUNCT
ejpam-3020	44	24	then	then	ADV
ejpam-3020	44	25	fs	fs	PROPN
ejpam-3020	44	26	is	be	AUX
ejpam-3020	44	27	said	say	VERB
ejpam-3020	44	28	to	to	PART
ejpam-3020	44	29	be	be	AUX
ejpam-3020	44	30	a	a	DET
ejpam-3020	44	31	soft	soft	ADJ
ejpam-3020	44	32	monomorphism	monomorphism	NOUN
ejpam-3020	44	33	.	.	PUNCT
ejpam-3020	45	1	theorem	theorem	NOUN
ejpam-3020	45	2	1	1	NUM
ejpam-3020	45	3	.	.	PUNCT
ejpam-3020	46	1	let	let	AUX
ejpam-3020	46	2	(	(	PUNCT
ejpam-3020	46	3	f	f	X
ejpam-3020	46	4	,	,	PUNCT
ejpam-3020	46	5	a	a	PRON
ejpam-3020	46	6	)	)	PUNCT
ejpam-3020	46	7	,	,	PUNCT
ejpam-3020	46	8	(	(	PUNCT
ejpam-3020	46	9	g	g	NOUN
ejpam-3020	46	10	,	,	PUNCT
ejpam-3020	46	11	b	b	NOUN
ejpam-3020	46	12	)	)	PUNCT
ejpam-3020	46	13	and	and	CCONJ
ejpam-3020	46	14	(	(	PUNCT
ejpam-3020	46	15	h	h	NOUN
ejpam-3020	46	16	,	,	PUNCT
ejpam-3020	46	17	c	c	NOUN
ejpam-3020	46	18	)	)	PUNCT
ejpam-3020	46	19	be	be	AUX
ejpam-3020	46	20	sfun−objects	sfun−object	NOUN
ejpam-3020	46	21	over	over	ADP
ejpam-3020	46	22	x.	x.	NOUN
ejpam-3020	46	23	suppose	suppose	VERB
ejpam-3020	46	24	that	that	SCONJ
ejpam-3020	46	25	fs	fs	X
ejpam-3020	46	26	:	:	PUNCT
ejpam-3020	46	27	(	(	PUNCT
ejpam-3020	46	28	f	f	X
ejpam-3020	46	29	,	,	PUNCT
ejpam-3020	46	30	a	a	PRON
ejpam-3020	46	31	)	)	PUNCT
ejpam-3020	46	32	→	→	SYM
ejpam-3020	46	33	(	(	PUNCT
ejpam-3020	46	34	g	g	PROPN
ejpam-3020	46	35	,	,	PUNCT
ejpam-3020	46	36	b	b	NOUN
ejpam-3020	46	37	)	)	PUNCT
ejpam-3020	46	38	and	and	CCONJ
ejpam-3020	46	39	gs	gs	INTJ
ejpam-3020	46	40	:	:	PUNCT
ejpam-3020	46	41	(	(	PUNCT
ejpam-3020	46	42	g	g	NOUN
ejpam-3020	46	43	,	,	PUNCT
ejpam-3020	46	44	b	b	NOUN
ejpam-3020	46	45	)	)	PUNCT
ejpam-3020	46	46	→	→	SYM
ejpam-3020	46	47	(	(	PUNCT
ejpam-3020	46	48	h	h	NOUN
ejpam-3020	46	49	,	,	PUNCT
ejpam-3020	46	50	c	c	NOUN
ejpam-3020	46	51	)	)	PUNCT
ejpam-3020	46	52	be	be	VERB
ejpam-3020	46	53	two	two	NUM
ejpam-3020	46	54	soft	soft	ADJ
ejpam-3020	46	55	functions	function	NOUN
ejpam-3020	46	56	.	.	PUNCT
ejpam-3020	47	1	if	if	SCONJ
ejpam-3020	47	2	fs	fs	PROPN
ejpam-3020	47	3	and	and	CCONJ
ejpam-3020	47	4	gs	gs	PROPN
ejpam-3020	47	5	are	be	AUX
ejpam-3020	47	6	soft	soft	ADJ
ejpam-3020	47	7	monic	monic	ADJ
ejpam-3020	47	8	,	,	PUNCT
ejpam-3020	47	9	then	then	ADV
ejpam-3020	47	10	gs	gs	INTJ
ejpam-3020	47	11	◦	◦	NOUN
ejpam-3020	47	12	fs	f	NOUN
ejpam-3020	47	13	is	be	AUX
ejpam-3020	47	14	soft	soft	ADJ
ejpam-3020	47	15	monic	monic	ADJ
ejpam-3020	47	16	.	.	PUNCT
ejpam-3020	48	1	proof	proof	NOUN
ejpam-3020	48	2	.	.	PUNCT
ejpam-3020	49	1	if	if	SCONJ
ejpam-3020	49	2	fs	fs	X
ejpam-3020	49	3	:	:	PUNCT
ejpam-3020	49	4	(	(	PUNCT
ejpam-3020	49	5	f	f	X
ejpam-3020	49	6	,	,	PUNCT
ejpam-3020	49	7	a	a	PRON
ejpam-3020	49	8	)	)	PUNCT
ejpam-3020	49	9	→	→	SYM
ejpam-3020	49	10	(	(	PUNCT
ejpam-3020	49	11	g	g	PROPN
ejpam-3020	49	12	,	,	PUNCT
ejpam-3020	49	13	b	b	NOUN
ejpam-3020	49	14	)	)	PUNCT
ejpam-3020	49	15	and	and	CCONJ
ejpam-3020	49	16	gs	gs	INTJ
ejpam-3020	49	17	:	:	PUNCT
ejpam-3020	49	18	(	(	PUNCT
ejpam-3020	49	19	g	g	NOUN
ejpam-3020	49	20	,	,	PUNCT
ejpam-3020	49	21	b	b	NOUN
ejpam-3020	49	22	)	)	PUNCT
ejpam-3020	49	23	→	→	SYM
ejpam-3020	49	24	(	(	PUNCT
ejpam-3020	49	25	h	h	NOUN
ejpam-3020	49	26	,	,	PUNCT
ejpam-3020	49	27	c	c	NOUN
ejpam-3020	49	28	)	)	PUNCT
ejpam-3020	49	29	are	be	AUX
ejpam-3020	49	30	sfun−morphisms	sfun−morphism	NOUN
ejpam-3020	49	31	,	,	PUNCT
ejpam-3020	49	32	then	then	ADV
ejpam-3020	49	33	there	there	PRON
ejpam-3020	49	34	is	be	VERB
ejpam-3020	49	35	a	a	DET
ejpam-3020	49	36	y	y	PROPN
ejpam-3020	49	37	∈	∈	PROPN
ejpam-3020	49	38	b	b	NOUN
ejpam-3020	49	39	such	such	ADJ
ejpam-3020	49	40	that	that	DET
ejpam-3020	49	41	fs(x	fs(x	NOUN
ejpam-3020	49	42	)	)	PUNCT
ejpam-3020	50	1	=	=	SYM
ejpam-3020	50	2	y	y	PROPN
ejpam-3020	50	3	for	for	ADP
ejpam-3020	50	4	every	every	DET
ejpam-3020	50	5	x	x	PROPN
ejpam-3020	50	6	∈	∈	PROPN
ejpam-3020	50	7	a	a	PRON
ejpam-3020	51	1	and	and	CCONJ
ejpam-3020	51	2	there	there	PRON
ejpam-3020	51	3	is	be	VERB
ejpam-3020	51	4	a	a	DET
ejpam-3020	51	5	z	z	NOUN
ejpam-3020	51	6	∈	∈	PROPN
ejpam-3020	51	7	c	c	NOUN
ejpam-3020	51	8	such	such	ADJ
ejpam-3020	51	9	that	that	DET
ejpam-3020	51	10	gs(y	gs(y	NOUN
ejpam-3020	51	11	)	)	PUNCT
ejpam-3020	52	1	=	=	SYM
ejpam-3020	52	2	z	z	NOUN
ejpam-3020	52	3	for	for	ADP
ejpam-3020	52	4	every	every	DET
ejpam-3020	52	5	y	y	PROPN
ejpam-3020	52	6	∈	∈	PROPN
ejpam-3020	52	7	b.	b.	NOUN
ejpam-3020	53	1	we	we	PRON
ejpam-3020	53	2	have	have	VERB
ejpam-3020	53	3	f	f	PROPN
ejpam-3020	53	4	(	(	PUNCT
ejpam-3020	53	5	x	x	X
ejpam-3020	53	6	)	)	PUNCT
ejpam-3020	53	7	⊆	⊆	NUM
ejpam-3020	53	8	(	(	PUNCT
ejpam-3020	53	9	g	g	NOUN
ejpam-3020	53	10	◦	◦	NOUN
ejpam-3020	53	11	fs)(x	fs)(x	PROPN
ejpam-3020	53	12	)	)	PUNCT
ejpam-3020	53	13	for	for	ADP
ejpam-3020	53	14	all	all	DET
ejpam-3020	53	15	x	x	SYM
ejpam-3020	53	16	∈	∈	PROPN
ejpam-3020	53	17	a	a	PRON
ejpam-3020	53	18	,	,	PUNCT
ejpam-3020	53	19	since	since	SCONJ
ejpam-3020	53	20	fs	f	NOUN
ejpam-3020	53	21	is	be	AUX
ejpam-3020	53	22	a	a	DET
ejpam-3020	53	23	soft	soft	ADJ
ejpam-3020	53	24	function	function	NOUN
ejpam-3020	53	25	and	and	CCONJ
ejpam-3020	53	26	g(y	g(y	NOUN
ejpam-3020	53	27	)	)	PUNCT
ejpam-3020	53	28	⊆	⊆	NUM
ejpam-3020	53	29	(	(	PUNCT
ejpam-3020	53	30	h	h	NOUN
ejpam-3020	53	31	◦	◦	NOUN
ejpam-3020	53	32	gs)(y	gs)(y	PROPN
ejpam-3020	53	33	)	)	PUNCT
ejpam-3020	53	34	for	for	ADP
ejpam-3020	53	35	all	all	DET
ejpam-3020	53	36	y	y	PROPN
ejpam-3020	53	37	∈	∈	PROPN
ejpam-3020	53	38	b	b	PROPN
ejpam-3020	53	39	,	,	PUNCT
ejpam-3020	53	40	since	since	SCONJ
ejpam-3020	53	41	gs	gs	PROPN
ejpam-3020	53	42	is	be	AUX
ejpam-3020	53	43	a	a	DET
ejpam-3020	53	44	soft	soft	ADJ
ejpam-3020	53	45	function	function	NOUN
ejpam-3020	53	46	.	.	PUNCT
ejpam-3020	54	1	we	we	PRON
ejpam-3020	54	2	must	must	AUX
ejpam-3020	54	3	show	show	VERB
ejpam-3020	54	4	that	that	SCONJ
ejpam-3020	54	5	f	f	PROPN
ejpam-3020	54	6	(	(	PUNCT
ejpam-3020	54	7	x	x	X
ejpam-3020	54	8	)	)	PUNCT
ejpam-3020	54	9	⊆	⊆	NUM
ejpam-3020	54	10	(	(	PUNCT
ejpam-3020	54	11	h	h	NOUN
ejpam-3020	54	12	◦	◦	NOUN
ejpam-3020	54	13	gs	gs	NOUN
ejpam-3020	54	14	◦	◦	NOUN
ejpam-3020	54	15	fs)(x	fs)(x	PROPN
ejpam-3020	54	16	)	)	PUNCT
ejpam-3020	54	17	and	and	CCONJ
ejpam-3020	54	18	gs	gs	INTJ
ejpam-3020	54	19	◦	◦	NOUN
ejpam-3020	54	20	fs	fs	PRON
ejpam-3020	54	21	sfun−morphism	sfun−morphism	NOUN
ejpam-3020	54	22	is	be	AUX
ejpam-3020	54	23	left	leave	VERB
ejpam-3020	54	24	cancellable	cancellable	ADJ
ejpam-3020	54	25	in	in	ADP
ejpam-3020	54	26	order	order	NOUN
ejpam-3020	54	27	to	to	PART
ejpam-3020	54	28	prove	prove	VERB
ejpam-3020	54	29	that	that	SCONJ
ejpam-3020	54	30	gs	gs	AUX
ejpam-3020	54	31	◦	◦	VERB
ejpam-3020	54	32	fs	fs	ADP
ejpam-3020	54	33	:	:	PUNCT
ejpam-3020	54	34	(	(	PUNCT
ejpam-3020	54	35	f	f	X
ejpam-3020	54	36	,	,	PUNCT
ejpam-3020	54	37	a)→	a)→	NOUN
ejpam-3020	54	38	(	(	PUNCT
ejpam-3020	54	39	h	h	NOUN
ejpam-3020	54	40	,	,	PUNCT
ejpam-3020	54	41	c	c	NOUN
ejpam-3020	54	42	)	)	PUNCT
ejpam-3020	54	43	is	be	AUX
ejpam-3020	54	44	monic	monic	ADJ
ejpam-3020	54	45	.	.	PUNCT
ejpam-3020	55	1	thus	thus	ADV
ejpam-3020	55	2	we	we	PRON
ejpam-3020	55	3	have	have	VERB
ejpam-3020	55	4	the	the	DET
ejpam-3020	55	5	following	following	NOUN
ejpam-3020	55	6	:	:	PUNCT
ejpam-3020	55	7	f	f	PROPN
ejpam-3020	55	8	(	(	PUNCT
ejpam-3020	55	9	x	x	X
ejpam-3020	55	10	)	)	PUNCT
ejpam-3020	55	11	⊆	⊆	NUM
ejpam-3020	55	12	(	(	PUNCT
ejpam-3020	55	13	g	g	NOUN
ejpam-3020	55	14	◦	◦	NOUN
ejpam-3020	55	15	fs)(x	fs)(x	PROPN
ejpam-3020	55	16	)	)	PUNCT
ejpam-3020	55	17	=	=	SYM
ejpam-3020	55	18	g(fs(x	g(fs(x	PROPN
ejpam-3020	55	19	)	)	PUNCT
ejpam-3020	55	20	)	)	PUNCT
ejpam-3020	56	1	=	=	PUNCT
ejpam-3020	56	2	g(y	g(y	NOUN
ejpam-3020	56	3	)	)	PUNCT
ejpam-3020	56	4	(	(	PUNCT
ejpam-3020	56	5	1	1	X
ejpam-3020	56	6	)	)	PUNCT
ejpam-3020	56	7	g(y	g(y	NOUN
ejpam-3020	56	8	)	)	PUNCT
ejpam-3020	56	9	⊆	⊆	NUM
ejpam-3020	56	10	(	(	PUNCT
ejpam-3020	56	11	h	h	NOUN
ejpam-3020	56	12	◦	◦	NOUN
ejpam-3020	56	13	gs)(y	gs)(y	PROPN
ejpam-3020	56	14	)	)	PUNCT
ejpam-3020	56	15	=	=	PUNCT
ejpam-3020	57	1	h(gs(y	h(gs(y	NOUN
ejpam-3020	57	2	)	)	PUNCT
ejpam-3020	57	3	)	)	PUNCT
ejpam-3020	58	1	=	=	SYM
ejpam-3020	58	2	h(z	h(z	NOUN
ejpam-3020	58	3	)	)	PUNCT
ejpam-3020	58	4	(	(	PUNCT
ejpam-3020	58	5	2	2	X
ejpam-3020	58	6	)	)	PUNCT
ejpam-3020	58	7	if	if	SCONJ
ejpam-3020	58	8	f	f	PROPN
ejpam-3020	58	9	(	(	PUNCT
ejpam-3020	58	10	x	x	NOUN
ejpam-3020	58	11	)	)	PUNCT
ejpam-3020	58	12	⊆	⊆	NUM
ejpam-3020	58	13	g(y	g(y	NOUN
ejpam-3020	58	14	)	)	PUNCT
ejpam-3020	58	15	and	and	CCONJ
ejpam-3020	58	16	g(y	g(y	NOUN
ejpam-3020	58	17	)	)	PUNCT
ejpam-3020	58	18	⊆	⊆	NUM
ejpam-3020	58	19	h(z	h(z	NOUN
ejpam-3020	58	20	)	)	PUNCT
ejpam-3020	58	21	,	,	PUNCT
ejpam-3020	58	22	then	then	ADV
ejpam-3020	58	23	f	f	X
ejpam-3020	58	24	(	(	PUNCT
ejpam-3020	58	25	x	x	NOUN
ejpam-3020	58	26	)	)	PUNCT
ejpam-3020	58	27	⊆	⊆	NUM
ejpam-3020	58	28	h(z	h(z	NOUN
ejpam-3020	58	29	)	)	PUNCT
ejpam-3020	58	30	.	.	PUNCT
ejpam-3020	59	1	we	we	PRON
ejpam-3020	59	2	obtain	obtain	VERB
ejpam-3020	59	3	that	that	PRON
ejpam-3020	59	4	f	f	PROPN
ejpam-3020	59	5	(	(	PUNCT
ejpam-3020	59	6	x	x	X
ejpam-3020	59	7	)	)	PUNCT
ejpam-3020	59	8	⊆	⊆	NUM
ejpam-3020	59	9	h(z	h(z	NOUN
ejpam-3020	59	10	)	)	PUNCT
ejpam-3020	59	11	=	=	PUNCT
ejpam-3020	60	1	h(gs(y	h(gs(y	NOUN
ejpam-3020	60	2	)	)	PUNCT
ejpam-3020	60	3	)	)	PUNCT
ejpam-3020	61	1	=	=	SYM
ejpam-3020	61	2	h(gs(f(x	h(gs(f(x	NOUN
ejpam-3020	61	3	)	)	PUNCT
ejpam-3020	61	4	)	)	PUNCT
ejpam-3020	61	5	)	)	PUNCT
ejpam-3020	62	1	=	=	PRON
ejpam-3020	63	1	(	(	PUNCT
ejpam-3020	63	2	h	h	NOUN
ejpam-3020	63	3	◦	◦	NOUN
ejpam-3020	63	4	gs	gs	NOUN
ejpam-3020	63	5	◦	◦	NOUN
ejpam-3020	63	6	fs)(x	fs)(x	PROPN
ejpam-3020	63	7	)	)	PUNCT
ejpam-3020	63	8	by	by	ADP
ejpam-3020	63	9	1	1	NUM
ejpam-3020	63	10	and	and	CCONJ
ejpam-3020	63	11	2	2	NUM
ejpam-3020	63	12	.	.	X
ejpam-3020	64	1	let	let	AUX
ejpam-3020	64	2	now	now	ADV
ejpam-3020	64	3	show	show	VERB
ejpam-3020	64	4	that	that	SCONJ
ejpam-3020	64	5	the	the	DET
ejpam-3020	64	6	left	left	ADJ
ejpam-3020	64	7	cancellable	cancellable	ADJ
ejpam-3020	64	8	property	property	NOUN
ejpam-3020	64	9	.	.	PUNCT
ejpam-3020	65	1	suppose	suppose	VERB
ejpam-3020	65	2	that	that	SCONJ
ejpam-3020	65	3	(	(	PUNCT
ejpam-3020	65	4	gs	gs	INTJ
ejpam-3020	65	5	◦	◦	NOUN
ejpam-3020	65	6	fs)	fs)	NOUN
ejpam-3020	65	7	◦	◦	NOUN
ejpam-3020	65	8	h	h	NOUN
ejpam-3020	65	9	=	=	SYM
ejpam-3020	65	10	(	(	PUNCT
ejpam-3020	65	11	gs	gs	INTJ
ejpam-3020	65	12	◦	◦	NOUN
ejpam-3020	65	13	fs)	fs)	NOUN
ejpam-3020	65	14	◦	◦	NOUN
ejpam-3020	65	15	ks	ks	NOUN
ejpam-3020	65	16	for	for	ADP
ejpam-3020	65	17	any	any	DET
ejpam-3020	65	18	hs	hs	PROPN
ejpam-3020	65	19	,	,	PUNCT
ejpam-3020	65	20	ks	ks	NOUN
ejpam-3020	65	21	:	:	PUNCT
ejpam-3020	65	22	(	(	PUNCT
ejpam-3020	65	23	k	k	X
ejpam-3020	65	24	,	,	PUNCT
ejpam-3020	65	25	d	d	NOUN
ejpam-3020	65	26	)	)	PUNCT
ejpam-3020	65	27	→	→	SYM
ejpam-3020	65	28	(	(	PUNCT
ejpam-3020	65	29	f	f	X
ejpam-3020	65	30	,	,	PUNCT
ejpam-3020	65	31	a	a	PRON
ejpam-3020	65	32	)	)	PUNCT
ejpam-3020	65	33	sfun−morphisms	sfun−morphism	NOUN
ejpam-3020	65	34	.	.	PUNCT
ejpam-3020	66	1	we	we	PRON
ejpam-3020	66	2	get	get	VERB
ejpam-3020	66	3	gs	gs	INTJ
ejpam-3020	66	4	◦	◦	NOUN
ejpam-3020	66	5	(	(	PUNCT
ejpam-3020	66	6	fs	fs	INTJ
ejpam-3020	66	7	◦	◦	NOUN
ejpam-3020	66	8	hs	hs	PUNCT
ejpam-3020	66	9	)	)	PUNCT
ejpam-3020	67	1	=	=	SYM
ejpam-3020	67	2	gs	gs	PART
ejpam-3020	67	3	◦	◦	NOUN
ejpam-3020	67	4	(	(	PUNCT
ejpam-3020	67	5	fs	fs	INTJ
ejpam-3020	67	6	◦	◦	PROPN
ejpam-3020	67	7	ks	ks	NOUN
ejpam-3020	67	8	)	)	PUNCT
ejpam-3020	67	9	because	because	SCONJ
ejpam-3020	67	10	of	of	ADP
ejpam-3020	67	11	associativity	associativity	NOUN
ejpam-3020	67	12	of	of	ADP
ejpam-3020	67	13	morphisms	morphism	NOUN
ejpam-3020	67	14	and	and	CCONJ
ejpam-3020	67	15	obtain	obtain	VERB
ejpam-3020	67	16	that	that	PRON
ejpam-3020	67	17	fs	fs	ADP
ejpam-3020	67	18	◦	◦	NOUN
ejpam-3020	67	19	hs	hs	PROPN
ejpam-3020	67	20	=	=	NOUN
ejpam-3020	67	21	fs	fs	PART
ejpam-3020	67	22	◦	◦	NOUN
ejpam-3020	67	23	ks	ks	PROPN
ejpam-3020	67	24	since	since	SCONJ
ejpam-3020	67	25	gs	gs	PROPN
ejpam-3020	67	26	sfun−morphism	sfun−morphism	NOUN
ejpam-3020	67	27	is	be	AUX
ejpam-3020	67	28	left	leave	VERB
ejpam-3020	67	29	cancellable	cancellable	ADJ
ejpam-3020	67	30	.	.	PUNCT
ejpam-3020	68	1	fs	fs	PROPN
ejpam-3020	68	2	is	be	AUX
ejpam-3020	68	3	left	leave	VERB
ejpam-3020	68	4	cancellable	cancellable	ADJ
ejpam-3020	68	5	since	since	SCONJ
ejpam-3020	68	6	it	it	PRON
ejpam-3020	68	7	is	be	AUX
ejpam-3020	68	8	a	a	DET
ejpam-3020	68	9	sfun−monomorphism	sfun−monomorphism	NOUN
ejpam-3020	68	10	.	.	PUNCT
ejpam-3020	69	1	thus	thus	ADV
ejpam-3020	69	2	we	we	PRON
ejpam-3020	69	3	conclude	conclude	VERB
ejpam-3020	69	4	that	that	SCONJ
ejpam-3020	69	5	hs	hs	PROPN
ejpam-3020	69	6	=	=	SYM
ejpam-3020	69	7	ks	ks	PROPN
ejpam-3020	69	8	.	.	PROPN
ejpam-3020	69	9	�	�	PROPN
ejpam-3020	69	10	theorem	theorem	VERB
ejpam-3020	69	11	2	2	NUM
ejpam-3020	69	12	.	.	PUNCT
ejpam-3020	70	1	let	let	VERB
ejpam-3020	70	2	(	(	PUNCT
ejpam-3020	70	3	f	f	X
ejpam-3020	70	4	,	,	PUNCT
ejpam-3020	70	5	a	a	PRON
ejpam-3020	70	6	)	)	PUNCT
ejpam-3020	70	7	,	,	PUNCT
ejpam-3020	70	8	(	(	PUNCT
ejpam-3020	70	9	g	g	NOUN
ejpam-3020	70	10	,	,	PUNCT
ejpam-3020	70	11	b	b	NOUN
ejpam-3020	70	12	)	)	PUNCT
ejpam-3020	70	13	and	and	CCONJ
ejpam-3020	70	14	(	(	PUNCT
ejpam-3020	70	15	h	h	NOUN
ejpam-3020	70	16	,	,	PUNCT
ejpam-3020	70	17	c	c	NOUN
ejpam-3020	70	18	)	)	PUNCT
ejpam-3020	70	19	be	be	AUX
ejpam-3020	70	20	sfun−objects	sfun−object	NOUN
ejpam-3020	70	21	over	over	ADP
ejpam-3020	70	22	x	x	PUNCT
ejpam-3020	70	23	and	and	CCONJ
ejpam-3020	70	24	let	let	VERB
ejpam-3020	70	25	fs	fs	INTJ
ejpam-3020	70	26	:	:	PUNCT
ejpam-3020	70	27	(	(	PUNCT
ejpam-3020	70	28	f	f	X
ejpam-3020	70	29	,	,	PUNCT
ejpam-3020	70	30	a	a	PRON
ejpam-3020	70	31	)	)	PUNCT
ejpam-3020	70	32	→	→	SYM
ejpam-3020	70	33	(	(	PUNCT
ejpam-3020	70	34	g	g	PROPN
ejpam-3020	70	35	,	,	PUNCT
ejpam-3020	70	36	b	b	NOUN
ejpam-3020	70	37	)	)	PUNCT
ejpam-3020	70	38	and	and	CCONJ
ejpam-3020	70	39	gs	gs	INTJ
ejpam-3020	70	40	:	:	PUNCT
ejpam-3020	70	41	(	(	PUNCT
ejpam-3020	70	42	g	g	NOUN
ejpam-3020	70	43	,	,	PUNCT
ejpam-3020	70	44	b	b	NOUN
ejpam-3020	70	45	)	)	PUNCT
ejpam-3020	70	46	→	→	SYM
ejpam-3020	70	47	(	(	PUNCT
ejpam-3020	70	48	h	h	NOUN
ejpam-3020	70	49	,	,	PUNCT
ejpam-3020	70	50	c	c	NOUN
ejpam-3020	70	51	)	)	PUNCT
ejpam-3020	70	52	be	be	VERB
ejpam-3020	70	53	two	two	NUM
ejpam-3020	70	54	sfun−morhisms	sfun−morhism	NOUN
ejpam-3020	70	55	.	.	PUNCT
ejpam-3020	71	1	if	if	SCONJ
ejpam-3020	71	2	gs	gs	PART
ejpam-3020	71	3	◦	◦	VERB
ejpam-3020	71	4	fs	f	NOUN
ejpam-3020	71	5	is	be	AUX
ejpam-3020	71	6	soft	soft	ADJ
ejpam-3020	71	7	monic	monic	ADJ
ejpam-3020	71	8	,	,	PUNCT
ejpam-3020	71	9	then	then	ADV
ejpam-3020	71	10	fs	fs	VERB
ejpam-3020	71	11	is	be	AUX
ejpam-3020	71	12	soft	soft	ADJ
ejpam-3020	71	13	monic	monic	ADJ
ejpam-3020	71	14	.	.	PUNCT
ejpam-3020	72	1	s.	s.	PROPN
ejpam-3020	72	2	öztunç	öztunç	PROPN
ejpam-3020	72	3	,	,	PUNCT
ejpam-3020	72	4	a.	a.	PROPN
ejpam-3020	72	5	mutlu	mutlu	PROPN
ejpam-3020	72	6	,	,	PUNCT
ejpam-3020	72	7	a.	a.	NOUN
ejpam-3020	72	8	erdoğan	erdoğan	NOUN
ejpam-3020	72	9	sert	sert	PROPN
ejpam-3020	72	10	/	/	SYM
ejpam-3020	72	11	eur	eur	PROPN
ejpam-3020	72	12	.	.	PUNCT
ejpam-3020	73	1	j.	j.	PROPN
ejpam-3020	73	2	pure	pure	PROPN
ejpam-3020	73	3	appl	appl	PROPN
ejpam-3020	73	4	.	.	PROPN
ejpam-3020	73	5	math	math	PROPN
ejpam-3020	73	6	,	,	PUNCT
ejpam-3020	73	7	10	10	NUM
ejpam-3020	73	8	(	(	PUNCT
ejpam-3020	73	9	4	4	NUM
ejpam-3020	73	10	)	)	PUNCT
ejpam-3020	73	11	(	(	PUNCT
ejpam-3020	73	12	2017	2017	NUM
ejpam-3020	73	13	)	)	PUNCT
ejpam-3020	73	14	,	,	PUNCT
ejpam-3020	73	15	850	850	NUM
ejpam-3020	73	16	-	-	SYM
ejpam-3020	73	17	857	857	NUM
ejpam-3020	73	18	853	853	NUM
ejpam-3020	73	19	proof	proof	NOUN
ejpam-3020	73	20	.	.	PUNCT
ejpam-3020	74	1	if	if	SCONJ
ejpam-3020	74	2	fs	fs	X
ejpam-3020	74	3	:	:	PUNCT
ejpam-3020	74	4	(	(	PUNCT
ejpam-3020	74	5	f	f	X
ejpam-3020	74	6	,	,	PUNCT
ejpam-3020	74	7	a	a	PRON
ejpam-3020	74	8	)	)	PUNCT
ejpam-3020	74	9	→	→	SYM
ejpam-3020	74	10	(	(	PUNCT
ejpam-3020	74	11	g	g	PROPN
ejpam-3020	74	12	,	,	PUNCT
ejpam-3020	74	13	b	b	NOUN
ejpam-3020	74	14	)	)	PUNCT
ejpam-3020	74	15	and	and	CCONJ
ejpam-3020	74	16	gs	gs	INTJ
ejpam-3020	74	17	:	:	PUNCT
ejpam-3020	74	18	(	(	PUNCT
ejpam-3020	74	19	g	g	NOUN
ejpam-3020	74	20	,	,	PUNCT
ejpam-3020	74	21	b	b	NOUN
ejpam-3020	74	22	)	)	PUNCT
ejpam-3020	74	23	→	→	SYM
ejpam-3020	74	24	(	(	PUNCT
ejpam-3020	74	25	h	h	NOUN
ejpam-3020	74	26	,	,	PUNCT
ejpam-3020	74	27	c	c	NOUN
ejpam-3020	74	28	)	)	PUNCT
ejpam-3020	74	29	are	be	AUX
ejpam-3020	74	30	sfun−morphisms	sfun−morphism	NOUN
ejpam-3020	74	31	,	,	PUNCT
ejpam-3020	74	32	then	then	ADV
ejpam-3020	74	33	there	there	PRON
ejpam-3020	74	34	is	be	VERB
ejpam-3020	74	35	a	a	DET
ejpam-3020	74	36	b	b	PROPN
ejpam-3020	74	37	∈	∈	ADP
ejpam-3020	74	38	b	b	NOUN
ejpam-3020	74	39	such	such	ADJ
ejpam-3020	74	40	that	that	DET
ejpam-3020	74	41	fs(a	fs(a	NOUN
ejpam-3020	74	42	)	)	PUNCT
ejpam-3020	75	1	=	=	SYM
ejpam-3020	75	2	b	b	PROPN
ejpam-3020	75	3	for	for	ADP
ejpam-3020	75	4	all	all	DET
ejpam-3020	75	5	a	a	DET
ejpam-3020	75	6	∈	∈	NOUN
ejpam-3020	75	7	a	a	PRON
ejpam-3020	76	1	and	and	CCONJ
ejpam-3020	76	2	there	there	PRON
ejpam-3020	76	3	is	be	VERB
ejpam-3020	76	4	a	a	DET
ejpam-3020	76	5	c	c	NOUN
ejpam-3020	76	6	∈	∈	PROPN
ejpam-3020	76	7	c	c	NOUN
ejpam-3020	76	8	such	such	ADJ
ejpam-3020	76	9	that	that	PRON
ejpam-3020	76	10	gs(b	gs(b	PUNCT
ejpam-3020	76	11	)	)	PUNCT
ejpam-3020	76	12	=	=	SYM
ejpam-3020	76	13	c	c	NOUN
ejpam-3020	76	14	for	for	ADP
ejpam-3020	76	15	all	all	DET
ejpam-3020	76	16	b	b	PROPN
ejpam-3020	76	17	∈	∈	PROPN
ejpam-3020	76	18	b.	b.	PROPN
ejpam-3020	76	19	for	for	ADP
ejpam-3020	76	20	every	every	DET
ejpam-3020	76	21	a	a	DET
ejpam-3020	76	22	∈	∈	PROPN
ejpam-3020	77	1	a	a	PRON
ejpam-3020	77	2	we	we	PRON
ejpam-3020	77	3	have	have	VERB
ejpam-3020	77	4	f	f	X
ejpam-3020	77	5	(	(	PUNCT
ejpam-3020	77	6	a	a	NOUN
ejpam-3020	77	7	)	)	PUNCT
ejpam-3020	77	8	⊆	⊆	NUM
ejpam-3020	77	9	(	(	PUNCT
ejpam-3020	77	10	g	g	NOUN
ejpam-3020	77	11	◦	◦	NOUN
ejpam-3020	77	12	fs)(a	fs)(a	PROPN
ejpam-3020	77	13	)	)	PUNCT
ejpam-3020	77	14	,	,	PUNCT
ejpam-3020	77	15	since	since	SCONJ
ejpam-3020	77	16	fs	f	NOUN
ejpam-3020	77	17	is	be	AUX
ejpam-3020	77	18	a	a	DET
ejpam-3020	77	19	soft	soft	ADJ
ejpam-3020	77	20	function	function	NOUN
ejpam-3020	77	21	and	and	CCONJ
ejpam-3020	77	22	for	for	ADP
ejpam-3020	77	23	every	every	DET
ejpam-3020	77	24	b	b	PROPN
ejpam-3020	77	25	∈	∈	PROPN
ejpam-3020	77	26	b	b	NOUN
ejpam-3020	77	27	,	,	PUNCT
ejpam-3020	77	28	we	we	PRON
ejpam-3020	77	29	have	have	VERB
ejpam-3020	77	30	g(b	g(b	NOUN
ejpam-3020	77	31	)	)	PUNCT
ejpam-3020	78	1	⊆	⊆	NUM
ejpam-3020	78	2	(	(	PUNCT
ejpam-3020	78	3	h	h	NOUN
ejpam-3020	78	4	◦	◦	NOUN
ejpam-3020	78	5	gs)(b	gs)(b	PROPN
ejpam-3020	78	6	)	)	PUNCT
ejpam-3020	79	1	,	,	PUNCT
ejpam-3020	79	2	since	since	SCONJ
ejpam-3020	79	3	gs	gs	PROPN
ejpam-3020	79	4	is	be	AUX
ejpam-3020	79	5	a	a	DET
ejpam-3020	79	6	soft	soft	ADJ
ejpam-3020	79	7	function	function	NOUN
ejpam-3020	79	8	.	.	PUNCT
ejpam-3020	80	1	at	at	ADP
ejpam-3020	80	2	first	first	ADV
ejpam-3020	80	3	we	we	PRON
ejpam-3020	80	4	must	must	AUX
ejpam-3020	80	5	show	show	VERB
ejpam-3020	80	6	that	that	SCONJ
ejpam-3020	80	7	gs	gs	INTJ
ejpam-3020	80	8	◦	◦	VERB
ejpam-3020	80	9	fs	fs	ADP
ejpam-3020	80	10	:	:	PUNCT
ejpam-3020	80	11	(	(	PUNCT
ejpam-3020	80	12	f	f	X
ejpam-3020	80	13	,	,	PUNCT
ejpam-3020	80	14	a	a	PRON
ejpam-3020	80	15	)	)	PUNCT
ejpam-3020	80	16	→	→	SYM
ejpam-3020	80	17	(	(	PUNCT
ejpam-3020	80	18	h	h	NOUN
ejpam-3020	80	19	,	,	PUNCT
ejpam-3020	80	20	c	c	NOUN
ejpam-3020	80	21	)	)	PUNCT
ejpam-3020	80	22	is	be	AUX
ejpam-3020	80	23	a	a	DET
ejpam-3020	80	24	sfun−	sfun−	NOUN
ejpam-3020	80	25	morphism	morphism	NOUN
ejpam-3020	80	26	and	and	CCONJ
ejpam-3020	80	27	then	then	ADV
ejpam-3020	80	28	fs	fs	INTJ
ejpam-3020	80	29	is	be	AUX
ejpam-3020	80	30	left	leave	VERB
ejpam-3020	80	31	cancellable	cancellable	ADJ
ejpam-3020	80	32	.	.	PUNCT
ejpam-3020	81	1	thus	thus	ADV
ejpam-3020	81	2	we	we	PRON
ejpam-3020	81	3	have	have	VERB
ejpam-3020	81	4	the	the	DET
ejpam-3020	81	5	following	follow	VERB
ejpam-3020	81	6	inclusions	inclusion	NOUN
ejpam-3020	81	7	:	:	PUNCT
ejpam-3020	81	8	f	f	X
ejpam-3020	81	9	(	(	PUNCT
ejpam-3020	81	10	a	a	X
ejpam-3020	81	11	)	)	PUNCT
ejpam-3020	81	12	⊆	⊆	NUM
ejpam-3020	81	13	(	(	PUNCT
ejpam-3020	81	14	g	g	NOUN
ejpam-3020	81	15	◦	◦	NOUN
ejpam-3020	81	16	fs)(a	fs)(a	ADJ
ejpam-3020	81	17	)	)	PUNCT
ejpam-3020	81	18	=	=	SYM
ejpam-3020	81	19	g(fs(a	g(fs(a	PROPN
ejpam-3020	81	20	)	)	PUNCT
ejpam-3020	81	21	)	)	PUNCT
ejpam-3020	82	1	=	=	SYM
ejpam-3020	82	2	g(b	g(b	X
ejpam-3020	82	3	)	)	PUNCT
ejpam-3020	82	4	(	(	PUNCT
ejpam-3020	82	5	3	3	X
ejpam-3020	82	6	)	)	PUNCT
ejpam-3020	82	7	g(b	g(b	NOUN
ejpam-3020	82	8	)	)	PUNCT
ejpam-3020	82	9	⊆	⊆	NUM
ejpam-3020	82	10	(	(	PUNCT
ejpam-3020	82	11	h	h	NOUN
ejpam-3020	82	12	◦	◦	NOUN
ejpam-3020	82	13	gs)(b	gs)(b	PROPN
ejpam-3020	82	14	)	)	PUNCT
ejpam-3020	82	15	=	=	PUNCT
ejpam-3020	82	16	h(gs(b	h(gs(b	NOUN
ejpam-3020	82	17	)	)	PUNCT
ejpam-3020	82	18	)	)	PUNCT
ejpam-3020	83	1	=	=	SYM
ejpam-3020	83	2	h(c	h(c	PROPN
ejpam-3020	83	3	)	)	PUNCT
ejpam-3020	83	4	(	(	PUNCT
ejpam-3020	83	5	4	4	X
ejpam-3020	83	6	)	)	PUNCT
ejpam-3020	83	7	by	by	ADP
ejpam-3020	83	8	3	3	NUM
ejpam-3020	83	9	and	and	CCONJ
ejpam-3020	83	10	4	4	NUM
ejpam-3020	83	11	we	we	PRON
ejpam-3020	83	12	obtain	obtain	VERB
ejpam-3020	83	13	that	that	SCONJ
ejpam-3020	83	14	f	f	PROPN
ejpam-3020	83	15	(	(	PUNCT
ejpam-3020	83	16	a	a	X
ejpam-3020	83	17	)	)	PUNCT
ejpam-3020	83	18	⊆	⊆	NUM
ejpam-3020	83	19	h(c	h(c	PROPN
ejpam-3020	83	20	)	)	PUNCT
ejpam-3020	83	21	and	and	CCONJ
ejpam-3020	83	22	f	f	PROPN
ejpam-3020	83	23	(	(	PUNCT
ejpam-3020	83	24	a	a	NOUN
ejpam-3020	83	25	)	)	PUNCT
ejpam-3020	83	26	⊆	⊆	NUM
ejpam-3020	83	27	h(c	h(c	PROPN
ejpam-3020	83	28	)	)	PUNCT
ejpam-3020	83	29	=	=	SYM
ejpam-3020	83	30	h(gs(b	h(gs(b	NOUN
ejpam-3020	83	31	)	)	PUNCT
ejpam-3020	83	32	)	)	PUNCT
ejpam-3020	84	1	=	=	SYM
ejpam-3020	84	2	h(gs(fs(a	h(gs(fs(a	NOUN
ejpam-3020	84	3	)	)	PUNCT
ejpam-3020	84	4	)	)	PUNCT
ejpam-3020	84	5	)	)	PUNCT
ejpam-3020	85	1	=	=	PRON
ejpam-3020	86	1	(	(	PUNCT
ejpam-3020	86	2	h	h	NOUN
ejpam-3020	86	3	◦	◦	NOUN
ejpam-3020	86	4	gs	gs	INTJ
ejpam-3020	86	5	◦	◦	NOUN
ejpam-3020	86	6	fs)(a	fs)(a	PROPN
ejpam-3020	86	7	)	)	PUNCT
ejpam-3020	86	8	.	.	PUNCT
ejpam-3020	87	1	therefore	therefore	ADV
ejpam-3020	87	2	gs	gs	INTJ
ejpam-3020	87	3	◦	◦	VERB
ejpam-3020	87	4	fs	fs	PUNCT
ejpam-3020	87	5	is	be	AUX
ejpam-3020	87	6	on	on	ADP
ejpam-3020	87	7	sfun−	sfun−	NOUN
ejpam-3020	87	8	morphism	morphism	NOUN
ejpam-3020	87	9	.	.	PUNCT
ejpam-3020	88	1	let	let	AUX
ejpam-3020	88	2	now	now	ADV
ejpam-3020	88	3	show	show	VERB
ejpam-3020	88	4	that	that	SCONJ
ejpam-3020	88	5	the	the	DET
ejpam-3020	88	6	left	left	ADJ
ejpam-3020	88	7	cancellable	cancellable	ADJ
ejpam-3020	88	8	property	property	NOUN
ejpam-3020	88	9	.	.	PUNCT
ejpam-3020	89	1	assume	assume	VERB
ejpam-3020	89	2	that	that	SCONJ
ejpam-3020	89	3	fs	fs	ADP
ejpam-3020	89	4	◦	◦	NOUN
ejpam-3020	89	5	hs	hs	PROPN
ejpam-3020	89	6	=	=	NOUN
ejpam-3020	89	7	fs	fs	PART
ejpam-3020	89	8	◦	◦	NOUN
ejpam-3020	89	9	ks	ks	PROPN
ejpam-3020	89	10	for	for	ADP
ejpam-3020	89	11	any	any	DET
ejpam-3020	89	12	hs	hs	PROPN
ejpam-3020	89	13	,	,	PUNCT
ejpam-3020	89	14	ks	ks	NOUN
ejpam-3020	89	15	:	:	PUNCT
ejpam-3020	89	16	(	(	PUNCT
ejpam-3020	89	17	k	k	X
ejpam-3020	89	18	,	,	PUNCT
ejpam-3020	89	19	d)→	d)→	X
ejpam-3020	89	20	(	(	PUNCT
ejpam-3020	89	21	f	f	PROPN
ejpam-3020	89	22	,	,	PUNCT
ejpam-3020	89	23	a	a	PRON
ejpam-3020	89	24	)	)	PUNCT
ejpam-3020	89	25	sfun−	sfun−	NOUN
ejpam-3020	89	26	morphisms	morphism	NOUN
ejpam-3020	89	27	.	.	PUNCT
ejpam-3020	90	1	applying	apply	VERB
ejpam-3020	90	2	the	the	DET
ejpam-3020	90	3	sfun−	sfun−	NOUN
ejpam-3020	90	4	morphism	morphism	NOUN
ejpam-3020	90	5	gs	gs	AUX
ejpam-3020	90	6	gs	gs	PART
ejpam-3020	90	7	◦	◦	VERB
ejpam-3020	90	8	fs	fs	ADP
ejpam-3020	90	9	◦	◦	NOUN
ejpam-3020	90	10	hs	hs	X
ejpam-3020	90	11	=	=	NOUN
ejpam-3020	90	12	gs	gs	PART
ejpam-3020	90	13	◦	◦	NOUN
ejpam-3020	90	14	fs	fs	ADP
ejpam-3020	90	15	◦	◦	PROPN
ejpam-3020	90	16	ks	ks	PROPN
ejpam-3020	90	17	.	.	PUNCT
ejpam-3020	90	18	gs	gs	PROPN
ejpam-3020	91	1	◦	◦	NOUN
ejpam-3020	91	2	fs	f	NOUN
ejpam-3020	91	3	is	be	AUX
ejpam-3020	91	4	left	leave	VERB
ejpam-3020	91	5	cancellable	cancellable	ADJ
ejpam-3020	91	6	since	since	SCONJ
ejpam-3020	91	7	gs	gs	INTJ
ejpam-3020	91	8	◦	◦	NOUN
ejpam-3020	91	9	fs	fs	PUNCT
ejpam-3020	91	10	is	be	AUX
ejpam-3020	91	11	a	a	DET
ejpam-3020	91	12	sfun−	sfun−	NOUN
ejpam-3020	91	13	monomorphism	monomorphism	NOUN
ejpam-3020	91	14	.	.	PUNCT
ejpam-3020	92	1	therefore	therefore	ADV
ejpam-3020	92	2	we	we	PRON
ejpam-3020	92	3	obtain	obtain	VERB
ejpam-3020	92	4	that	that	DET
ejpam-3020	92	5	hs	hs	PROPN
ejpam-3020	92	6	=	=	SYM
ejpam-3020	92	7	ks	ks	PROPN
ejpam-3020	92	8	.	.	PROPN
ejpam-3020	92	9	�	�	PROPN
ejpam-3020	92	10	definition	definition	NOUN
ejpam-3020	92	11	5	5	NUM
ejpam-3020	92	12	.	.	PUNCT
ejpam-3020	93	1	let	let	VERB
ejpam-3020	93	2	sfun	sfun	NOUN
ejpam-3020	93	3	be	be	AUX
ejpam-3020	93	4	a	a	DET
ejpam-3020	93	5	soft	soft	ADJ
ejpam-3020	93	6	category	category	NOUN
ejpam-3020	93	7	and	and	CCONJ
ejpam-3020	93	8	(	(	PUNCT
ejpam-3020	93	9	f	f	X
ejpam-3020	93	10	,	,	PUNCT
ejpam-3020	93	11	a	a	PRON
ejpam-3020	93	12	)	)	PUNCT
ejpam-3020	93	13	and	and	CCONJ
ejpam-3020	93	14	(	(	PUNCT
ejpam-3020	93	15	g	g	NOUN
ejpam-3020	93	16	,	,	PUNCT
ejpam-3020	93	17	b	b	NOUN
ejpam-3020	93	18	)	)	PUNCT
ejpam-3020	93	19	be	be	AUX
ejpam-3020	93	20	two	two	NUM
ejpam-3020	93	21	sfun−	sfun−	NOUN
ejpam-3020	93	22	objects	object	NOUN
ejpam-3020	93	23	.	.	PUNCT
ejpam-3020	94	1	if	if	SCONJ
ejpam-3020	94	2	fs	fs	X
ejpam-3020	94	3	:	:	PUNCT
ejpam-3020	94	4	(	(	PUNCT
ejpam-3020	94	5	f	f	X
ejpam-3020	94	6	,	,	PUNCT
ejpam-3020	94	7	a)→	a)→	NOUN
ejpam-3020	94	8	(	(	PUNCT
ejpam-3020	94	9	g	g	PROPN
ejpam-3020	94	10	,	,	PUNCT
ejpam-3020	94	11	b	b	NOUN
ejpam-3020	94	12	)	)	PUNCT
ejpam-3020	94	13	sfun−	sfun−	NOUN
ejpam-3020	94	14	morphism	morphism	NOUN
ejpam-3020	94	15	is	be	AUX
ejpam-3020	94	16	right	right	ADV
ejpam-3020	94	17	cancellable	cancellable	ADJ
ejpam-3020	94	18	,	,	PUNCT
ejpam-3020	94	19	then	then	ADV
ejpam-3020	94	20	fs	fs	PROPN
ejpam-3020	94	21	is	be	AUX
ejpam-3020	94	22	said	say	VERB
ejpam-3020	94	23	to	to	PART
ejpam-3020	94	24	be	be	AUX
ejpam-3020	94	25	a	a	DET
ejpam-3020	94	26	soft	soft	ADJ
ejpam-3020	94	27	epimorphism	epimorphism	NOUN
ejpam-3020	94	28	.	.	PUNCT
ejpam-3020	95	1	theorem	theorem	NOUN
ejpam-3020	95	2	3	3	X
ejpam-3020	95	3	.	.	PUNCT
ejpam-3020	96	1	let	let	AUX
ejpam-3020	96	2	(	(	PUNCT
ejpam-3020	96	3	f	f	X
ejpam-3020	96	4	,	,	PUNCT
ejpam-3020	96	5	a	a	PRON
ejpam-3020	96	6	)	)	PUNCT
ejpam-3020	96	7	,	,	PUNCT
ejpam-3020	96	8	(	(	PUNCT
ejpam-3020	96	9	g	g	NOUN
ejpam-3020	96	10	,	,	PUNCT
ejpam-3020	96	11	b	b	NOUN
ejpam-3020	96	12	)	)	PUNCT
ejpam-3020	96	13	and	and	CCONJ
ejpam-3020	96	14	(	(	PUNCT
ejpam-3020	96	15	h	h	NOUN
ejpam-3020	96	16	,	,	PUNCT
ejpam-3020	96	17	c	c	NOUN
ejpam-3020	96	18	)	)	PUNCT
ejpam-3020	96	19	be	be	AUX
ejpam-3020	96	20	sfun−	sfun−	NOUN
ejpam-3020	96	21	objects	object	NOUN
ejpam-3020	96	22	over	over	ADP
ejpam-3020	96	23	x.	x.	NOUN
ejpam-3020	96	24	suppose	suppose	VERB
ejpam-3020	96	25	that	that	SCONJ
ejpam-3020	96	26	fs	fs	X
ejpam-3020	96	27	:	:	PUNCT
ejpam-3020	96	28	(	(	PUNCT
ejpam-3020	96	29	f	f	X
ejpam-3020	96	30	,	,	PUNCT
ejpam-3020	96	31	a)→	a)→	NOUN
ejpam-3020	96	32	(	(	PUNCT
ejpam-3020	96	33	g	g	PROPN
ejpam-3020	96	34	,	,	PUNCT
ejpam-3020	96	35	b	b	NOUN
ejpam-3020	96	36	)	)	PUNCT
ejpam-3020	96	37	and	and	CCONJ
ejpam-3020	96	38	gs	gs	INTJ
ejpam-3020	96	39	:	:	PUNCT
ejpam-3020	96	40	(	(	PUNCT
ejpam-3020	96	41	g	g	NOUN
ejpam-3020	96	42	,	,	PUNCT
ejpam-3020	96	43	b)→	b)→	PROPN
ejpam-3020	96	44	(	(	PUNCT
ejpam-3020	96	45	h	h	NOUN
ejpam-3020	96	46	,	,	PUNCT
ejpam-3020	96	47	c	c	NOUN
ejpam-3020	96	48	)	)	PUNCT
ejpam-3020	96	49	be	be	VERB
ejpam-3020	96	50	two	two	NUM
ejpam-3020	96	51	soft	soft	ADJ
ejpam-3020	96	52	functions	function	NOUN
ejpam-3020	96	53	.	.	PUNCT
ejpam-3020	97	1	if	if	SCONJ
ejpam-3020	97	2	fs	fs	PROPN
ejpam-3020	97	3	and	and	CCONJ
ejpam-3020	97	4	gs	gs	PROPN
ejpam-3020	97	5	are	be	AUX
ejpam-3020	97	6	soft	soft	ADJ
ejpam-3020	97	7	epic	epic	ADJ
ejpam-3020	97	8	,	,	PUNCT
ejpam-3020	97	9	then	then	ADV
ejpam-3020	97	10	gs	gs	INTJ
ejpam-3020	97	11	◦	◦	NOUN
ejpam-3020	97	12	fs	f	NOUN
ejpam-3020	97	13	is	be	AUX
ejpam-3020	97	14	soft	soft	ADJ
ejpam-3020	97	15	epic	epic	ADJ
ejpam-3020	97	16	.	.	PUNCT
ejpam-3020	98	1	proof	proof	NOUN
ejpam-3020	98	2	.	.	PUNCT
ejpam-3020	99	1	if	if	SCONJ
ejpam-3020	99	2	fs	fs	X
ejpam-3020	99	3	:	:	PUNCT
ejpam-3020	99	4	(	(	PUNCT
ejpam-3020	99	5	f	f	X
ejpam-3020	99	6	,	,	PUNCT
ejpam-3020	99	7	a	a	PRON
ejpam-3020	99	8	)	)	PUNCT
ejpam-3020	99	9	→	→	SYM
ejpam-3020	99	10	(	(	PUNCT
ejpam-3020	99	11	g	g	PROPN
ejpam-3020	99	12	,	,	PUNCT
ejpam-3020	99	13	b	b	NOUN
ejpam-3020	99	14	)	)	PUNCT
ejpam-3020	99	15	and	and	CCONJ
ejpam-3020	99	16	gs	gs	INTJ
ejpam-3020	99	17	:	:	PUNCT
ejpam-3020	99	18	(	(	PUNCT
ejpam-3020	99	19	g	g	NOUN
ejpam-3020	99	20	,	,	PUNCT
ejpam-3020	99	21	b	b	NOUN
ejpam-3020	99	22	)	)	PUNCT
ejpam-3020	99	23	→	→	SYM
ejpam-3020	99	24	(	(	PUNCT
ejpam-3020	99	25	h	h	NOUN
ejpam-3020	99	26	,	,	PUNCT
ejpam-3020	99	27	c	c	NOUN
ejpam-3020	99	28	)	)	PUNCT
ejpam-3020	99	29	are	be	AUX
ejpam-3020	99	30	sfun−	sfun−	NOUN
ejpam-3020	99	31	morphisms	morphism	NOUN
ejpam-3020	99	32	,	,	PUNCT
ejpam-3020	99	33	then	then	ADV
ejpam-3020	99	34	there	there	PRON
ejpam-3020	99	35	is	be	VERB
ejpam-3020	99	36	a	a	DET
ejpam-3020	99	37	b	b	PROPN
ejpam-3020	99	38	∈	∈	ADP
ejpam-3020	99	39	b	b	NOUN
ejpam-3020	99	40	such	such	ADJ
ejpam-3020	99	41	that	that	DET
ejpam-3020	99	42	fs(a	fs(a	NOUN
ejpam-3020	99	43	)	)	PUNCT
ejpam-3020	100	1	=	=	SYM
ejpam-3020	100	2	b	b	PROPN
ejpam-3020	100	3	for	for	ADP
ejpam-3020	100	4	all	all	DET
ejpam-3020	100	5	a	a	DET
ejpam-3020	100	6	∈	∈	NOUN
ejpam-3020	100	7	a	a	PRON
ejpam-3020	101	1	and	and	CCONJ
ejpam-3020	101	2	there	there	PRON
ejpam-3020	101	3	is	be	VERB
ejpam-3020	101	4	a	a	DET
ejpam-3020	101	5	c	c	NOUN
ejpam-3020	101	6	∈	∈	PROPN
ejpam-3020	101	7	c	c	NOUN
ejpam-3020	101	8	such	such	ADJ
ejpam-3020	101	9	that	that	PRON
ejpam-3020	101	10	gs(b	gs(b	PUNCT
ejpam-3020	101	11	)	)	PUNCT
ejpam-3020	101	12	=	=	SYM
ejpam-3020	101	13	c	c	NOUN
ejpam-3020	101	14	for	for	ADP
ejpam-3020	101	15	all	all	DET
ejpam-3020	101	16	b	b	PROPN
ejpam-3020	101	17	∈	∈	PROPN
ejpam-3020	101	18	b.	b.	PROPN
ejpam-3020	101	19	since	since	SCONJ
ejpam-3020	101	20	fs	fs	PROPN
ejpam-3020	101	21	is	be	AUX
ejpam-3020	101	22	a	a	DET
ejpam-3020	101	23	soft	soft	ADJ
ejpam-3020	101	24	function	function	NOUN
ejpam-3020	101	25	,	,	PUNCT
ejpam-3020	101	26	f	f	PROPN
ejpam-3020	101	27	(	(	PUNCT
ejpam-3020	101	28	a	a	X
ejpam-3020	101	29	)	)	PUNCT
ejpam-3020	101	30	⊆	⊆	NUM
ejpam-3020	101	31	(	(	PUNCT
ejpam-3020	101	32	g	g	NOUN
ejpam-3020	101	33	◦	◦	NOUN
ejpam-3020	101	34	fs)(a	fs)(a	ADJ
ejpam-3020	101	35	)	)	PUNCT
ejpam-3020	101	36	for	for	ADP
ejpam-3020	101	37	every	every	DET
ejpam-3020	101	38	a	a	DET
ejpam-3020	101	39	∈	∈	PROPN
ejpam-3020	101	40	a	a	PRON
ejpam-3020	101	41	and	and	CCONJ
ejpam-3020	101	42	since	since	SCONJ
ejpam-3020	101	43	gs	gs	PROPN
ejpam-3020	101	44	is	be	AUX
ejpam-3020	101	45	a	a	DET
ejpam-3020	101	46	soft	soft	ADJ
ejpam-3020	101	47	function	function	NOUN
ejpam-3020	101	48	g(b	g(b	NOUN
ejpam-3020	101	49	)	)	PUNCT
ejpam-3020	101	50	⊆	⊆	NUM
ejpam-3020	101	51	(	(	PUNCT
ejpam-3020	101	52	h	h	NOUN
ejpam-3020	101	53	◦	◦	NOUN
ejpam-3020	101	54	gs)(b	gs)(b	PROPN
ejpam-3020	101	55	)	)	PUNCT
ejpam-3020	101	56	for	for	ADP
ejpam-3020	101	57	every	every	DET
ejpam-3020	101	58	b	b	PROPN
ejpam-3020	101	59	∈	∈	PROPN
ejpam-3020	101	60	b.	b.	PROPN
ejpam-3020	102	1	at	at	ADP
ejpam-3020	102	2	first	first	ADV
ejpam-3020	102	3	we	we	PRON
ejpam-3020	102	4	must	must	AUX
ejpam-3020	102	5	show	show	VERB
ejpam-3020	102	6	that	that	SCONJ
ejpam-3020	102	7	f	f	PROPN
ejpam-3020	102	8	(	(	PUNCT
ejpam-3020	102	9	a	a	X
ejpam-3020	102	10	)	)	PUNCT
ejpam-3020	102	11	⊆	⊆	NUM
ejpam-3020	102	12	(	(	PUNCT
ejpam-3020	102	13	h	h	NOUN
ejpam-3020	102	14	◦	◦	NOUN
ejpam-3020	102	15	gs	gs	INTJ
ejpam-3020	102	16	◦	◦	NOUN
ejpam-3020	102	17	fs)(a	fs)(a	ADJ
ejpam-3020	102	18	)	)	PUNCT
ejpam-3020	102	19	and	and	CCONJ
ejpam-3020	102	20	sfun−	sfun−	VERB
ejpam-3020	102	21	morphism	morphism	NOUN
ejpam-3020	102	22	gs	gs	ADP
ejpam-3020	102	23	◦	◦	NOUN
ejpam-3020	102	24	fs	fs	VERB
ejpam-3020	102	25	is	be	AUX
ejpam-3020	102	26	right	right	ADV
ejpam-3020	102	27	cancellable	cancellable	ADJ
ejpam-3020	102	28	in	in	ADP
ejpam-3020	102	29	order	order	NOUN
ejpam-3020	102	30	to	to	PART
ejpam-3020	102	31	show	show	VERB
ejpam-3020	102	32	that	that	SCONJ
ejpam-3020	102	33	gs	gs	INTJ
ejpam-3020	102	34	◦	◦	VERB
ejpam-3020	102	35	fs	fs	ADP
ejpam-3020	102	36	:	:	PUNCT
ejpam-3020	102	37	(	(	PUNCT
ejpam-3020	102	38	f	f	X
ejpam-3020	102	39	,	,	PUNCT
ejpam-3020	102	40	a	a	PRON
ejpam-3020	102	41	)	)	PUNCT
ejpam-3020	102	42	→	→	SYM
ejpam-3020	102	43	(	(	PUNCT
ejpam-3020	102	44	h	h	NOUN
ejpam-3020	102	45	,	,	PUNCT
ejpam-3020	102	46	c	c	NOUN
ejpam-3020	102	47	)	)	PUNCT
ejpam-3020	102	48	is	be	AUX
ejpam-3020	102	49	epic	epic	ADJ
ejpam-3020	102	50	.	.	PUNCT
ejpam-3020	103	1	thus	thus	ADV
ejpam-3020	103	2	we	we	PRON
ejpam-3020	103	3	have	have	VERB
ejpam-3020	103	4	the	the	DET
ejpam-3020	103	5	following	following	NOUN
ejpam-3020	103	6	:	:	PUNCT
ejpam-3020	103	7	f	f	X
ejpam-3020	103	8	(	(	PUNCT
ejpam-3020	103	9	a	a	X
ejpam-3020	103	10	)	)	PUNCT
ejpam-3020	103	11	⊆	⊆	NUM
ejpam-3020	103	12	(	(	PUNCT
ejpam-3020	103	13	g	g	NOUN
ejpam-3020	103	14	◦	◦	NOUN
ejpam-3020	103	15	fs)(a	fs)(a	ADJ
ejpam-3020	103	16	)	)	PUNCT
ejpam-3020	103	17	=	=	SYM
ejpam-3020	103	18	g(fs(a	g(fs(a	PROPN
ejpam-3020	103	19	)	)	PUNCT
ejpam-3020	103	20	)	)	PUNCT
ejpam-3020	104	1	=	=	SYM
ejpam-3020	104	2	g(b	g(b	X
ejpam-3020	104	3	)	)	PUNCT
ejpam-3020	104	4	(	(	PUNCT
ejpam-3020	104	5	5	5	X
ejpam-3020	104	6	)	)	PUNCT
ejpam-3020	104	7	s.	s.	PROPN
ejpam-3020	104	8	öztunç	öztunç	PROPN
ejpam-3020	104	9	,	,	PUNCT
ejpam-3020	104	10	a.	a.	PROPN
ejpam-3020	104	11	mutlu	mutlu	PROPN
ejpam-3020	104	12	,	,	PUNCT
ejpam-3020	104	13	a.	a.	NOUN
ejpam-3020	104	14	erdoğan	erdoğan	NOUN
ejpam-3020	104	15	sert	sert	PROPN
ejpam-3020	104	16	/	/	SYM
ejpam-3020	104	17	eur	eur	PROPN
ejpam-3020	104	18	.	.	PUNCT
ejpam-3020	105	1	j.	j.	PROPN
ejpam-3020	105	2	pure	pure	PROPN
ejpam-3020	105	3	appl	appl	PROPN
ejpam-3020	105	4	.	.	PROPN
ejpam-3020	105	5	math	math	PROPN
ejpam-3020	105	6	,	,	PUNCT
ejpam-3020	105	7	10	10	NUM
ejpam-3020	105	8	(	(	PUNCT
ejpam-3020	105	9	4	4	NUM
ejpam-3020	105	10	)	)	PUNCT
ejpam-3020	105	11	(	(	PUNCT
ejpam-3020	105	12	2017	2017	NUM
ejpam-3020	105	13	)	)	PUNCT
ejpam-3020	105	14	,	,	PUNCT
ejpam-3020	105	15	850	850	NUM
ejpam-3020	105	16	-	-	SYM
ejpam-3020	105	17	857	857	NUM
ejpam-3020	105	18	854	854	NUM
ejpam-3020	105	19	g(b	g(b	NOUN
ejpam-3020	105	20	)	)	PUNCT
ejpam-3020	105	21	⊆	⊆	NUM
ejpam-3020	105	22	(	(	PUNCT
ejpam-3020	105	23	h	h	NOUN
ejpam-3020	105	24	◦	◦	NOUN
ejpam-3020	105	25	gs)(b	gs)(b	PROPN
ejpam-3020	105	26	)	)	PUNCT
ejpam-3020	105	27	=	=	PUNCT
ejpam-3020	105	28	h(gs(b	h(gs(b	NOUN
ejpam-3020	105	29	)	)	PUNCT
ejpam-3020	105	30	)	)	PUNCT
ejpam-3020	106	1	=	=	SYM
ejpam-3020	106	2	h(c	h(c	PROPN
ejpam-3020	106	3	)	)	PUNCT
ejpam-3020	106	4	(	(	PUNCT
ejpam-3020	106	5	6	6	NUM
ejpam-3020	106	6	)	)	PUNCT
ejpam-3020	106	7	by	by	ADP
ejpam-3020	106	8	(	(	PUNCT
ejpam-3020	106	9	5	5	NUM
ejpam-3020	106	10	)	)	PUNCT
ejpam-3020	106	11	and	and	CCONJ
ejpam-3020	106	12	(	(	PUNCT
ejpam-3020	106	13	6	6	X
ejpam-3020	106	14	)	)	PUNCT
ejpam-3020	106	15	it	it	PRON
ejpam-3020	106	16	is	be	AUX
ejpam-3020	106	17	obtained	obtain	VERB
ejpam-3020	106	18	that	that	SCONJ
ejpam-3020	106	19	f	f	PROPN
ejpam-3020	106	20	(	(	PUNCT
ejpam-3020	106	21	a	a	X
ejpam-3020	106	22	)	)	PUNCT
ejpam-3020	106	23	⊆	⊆	NUM
ejpam-3020	106	24	h(c	h(c	PROPN
ejpam-3020	106	25	)	)	PUNCT
ejpam-3020	106	26	and	and	CCONJ
ejpam-3020	106	27	then	then	ADV
ejpam-3020	106	28	,	,	PUNCT
ejpam-3020	106	29	f	f	PROPN
ejpam-3020	106	30	(	(	PUNCT
ejpam-3020	106	31	a	a	NOUN
ejpam-3020	106	32	)	)	PUNCT
ejpam-3020	106	33	⊆	⊆	NUM
ejpam-3020	106	34	h(c	h(c	PROPN
ejpam-3020	106	35	)	)	PUNCT
ejpam-3020	106	36	=	=	SYM
ejpam-3020	106	37	h(gs(b	h(gs(b	NOUN
ejpam-3020	106	38	)	)	PUNCT
ejpam-3020	106	39	)	)	PUNCT
ejpam-3020	107	1	=	=	SYM
ejpam-3020	107	2	h(gs(fs(a	h(gs(fs(a	NOUN
ejpam-3020	107	3	)	)	PUNCT
ejpam-3020	107	4	)	)	PUNCT
ejpam-3020	107	5	)	)	PUNCT
ejpam-3020	108	1	=	=	PRON
ejpam-3020	109	1	(	(	PUNCT
ejpam-3020	109	2	h	h	NOUN
ejpam-3020	109	3	◦	◦	NOUN
ejpam-3020	109	4	gs	gs	INTJ
ejpam-3020	109	5	◦	◦	NOUN
ejpam-3020	109	6	fs)(a	fs)(a	PROPN
ejpam-3020	109	7	)	)	PUNCT
ejpam-3020	109	8	.	.	PUNCT
ejpam-3020	110	1	let	let	AUX
ejpam-3020	110	2	now	now	ADV
ejpam-3020	110	3	show	show	VERB
ejpam-3020	110	4	the	the	DET
ejpam-3020	110	5	right	right	ADJ
ejpam-3020	110	6	cancellable	cancellable	ADJ
ejpam-3020	110	7	property	property	NOUN
ejpam-3020	110	8	.	.	PUNCT
ejpam-3020	111	1	let	let	VERB
ejpam-3020	111	2	hs	hs	PRON
ejpam-3020	111	3	◦	◦	VERB
ejpam-3020	111	4	(	(	PUNCT
ejpam-3020	111	5	gs	gs	INTJ
ejpam-3020	111	6	◦	◦	VERB
ejpam-3020	111	7	fs	fs	ADP
ejpam-3020	111	8	)	)	PUNCT
ejpam-3020	111	9	=	=	SYM
ejpam-3020	111	10	ks	ks	NOUN
ejpam-3020	111	11	◦	◦	NOUN
ejpam-3020	111	12	(	(	PUNCT
ejpam-3020	111	13	gs	gs	INTJ
ejpam-3020	111	14	◦	◦	VERB
ejpam-3020	111	15	fs	f	NOUN
ejpam-3020	111	16	)	)	PUNCT
ejpam-3020	111	17	for	for	ADP
ejpam-3020	111	18	any	any	DET
ejpam-3020	111	19	hs	hs	PROPN
ejpam-3020	111	20	,	,	PUNCT
ejpam-3020	111	21	ks	ks	NOUN
ejpam-3020	111	22	:	:	PUNCT
ejpam-3020	111	23	(	(	PUNCT
ejpam-3020	111	24	k	k	X
ejpam-3020	111	25	,	,	PUNCT
ejpam-3020	111	26	d)→	d)→	X
ejpam-3020	111	27	(	(	PUNCT
ejpam-3020	111	28	f	f	PROPN
ejpam-3020	111	29	,	,	PUNCT
ejpam-3020	111	30	a	a	PRON
ejpam-3020	111	31	)	)	PUNCT
ejpam-3020	111	32	sfun−	sfun−	NOUN
ejpam-3020	111	33	morphisms	morphism	NOUN
ejpam-3020	111	34	.	.	PUNCT
ejpam-3020	112	1	we	we	PRON
ejpam-3020	112	2	have	have	VERB
ejpam-3020	112	3	(	(	PUNCT
ejpam-3020	112	4	hs	hs	INTJ
ejpam-3020	112	5	◦	◦	PROPN
ejpam-3020	112	6	gs	gs	NOUN
ejpam-3020	112	7	)	)	PUNCT
ejpam-3020	112	8	◦	◦	NOUN
ejpam-3020	112	9	fs	fs	ADP
ejpam-3020	112	10	=	=	SYM
ejpam-3020	112	11	(	(	PUNCT
ejpam-3020	112	12	ks	ks	NOUN
ejpam-3020	112	13	◦	◦	NOUN
ejpam-3020	112	14	gs	gs	NOUN
ejpam-3020	112	15	)	)	PUNCT
ejpam-3020	112	16	◦	◦	NOUN
ejpam-3020	112	17	fs	f	NOUN
ejpam-3020	112	18	,	,	PUNCT
ejpam-3020	112	19	since	since	SCONJ
ejpam-3020	112	20	morphisms	morphism	NOUN
ejpam-3020	112	21	are	be	AUX
ejpam-3020	112	22	associative	associative	ADJ
ejpam-3020	112	23	and	and	CCONJ
ejpam-3020	112	24	fs	fs	PROPN
ejpam-3020	112	25	is	be	AUX
ejpam-3020	112	26	right	right	ADV
ejpam-3020	112	27	cancellable	cancellable	ADJ
ejpam-3020	112	28	since	since	SCONJ
ejpam-3020	112	29	it	it	PRON
ejpam-3020	112	30	is	be	AUX
ejpam-3020	112	31	a	a	DET
ejpam-3020	112	32	sfun−	sfun−	NOUN
ejpam-3020	112	33	epimorphism	epimorphism	NOUN
ejpam-3020	112	34	.	.	PUNCT
ejpam-3020	113	1	similarly	similarly	ADV
ejpam-3020	113	2	gs	gs	PROPN
ejpam-3020	113	3	is	be	AUX
ejpam-3020	113	4	right	right	ADV
ejpam-3020	113	5	cancellable	cancellable	ADJ
ejpam-3020	113	6	since	since	SCONJ
ejpam-3020	113	7	it	it	PRON
ejpam-3020	113	8	is	be	AUX
ejpam-3020	113	9	a	a	DET
ejpam-3020	113	10	sfun−	sfun−	NOUN
ejpam-3020	113	11	epimorphism	epimorphism	NOUN
ejpam-3020	113	12	.	.	PUNCT
ejpam-3020	114	1	therefore	therefore	ADV
ejpam-3020	114	2	we	we	PRON
ejpam-3020	114	3	obtained	obtain	VERB
ejpam-3020	114	4	that	that	PRON
ejpam-3020	114	5	hs	hs	PROPN
ejpam-3020	114	6	=	=	SYM
ejpam-3020	114	7	ks	ks	PROPN
ejpam-3020	114	8	.	.	PROPN
ejpam-3020	114	9	�	�	PROPN
ejpam-3020	114	10	theorem	theorem	VERB
ejpam-3020	114	11	4	4	NUM
ejpam-3020	114	12	.	.	PUNCT
ejpam-3020	115	1	let	let	AUX
ejpam-3020	115	2	(	(	PUNCT
ejpam-3020	115	3	f	f	X
ejpam-3020	115	4	,	,	PUNCT
ejpam-3020	115	5	a	a	PRON
ejpam-3020	115	6	)	)	PUNCT
ejpam-3020	115	7	,	,	PUNCT
ejpam-3020	115	8	(	(	PUNCT
ejpam-3020	115	9	g	g	NOUN
ejpam-3020	115	10	,	,	PUNCT
ejpam-3020	115	11	b	b	NOUN
ejpam-3020	115	12	)	)	PUNCT
ejpam-3020	115	13	and	and	CCONJ
ejpam-3020	115	14	(	(	PUNCT
ejpam-3020	115	15	h	h	NOUN
ejpam-3020	115	16	,	,	PUNCT
ejpam-3020	115	17	c	c	NOUN
ejpam-3020	115	18	)	)	PUNCT
ejpam-3020	115	19	be	be	AUX
ejpam-3020	115	20	sfun−	sfun−	NOUN
ejpam-3020	115	21	objects	object	NOUN
ejpam-3020	115	22	over	over	ADP
ejpam-3020	115	23	x.	x.	NOUN
ejpam-3020	115	24	suppose	suppose	VERB
ejpam-3020	115	25	that	that	SCONJ
ejpam-3020	115	26	fs	fs	X
ejpam-3020	115	27	:	:	PUNCT
ejpam-3020	115	28	(	(	PUNCT
ejpam-3020	115	29	f	f	X
ejpam-3020	115	30	,	,	PUNCT
ejpam-3020	115	31	a	a	PRON
ejpam-3020	115	32	)	)	PUNCT
ejpam-3020	115	33	→	→	SYM
ejpam-3020	115	34	(	(	PUNCT
ejpam-3020	115	35	g	g	PROPN
ejpam-3020	115	36	,	,	PUNCT
ejpam-3020	115	37	b	b	NOUN
ejpam-3020	115	38	)	)	PUNCT
ejpam-3020	115	39	and	and	CCONJ
ejpam-3020	115	40	gs	gs	INTJ
ejpam-3020	115	41	:	:	PUNCT
ejpam-3020	115	42	(	(	PUNCT
ejpam-3020	115	43	g	g	NOUN
ejpam-3020	115	44	,	,	PUNCT
ejpam-3020	115	45	b	b	NOUN
ejpam-3020	115	46	)	)	PUNCT
ejpam-3020	115	47	→	→	SYM
ejpam-3020	115	48	(	(	PUNCT
ejpam-3020	115	49	h	h	NOUN
ejpam-3020	115	50	,	,	PUNCT
ejpam-3020	115	51	c	c	NOUN
ejpam-3020	115	52	)	)	PUNCT
ejpam-3020	115	53	be	be	VERB
ejpam-3020	115	54	two	two	NUM
ejpam-3020	115	55	soft	soft	ADJ
ejpam-3020	115	56	functions	function	NOUN
ejpam-3020	115	57	.	.	PUNCT
ejpam-3020	116	1	if	if	SCONJ
ejpam-3020	116	2	gs	gs	PART
ejpam-3020	116	3	◦	◦	VERB
ejpam-3020	116	4	fs	fs	VERB
ejpam-3020	116	5	is	be	AUX
ejpam-3020	116	6	epic	epic	ADJ
ejpam-3020	116	7	,	,	PUNCT
ejpam-3020	116	8	then	then	ADV
ejpam-3020	116	9	gs	gs	PROPN
ejpam-3020	116	10	is	be	AUX
ejpam-3020	116	11	soft	soft	ADJ
ejpam-3020	116	12	epic	epic	ADJ
ejpam-3020	116	13	.	.	PUNCT
ejpam-3020	117	1	proof	proof	NOUN
ejpam-3020	117	2	.	.	PUNCT
ejpam-3020	118	1	if	if	SCONJ
ejpam-3020	118	2	fs	fs	X
ejpam-3020	118	3	:	:	PUNCT
ejpam-3020	118	4	(	(	PUNCT
ejpam-3020	118	5	f	f	X
ejpam-3020	118	6	,	,	PUNCT
ejpam-3020	118	7	a	a	PRON
ejpam-3020	118	8	)	)	PUNCT
ejpam-3020	118	9	→	→	SYM
ejpam-3020	118	10	(	(	PUNCT
ejpam-3020	118	11	g	g	PROPN
ejpam-3020	118	12	,	,	PUNCT
ejpam-3020	118	13	b	b	NOUN
ejpam-3020	118	14	)	)	PUNCT
ejpam-3020	118	15	and	and	CCONJ
ejpam-3020	118	16	gs	gs	INTJ
ejpam-3020	118	17	:	:	PUNCT
ejpam-3020	118	18	(	(	PUNCT
ejpam-3020	118	19	g	g	NOUN
ejpam-3020	118	20	,	,	PUNCT
ejpam-3020	118	21	b	b	NOUN
ejpam-3020	118	22	)	)	PUNCT
ejpam-3020	118	23	→	→	SYM
ejpam-3020	118	24	(	(	PUNCT
ejpam-3020	118	25	h	h	NOUN
ejpam-3020	118	26	,	,	PUNCT
ejpam-3020	118	27	c	c	NOUN
ejpam-3020	118	28	)	)	PUNCT
ejpam-3020	118	29	are	be	AUX
ejpam-3020	118	30	sfun−	sfun−	NOUN
ejpam-3020	118	31	morphisms	morphism	NOUN
ejpam-3020	118	32	,	,	PUNCT
ejpam-3020	118	33	then	then	ADV
ejpam-3020	118	34	there	there	PRON
ejpam-3020	118	35	is	be	VERB
ejpam-3020	118	36	a	a	DET
ejpam-3020	118	37	b	b	PROPN
ejpam-3020	118	38	∈	∈	ADP
ejpam-3020	118	39	b	b	NOUN
ejpam-3020	118	40	such	such	ADJ
ejpam-3020	118	41	that	that	DET
ejpam-3020	118	42	fs(a	fs(a	NOUN
ejpam-3020	118	43	)	)	PUNCT
ejpam-3020	119	1	=	=	SYM
ejpam-3020	119	2	b	b	PROPN
ejpam-3020	119	3	for	for	ADP
ejpam-3020	119	4	all	all	DET
ejpam-3020	119	5	a	a	DET
ejpam-3020	119	6	∈	∈	NOUN
ejpam-3020	119	7	a	a	PRON
ejpam-3020	120	1	and	and	CCONJ
ejpam-3020	120	2	there	there	PRON
ejpam-3020	120	3	is	be	VERB
ejpam-3020	120	4	a	a	DET
ejpam-3020	120	5	c	c	NOUN
ejpam-3020	120	6	∈	∈	PROPN
ejpam-3020	120	7	c	c	NOUN
ejpam-3020	120	8	such	such	ADJ
ejpam-3020	120	9	that	that	PRON
ejpam-3020	120	10	gs(b	gs(b	PUNCT
ejpam-3020	120	11	)	)	PUNCT
ejpam-3020	120	12	=	=	SYM
ejpam-3020	120	13	c	c	NOUN
ejpam-3020	120	14	for	for	ADP
ejpam-3020	120	15	all	all	DET
ejpam-3020	120	16	b	b	PROPN
ejpam-3020	120	17	∈	∈	PROPN
ejpam-3020	120	18	b.	b.	NOUN
ejpam-3020	121	1	also	also	ADV
ejpam-3020	121	2	we	we	PRON
ejpam-3020	121	3	have	have	VERB
ejpam-3020	121	4	f	f	X
ejpam-3020	121	5	(	(	PUNCT
ejpam-3020	121	6	a	a	NOUN
ejpam-3020	121	7	)	)	PUNCT
ejpam-3020	121	8	⊆	⊆	NUM
ejpam-3020	121	9	(	(	PUNCT
ejpam-3020	121	10	g	g	NOUN
ejpam-3020	121	11	◦	◦	NOUN
ejpam-3020	121	12	fs)(a	fs)(a	ADJ
ejpam-3020	121	13	)	)	PUNCT
ejpam-3020	121	14	for	for	ADP
ejpam-3020	121	15	every	every	DET
ejpam-3020	121	16	a	a	DET
ejpam-3020	121	17	∈	∈	PROPN
ejpam-3020	121	18	a	a	DET
ejpam-3020	121	19	since	since	SCONJ
ejpam-3020	121	20	fs	fs	INTJ
ejpam-3020	121	21	is	be	AUX
ejpam-3020	121	22	a	a	DET
ejpam-3020	121	23	soft	soft	ADJ
ejpam-3020	121	24	function	function	NOUN
ejpam-3020	121	25	and	and	CCONJ
ejpam-3020	121	26	we	we	PRON
ejpam-3020	121	27	have	have	VERB
ejpam-3020	121	28	g(b	g(b	NOUN
ejpam-3020	121	29	)	)	PUNCT
ejpam-3020	122	1	⊆	⊆	NUM
ejpam-3020	122	2	(	(	PUNCT
ejpam-3020	122	3	h	h	NOUN
ejpam-3020	122	4	◦	◦	NOUN
ejpam-3020	122	5	gs)(b	gs)(b	PROPN
ejpam-3020	122	6	)	)	PUNCT
ejpam-3020	122	7	for	for	ADP
ejpam-3020	122	8	every	every	DET
ejpam-3020	122	9	b	b	PROPN
ejpam-3020	122	10	∈	∈	PROPN
ejpam-3020	122	11	b	b	PROPN
ejpam-3020	122	12	since	since	SCONJ
ejpam-3020	122	13	gs	gs	PROPN
ejpam-3020	122	14	is	be	AUX
ejpam-3020	122	15	a	a	DET
ejpam-3020	122	16	soft	soft	ADJ
ejpam-3020	122	17	function	function	NOUN
ejpam-3020	122	18	.	.	PUNCT
ejpam-3020	123	1	now	now	ADV
ejpam-3020	123	2	we	we	PRON
ejpam-3020	123	3	must	must	AUX
ejpam-3020	123	4	show	show	VERB
ejpam-3020	123	5	the	the	DET
ejpam-3020	123	6	map	map	NOUN
ejpam-3020	123	7	gs	gs	INTJ
ejpam-3020	123	8	◦	◦	VERB
ejpam-3020	123	9	fs	fs	ADP
ejpam-3020	123	10	:	:	PUNCT
ejpam-3020	123	11	(	(	PUNCT
ejpam-3020	123	12	f	f	X
ejpam-3020	123	13	,	,	PUNCT
ejpam-3020	123	14	a	a	PRON
ejpam-3020	123	15	)	)	PUNCT
ejpam-3020	123	16	→	→	SYM
ejpam-3020	123	17	(	(	PUNCT
ejpam-3020	123	18	h	h	NOUN
ejpam-3020	123	19	,	,	PUNCT
ejpam-3020	123	20	c	c	NOUN
ejpam-3020	123	21	)	)	PUNCT
ejpam-3020	123	22	is	be	AUX
ejpam-3020	123	23	a	a	DET
ejpam-3020	123	24	sfun−	sfun−	NOUN
ejpam-3020	123	25	morphism	morphism	NOUN
ejpam-3020	123	26	.	.	PUNCT
ejpam-3020	124	1	thus	thus	ADV
ejpam-3020	124	2	we	we	PRON
ejpam-3020	124	3	have	have	VERB
ejpam-3020	124	4	the	the	DET
ejpam-3020	124	5	following	follow	VERB
ejpam-3020	124	6	inclusions	inclusion	NOUN
ejpam-3020	124	7	:	:	PUNCT
ejpam-3020	124	8	f	f	X
ejpam-3020	124	9	(	(	PUNCT
ejpam-3020	124	10	a	a	X
ejpam-3020	124	11	)	)	PUNCT
ejpam-3020	124	12	⊆	⊆	NUM
ejpam-3020	124	13	(	(	PUNCT
ejpam-3020	124	14	g	g	NOUN
ejpam-3020	124	15	◦	◦	NOUN
ejpam-3020	124	16	fs)(a	fs)(a	ADJ
ejpam-3020	124	17	)	)	PUNCT
ejpam-3020	124	18	=	=	SYM
ejpam-3020	124	19	g(fs(a	g(fs(a	PROPN
ejpam-3020	124	20	)	)	PUNCT
ejpam-3020	124	21	)	)	PUNCT
ejpam-3020	125	1	=	=	SYM
ejpam-3020	125	2	g(b	g(b	X
ejpam-3020	125	3	)	)	PUNCT
ejpam-3020	125	4	(	(	PUNCT
ejpam-3020	125	5	7	7	X
ejpam-3020	125	6	)	)	PUNCT
ejpam-3020	125	7	g(b	g(b	NOUN
ejpam-3020	125	8	)	)	PUNCT
ejpam-3020	125	9	⊆	⊆	NUM
ejpam-3020	125	10	(	(	PUNCT
ejpam-3020	125	11	h	h	NOUN
ejpam-3020	125	12	◦	◦	NOUN
ejpam-3020	125	13	gs)(b	gs)(b	PROPN
ejpam-3020	125	14	)	)	PUNCT
ejpam-3020	125	15	=	=	PUNCT
ejpam-3020	125	16	h(gs(b	h(gs(b	NOUN
ejpam-3020	125	17	)	)	PUNCT
ejpam-3020	125	18	)	)	PUNCT
ejpam-3020	126	1	=	=	SYM
ejpam-3020	126	2	h(c	h(c	PROPN
ejpam-3020	126	3	)	)	PUNCT
ejpam-3020	126	4	(	(	PUNCT
ejpam-3020	126	5	8)	8)	NUM
ejpam-3020	126	6	by	by	ADP
ejpam-3020	126	7	(	(	PUNCT
ejpam-3020	126	8	8)	8)	NUM
ejpam-3020	126	9	and	and	CCONJ
ejpam-3020	126	10	(	(	PUNCT
ejpam-3020	126	11	9	9	X
ejpam-3020	126	12	)	)	PUNCT
ejpam-3020	126	13	we	we	PRON
ejpam-3020	126	14	obtained	obtain	VERB
ejpam-3020	126	15	that	that	SCONJ
ejpam-3020	126	16	f	f	PROPN
ejpam-3020	126	17	(	(	PUNCT
ejpam-3020	126	18	a	a	X
ejpam-3020	126	19	)	)	PUNCT
ejpam-3020	126	20	⊆	⊆	NUM
ejpam-3020	126	21	h(c	h(c	PROPN
ejpam-3020	126	22	)	)	PUNCT
ejpam-3020	126	23	and	and	CCONJ
ejpam-3020	126	24	f	f	PROPN
ejpam-3020	126	25	(	(	PUNCT
ejpam-3020	126	26	a	a	NOUN
ejpam-3020	126	27	)	)	PUNCT
ejpam-3020	126	28	⊆	⊆	NUM
ejpam-3020	126	29	h(c	h(c	PROPN
ejpam-3020	126	30	)	)	PUNCT
ejpam-3020	126	31	=	=	SYM
ejpam-3020	126	32	h(g(b	h(g(b	NOUN
ejpam-3020	126	33	)	)	PUNCT
ejpam-3020	126	34	)	)	PUNCT
ejpam-3020	127	1	=	=	SYM
ejpam-3020	127	2	h(gs(fs(a	h(gs(fs(a	NOUN
ejpam-3020	127	3	)	)	PUNCT
ejpam-3020	127	4	)	)	PUNCT
ejpam-3020	127	5	)	)	PUNCT
ejpam-3020	128	1	=	=	PRON
ejpam-3020	129	1	(	(	PUNCT
ejpam-3020	129	2	h	h	NOUN
ejpam-3020	129	3	◦	◦	NOUN
ejpam-3020	129	4	gs	gs	INTJ
ejpam-3020	129	5	◦	◦	NOUN
ejpam-3020	129	6	fs)(a	fs)(a	PROPN
ejpam-3020	129	7	)	)	PUNCT
ejpam-3020	129	8	.	.	PUNCT
ejpam-3020	130	1	hence	hence	ADV
ejpam-3020	130	2	gs	gs	INTJ
ejpam-3020	130	3	◦	◦	NOUN
ejpam-3020	130	4	fs	fs	PUNCT
ejpam-3020	130	5	is	be	AUX
ejpam-3020	130	6	a	a	DET
ejpam-3020	130	7	sfun−	sfun−	NOUN
ejpam-3020	130	8	morphism	morphism	NOUN
ejpam-3020	130	9	.	.	PUNCT
ejpam-3020	131	1	next	next	ADJ
ejpam-3020	131	2	show	show	VERB
ejpam-3020	131	3	that	that	SCONJ
ejpam-3020	131	4	gs	gs	PROPN
ejpam-3020	131	5	is	be	AUX
ejpam-3020	131	6	right	right	ADV
ejpam-3020	131	7	cancellable	cancellable	ADJ
ejpam-3020	131	8	.	.	PUNCT
ejpam-3020	132	1	let	let	VERB
ejpam-3020	132	2	hs	hs	PRON
ejpam-3020	132	3	◦	◦	VERB
ejpam-3020	132	4	gs	gs	NOUN
ejpam-3020	133	1	=	=	PUNCT
ejpam-3020	133	2	ks	ks	PROPN
ejpam-3020	133	3	◦	◦	VERB
ejpam-3020	133	4	gs	gs	NOUN
ejpam-3020	133	5	for	for	ADP
ejpam-3020	133	6	any	any	DET
ejpam-3020	133	7	hs	hs	PROPN
ejpam-3020	133	8	,	,	PUNCT
ejpam-3020	133	9	ks	ks	NOUN
ejpam-3020	133	10	:	:	PUNCT
ejpam-3020	133	11	(	(	PUNCT
ejpam-3020	133	12	k	k	X
ejpam-3020	133	13	,	,	PUNCT
ejpam-3020	133	14	d)→	d)→	X
ejpam-3020	133	15	(	(	PUNCT
ejpam-3020	133	16	f	f	PROPN
ejpam-3020	133	17	,	,	PUNCT
ejpam-3020	133	18	a	a	PRON
ejpam-3020	133	19	)	)	PUNCT
ejpam-3020	133	20	soft	soft	ADJ
ejpam-3020	133	21	morphisms	morphism	NOUN
ejpam-3020	133	22	.	.	PUNCT
ejpam-3020	134	1	applying	apply	VERB
ejpam-3020	134	2	sfun−morphism	sfun−morphism	NOUN
ejpam-3020	134	3	fs	fs	X
ejpam-3020	134	4	hs	hs	PROPN
ejpam-3020	134	5	◦	◦	NOUN
ejpam-3020	134	6	gs	g	NOUN
ejpam-3020	134	7	◦	◦	NOUN
ejpam-3020	134	8	fs	fs	ADP
ejpam-3020	134	9	=	=	PUNCT
ejpam-3020	134	10	ks	ks	PROPN
ejpam-3020	134	11	◦	◦	NOUN
ejpam-3020	134	12	gs	gs	INTJ
ejpam-3020	134	13	◦	◦	NOUN
ejpam-3020	134	14	fs	f	NOUN
ejpam-3020	134	15	.	.	PUNCT
ejpam-3020	135	1	thus	thus	ADV
ejpam-3020	135	2	we	we	PRON
ejpam-3020	135	3	get	get	VERB
ejpam-3020	135	4	hs	hs	X
ejpam-3020	135	5	=	=	ADJ
ejpam-3020	135	6	ks	ks	PROPN
ejpam-3020	135	7	,	,	PUNCT
ejpam-3020	135	8	since	since	SCONJ
ejpam-3020	135	9	gs	gs	INTJ
ejpam-3020	135	10	◦	◦	VERB
ejpam-3020	135	11	fs	fs	PUNCT
ejpam-3020	135	12	is	be	AUX
ejpam-3020	135	13	a	a	DET
ejpam-3020	135	14	soft	soft	ADJ
ejpam-3020	135	15	epimorphism	epimorphism	NOUN
ejpam-3020	135	16	.	.	PUNCT
ejpam-3020	136	1	�	�	PROPN
ejpam-3020	136	2	theorem	theorem	VERB
ejpam-3020	136	3	5	5	NUM
ejpam-3020	136	4	(	(	PUNCT
ejpam-3020	136	5	11	11	NUM
ejpam-3020	136	6	)	)	PUNCT
ejpam-3020	136	7	.	.	PUNCT
ejpam-3020	137	1	sfun	sfun	PROPN
ejpam-3020	137	2	has	have	VERB
ejpam-3020	137	3	equalizers	equalizer	NOUN
ejpam-3020	137	4	.	.	PUNCT
ejpam-3020	138	1	(	(	PUNCT
ejpam-3020	138	2	h	h	NOUN
ejpam-3020	138	3	′	′	NOUN
ejpam-3020	138	4	,	,	PUNCT
ejpam-3020	138	5	c	c	NOUN
ejpam-3020	138	6	′	′	NOUN
ejpam-3020	138	7	)	)	PUNCT
ejpam-3020	138	8	ē	ē	ADP
ejpam-3020	138	9	�	�	PROPN
ejpam-3020	138	10	�	�	PROPN
ejpam-3020	138	11	e′	e′	NOUN
ejpam-3020	138	12	#	#	SYM
ejpam-3020	138	13	#	#	NOUN
ejpam-3020	138	14	(	(	PUNCT
ejpam-3020	138	15	h	h	NOUN
ejpam-3020	138	16	,	,	PUNCT
ejpam-3020	138	17	c	c	NOUN
ejpam-3020	138	18	)	)	PUNCT
ejpam-3020	138	19	e	e	NOUN
ejpam-3020	138	20	//	//	X
ejpam-3020	138	21	(	(	PUNCT
ejpam-3020	138	22	f	f	PROPN
ejpam-3020	138	23	,	,	PUNCT
ejpam-3020	138	24	a	a	PRON
ejpam-3020	138	25	)	)	PUNCT
ejpam-3020	138	26	gs	gs	NOUN
ejpam-3020	138	27	//	//	PROPN
ejpam-3020	138	28	fs	fs	INTJ
ejpam-3020	138	29	//	//	SYM
ejpam-3020	138	30	(	(	PUNCT
ejpam-3020	138	31	g	g	PROPN
ejpam-3020	138	32	,	,	PUNCT
ejpam-3020	138	33	b	b	NOUN
ejpam-3020	138	34	)	)	PUNCT
ejpam-3020	138	35	s.	s.	PROPN
ejpam-3020	138	36	öztunç	öztunç	PROPN
ejpam-3020	138	37	,	,	PUNCT
ejpam-3020	138	38	a.	a.	PROPN
ejpam-3020	138	39	mutlu	mutlu	PROPN
ejpam-3020	138	40	,	,	PUNCT
ejpam-3020	138	41	a.	a.	NOUN
ejpam-3020	138	42	erdoğan	erdoğan	NOUN
ejpam-3020	138	43	sert	sert	PROPN
ejpam-3020	138	44	/	/	SYM
ejpam-3020	138	45	eur	eur	PROPN
ejpam-3020	138	46	.	.	PUNCT
ejpam-3020	139	1	j.	j.	PROPN
ejpam-3020	139	2	pure	pure	PROPN
ejpam-3020	139	3	appl	appl	PROPN
ejpam-3020	139	4	.	.	PROPN
ejpam-3020	139	5	math	math	PROPN
ejpam-3020	139	6	,	,	PUNCT
ejpam-3020	139	7	10	10	NUM
ejpam-3020	139	8	(	(	PUNCT
ejpam-3020	139	9	4	4	NUM
ejpam-3020	139	10	)	)	PUNCT
ejpam-3020	139	11	(	(	PUNCT
ejpam-3020	139	12	2017	2017	NUM
ejpam-3020	139	13	)	)	PUNCT
ejpam-3020	139	14	,	,	PUNCT
ejpam-3020	139	15	850	850	NUM
ejpam-3020	139	16	-	-	SYM
ejpam-3020	139	17	857	857	NUM
ejpam-3020	139	18	855	855	NUM
ejpam-3020	139	19	theorem	theorem	NOUN
ejpam-3020	139	20	6	6	NUM
ejpam-3020	139	21	.	.	PUNCT
ejpam-3020	139	22	in	in	ADP
ejpam-3020	139	23	category	category	NOUN
ejpam-3020	139	24	sfun	sfun	NOUN
ejpam-3020	139	25	,	,	PUNCT
ejpam-3020	139	26	if	if	SCONJ
ejpam-3020	139	27	the	the	DET
ejpam-3020	139	28	equalizer	equalizer	NOUN
ejpam-3020	139	29	of	of	ADP
ejpam-3020	139	30	a	a	DET
ejpam-3020	139	31	morphism	morphism	NOUN
ejpam-3020	139	32	pair	pair	NOUN
ejpam-3020	139	33	is	be	AUX
ejpam-3020	139	34	(	(	PUNCT
ejpam-3020	139	35	(	(	PUNCT
ejpam-3020	139	36	h	h	NOUN
ejpam-3020	139	37	,	,	PUNCT
ejpam-3020	139	38	c	c	NOUN
ejpam-3020	139	39	)	)	PUNCT
ejpam-3020	139	40	,	,	PUNCT
ejpam-3020	139	41	e	e	NOUN
ejpam-3020	139	42	)	)	PUNCT
ejpam-3020	139	43	,	,	PUNCT
ejpam-3020	139	44	then	then	ADV
ejpam-3020	139	45	(	(	PUNCT
ejpam-3020	139	46	(	(	PUNCT
ejpam-3020	139	47	h	h	NOUN
ejpam-3020	139	48	,	,	PUNCT
ejpam-3020	139	49	c	c	NOUN
ejpam-3020	139	50	)	)	PUNCT
ejpam-3020	139	51	,	,	PUNCT
ejpam-3020	139	52	e	e	X
ejpam-3020	139	53	)	)	PUNCT
ejpam-3020	139	54	is	be	AUX
ejpam-3020	139	55	monic	monic	ADJ
ejpam-3020	139	56	.	.	PUNCT
ejpam-3020	140	1	proof	proof	NOUN
ejpam-3020	140	2	.	.	PUNCT
ejpam-3020	141	1	(	(	PUNCT
ejpam-3020	141	2	h	h	NOUN
ejpam-3020	141	3	′	′	NOUN
ejpam-3020	141	4	,	,	PUNCT
ejpam-3020	141	5	c	c	NOUN
ejpam-3020	141	6	′	′	NOUN
ejpam-3020	141	7	)	)	PUNCT
ejpam-3020	141	8	¯̄e	¯̄e	PROPN
ejpam-3020	141	9	�	�	PROPN
ejpam-3020	141	10	�	�	PROPN
ejpam-3020	141	11	ē	ē	PART
ejpam-3020	141	12	�	�	PROPN
ejpam-3020	141	13	�	�	PROPN
ejpam-3020	141	14	e′	e′	NOUN
ejpam-3020	141	15	#	#	SYM
ejpam-3020	141	16	#	#	NOUN
ejpam-3020	141	17	(	(	PUNCT
ejpam-3020	141	18	h	h	NOUN
ejpam-3020	141	19	,	,	PUNCT
ejpam-3020	141	20	c	c	NOUN
ejpam-3020	141	21	)	)	PUNCT
ejpam-3020	141	22	e	e	NOUN
ejpam-3020	141	23	//	//	X
ejpam-3020	141	24	(	(	PUNCT
ejpam-3020	141	25	f	f	PROPN
ejpam-3020	141	26	,	,	PUNCT
ejpam-3020	141	27	a	a	PRON
ejpam-3020	141	28	)	)	PUNCT
ejpam-3020	141	29	gs	gs	NOUN
ejpam-3020	141	30	//	//	PROPN
ejpam-3020	141	31	fs	fs	INTJ
ejpam-3020	141	32	//	//	SYM
ejpam-3020	141	33	(	(	PUNCT
ejpam-3020	141	34	g	g	PROPN
ejpam-3020	141	35	,	,	PUNCT
ejpam-3020	141	36	b	b	NOUN
ejpam-3020	141	37	)	)	PUNCT
ejpam-3020	141	38	suppose	suppose	VERB
ejpam-3020	141	39	that	that	SCONJ
ejpam-3020	141	40	(	(	PUNCT
ejpam-3020	141	41	(	(	PUNCT
ejpam-3020	141	42	h	h	NOUN
ejpam-3020	141	43	,	,	PUNCT
ejpam-3020	141	44	c	c	NOUN
ejpam-3020	141	45	)	)	PUNCT
ejpam-3020	141	46	,	,	PUNCT
ejpam-3020	141	47	e	e	NOUN
ejpam-3020	141	48	)	)	PUNCT
ejpam-3020	141	49	,	,	PUNCT
ejpam-3020	141	50	is	be	AUX
ejpam-3020	141	51	equalizer	equalizer	NOUN
ejpam-3020	141	52	of	of	ADP
ejpam-3020	141	53	fs	f	NOUN
ejpam-3020	141	54	and	and	CCONJ
ejpam-3020	141	55	gs	gs	INTJ
ejpam-3020	141	56	.	.	PUNCT
ejpam-3020	141	57	let	let	VERB
ejpam-3020	141	58	ē	ē	ADV
ejpam-3020	141	59	and	and	CCONJ
ejpam-3020	141	60	¯̄e	¯̄e	VERB
ejpam-3020	141	61	be	be	AUX
ejpam-3020	141	62	two	two	NUM
ejpam-3020	141	63	soft	soft	ADJ
ejpam-3020	141	64	morphisms	morphism	NOUN
ejpam-3020	141	65	as	as	SCONJ
ejpam-3020	141	66	illustrated	illustrate	VERB
ejpam-3020	141	67	above	above	ADP
ejpam-3020	141	68	diagram	diagram	NOUN
ejpam-3020	141	69	.	.	PUNCT
ejpam-3020	142	1	we	we	PRON
ejpam-3020	142	2	have	have	VERB
ejpam-3020	142	3	h	h	NOUN
ejpam-3020	142	4	′(c′	′(c′	PROPN
ejpam-3020	142	5	)	)	PUNCT
ejpam-3020	143	1	⊆	⊆	NUM
ejpam-3020	143	2	(	(	PUNCT
ejpam-3020	143	3	f	f	X
ejpam-3020	143	4	◦	◦	NOUN
ejpam-3020	143	5	e′)(c′	e′)(c′	NUM
ejpam-3020	143	6	)	)	PUNCT
ejpam-3020	143	7	since	since	SCONJ
ejpam-3020	143	8	e′	e′	PROPN
ejpam-3020	143	9	:	:	PUNCT
ejpam-3020	143	10	(	(	PUNCT
ejpam-3020	143	11	h	h	NOUN
ejpam-3020	143	12	′	′	NOUN
ejpam-3020	143	13	,	,	PUNCT
ejpam-3020	143	14	c	c	NOUN
ejpam-3020	143	15	′	′	NUM
ejpam-3020	143	16	)	)	PUNCT
ejpam-3020	143	17	→	→	PUNCT
ejpam-3020	143	18	(	(	PUNCT
ejpam-3020	143	19	f	f	X
ejpam-3020	143	20	,	,	PUNCT
ejpam-3020	143	21	a	a	PRON
ejpam-3020	143	22	)	)	PUNCT
ejpam-3020	143	23	is	be	AUX
ejpam-3020	143	24	soft	soft	ADJ
ejpam-3020	143	25	morphism	morphism	NOUN
ejpam-3020	143	26	,	,	PUNCT
ejpam-3020	143	27	h	h	NOUN
ejpam-3020	143	28	′(c′	′(c′	PROPN
ejpam-3020	143	29	)	)	PUNCT
ejpam-3020	144	1	⊆	⊆	X
ejpam-3020	144	2	(	(	PUNCT
ejpam-3020	144	3	h	h	NOUN
ejpam-3020	144	4	◦	◦	NOUN
ejpam-3020	144	5	ē)(c′	ē)(c′	PROPN
ejpam-3020	144	6	)	)	PUNCT
ejpam-3020	144	7	since	since	SCONJ
ejpam-3020	144	8	¯̄e	¯̄e	ADV
ejpam-3020	144	9	:	:	PUNCT
ejpam-3020	144	10	(	(	PUNCT
ejpam-3020	144	11	h	h	NOUN
ejpam-3020	144	12	′	′	NOUN
ejpam-3020	144	13	,	,	PUNCT
ejpam-3020	144	14	c	c	NOUN
ejpam-3020	144	15	′	′	NUM
ejpam-3020	144	16	)	)	PUNCT
ejpam-3020	144	17	→	→	PUNCT
ejpam-3020	144	18	(	(	PUNCT
ejpam-3020	144	19	h	h	NOUN
ejpam-3020	144	20	,	,	PUNCT
ejpam-3020	144	21	c	c	NOUN
ejpam-3020	144	22	)	)	PUNCT
ejpam-3020	144	23	is	be	AUX
ejpam-3020	144	24	soft	soft	ADJ
ejpam-3020	144	25	morphism	morphism	NOUN
ejpam-3020	144	26	and	and	CCONJ
ejpam-3020	144	27	h	h	NOUN
ejpam-3020	144	28	′(c′	′(c′	PROPN
ejpam-3020	144	29	)	)	PUNCT
ejpam-3020	145	1	⊆	⊆	X
ejpam-3020	145	2	(	(	PUNCT
ejpam-3020	145	3	h	h	NOUN
ejpam-3020	145	4	◦	◦	NOUN
ejpam-3020	145	5	¯̄e)(c′	¯̄e)(c′	NOUN
ejpam-3020	145	6	)	)	PUNCT
ejpam-3020	145	7	since	since	SCONJ
ejpam-3020	145	8	¯̄e	¯̄e	ADV
ejpam-3020	145	9	:	:	PUNCT
ejpam-3020	145	10	(	(	PUNCT
ejpam-3020	145	11	h	h	NOUN
ejpam-3020	145	12	′	′	NOUN
ejpam-3020	145	13	,	,	PUNCT
ejpam-3020	145	14	c	c	NOUN
ejpam-3020	145	15	′	′	NUM
ejpam-3020	145	16	)	)	PUNCT
ejpam-3020	145	17	→	→	PUNCT
ejpam-3020	145	18	(	(	PUNCT
ejpam-3020	145	19	h	h	NOUN
ejpam-3020	145	20	,	,	PUNCT
ejpam-3020	145	21	c	c	NOUN
ejpam-3020	145	22	)	)	PUNCT
ejpam-3020	145	23	is	be	AUX
ejpam-3020	145	24	soft	soft	ADJ
ejpam-3020	145	25	morphism	morphism	NOUN
ejpam-3020	145	26	.	.	PUNCT
ejpam-3020	146	1	thus	thus	ADV
ejpam-3020	146	2	we	we	PRON
ejpam-3020	146	3	have	have	VERB
ejpam-3020	146	4	the	the	DET
ejpam-3020	146	5	following	follow	VERB
ejpam-3020	146	6	inclusion	inclusion	NOUN
ejpam-3020	146	7	:	:	PUNCT
ejpam-3020	146	8	h	h	NOUN
ejpam-3020	146	9	′(c′	′(c′	PROPN
ejpam-3020	146	10	)	)	PUNCT
ejpam-3020	147	1	⊆	⊆	NUM
ejpam-3020	147	2	(	(	PUNCT
ejpam-3020	147	3	f	f	X
ejpam-3020	147	4	◦	◦	NOUN
ejpam-3020	147	5	e′)(c′	e′)(c′	NUM
ejpam-3020	147	6	)	)	PUNCT
ejpam-3020	147	7	=	=	SYM
ejpam-3020	147	8	f	f	PROPN
ejpam-3020	147	9	(	(	PUNCT
ejpam-3020	147	10	e′)(c′	e′)(c′	NOUN
ejpam-3020	147	11	)	)	PUNCT
ejpam-3020	147	12	=	=	SYM
ejpam-3020	148	1	f	f	X
ejpam-3020	148	2	(	(	PUNCT
ejpam-3020	148	3	e	e	AUX
ejpam-3020	148	4	◦	◦	VERB
ejpam-3020	148	5	ē)(c′	ē)(c′	PROPN
ejpam-3020	148	6	)	)	PUNCT
ejpam-3020	148	7	=	=	SYM
ejpam-3020	149	1	f	f	X
ejpam-3020	149	2	(	(	PUNCT
ejpam-3020	149	3	e	e	X
ejpam-3020	149	4	◦	◦	NOUN
ejpam-3020	149	5	¯̄e)(c′	¯̄e)(c′	NOUN
ejpam-3020	149	6	)	)	PUNCT
ejpam-3020	149	7	.	.	PUNCT
ejpam-3020	150	1	assume	assume	VERB
ejpam-3020	150	2	that	that	SCONJ
ejpam-3020	150	3	eē	eē	ADV
ejpam-3020	150	4	=	=	SYM
ejpam-3020	151	1	e¯̄e	e¯̄e	PROPN
ejpam-3020	151	2	.	.	PUNCT
ejpam-3020	152	1	then	then	ADV
ejpam-3020	152	2	we	we	PRON
ejpam-3020	152	3	want	want	VERB
ejpam-3020	152	4	to	to	PART
ejpam-3020	152	5	show	show	VERB
ejpam-3020	152	6	that	that	SCONJ
ejpam-3020	152	7	ē	ē	ADV
ejpam-3020	152	8	=	=	SYM
ejpam-3020	152	9	¯̄e	¯̄e	PROPN
ejpam-3020	152	10	.	.	PUNCT
ejpam-3020	153	1	put	put	VERB
ejpam-3020	153	2	e′	e′	X
ejpam-3020	153	3	=	=	NOUN
ejpam-3020	153	4	eē	eē	NOUN
ejpam-3020	153	5	=	=	SYM
ejpam-3020	154	1	e¯̄e	e¯̄e	PROPN
ejpam-3020	154	2	.	.	PUNCT
ejpam-3020	155	1	then	then	ADV
ejpam-3020	155	2	fse	fse	PROPN
ejpam-3020	155	3	′	′	NUM
ejpam-3020	156	1	=	=	PUNCT
ejpam-3020	156	2	fseē	fseē	ADJ
ejpam-3020	156	3	=	=	PUNCT
ejpam-3020	156	4	fse¯̄e	fse¯̄e	X
ejpam-3020	156	5	fse	fse	PROPN
ejpam-3020	156	6	′	′	NUM
ejpam-3020	157	1	=	=	PUNCT
ejpam-3020	158	1	fseē	fseē	ADJ
ejpam-3020	158	2	=	=	PUNCT
ejpam-3020	158	3	gse¯̄e	gse¯̄e	NOUN
ejpam-3020	158	4	=	=	SYM
ejpam-3020	158	5	gse	gse	PROPN
ejpam-3020	158	6	′	′	NOUN
ejpam-3020	158	7	.	.	PUNCT
ejpam-3020	159	1	by	by	ADP
ejpam-3020	159	2	using	use	VERB
ejpam-3020	159	3	universal	universal	ADJ
ejpam-3020	159	4	mapping	mapping	NOUN
ejpam-3020	159	5	property	property	NOUN
ejpam-3020	159	6	,	,	PUNCT
ejpam-3020	159	7	there	there	PRON
ejpam-3020	159	8	is	be	VERB
ejpam-3020	159	9	unique	unique	ADJ
ejpam-3020	159	10	u	u	NOUN
ejpam-3020	159	11	:	:	PUNCT
ejpam-3020	159	12	(	(	PUNCT
ejpam-3020	159	13	h	h	NOUN
ejpam-3020	159	14	′	′	NOUN
ejpam-3020	159	15	,	,	PUNCT
ejpam-3020	159	16	c	c	PROPN
ejpam-3020	160	1	′)→	′)→	X
ejpam-3020	160	2	(	(	PUNCT
ejpam-3020	160	3	h	h	NOUN
ejpam-3020	160	4	,	,	PUNCT
ejpam-3020	160	5	c	c	NOUN
ejpam-3020	160	6	)	)	PUNCT
ejpam-3020	160	7	such	such	ADJ
ejpam-3020	160	8	that	that	SCONJ
ejpam-3020	160	9	eu	eu	PROPN
ejpam-3020	160	10	=	=	NOUN
ejpam-3020	160	11	e′.	e′.	PROPN
ejpam-3020	160	12	hence	hence	ADV
ejpam-3020	160	13	we	we	PRON
ejpam-3020	160	14	obtain	obtain	VERB
ejpam-3020	160	15	that	that	DET
ejpam-3020	160	16	ē	ē	ADV
ejpam-3020	160	17	=	=	SYM
ejpam-3020	160	18	u	u	NOUN
ejpam-3020	160	19	=	=	PROPN
ejpam-3020	160	20	¯̄e	¯̄e	PROPN
ejpam-3020	160	21	,	,	PUNCT
ejpam-3020	160	22	because	because	SCONJ
ejpam-3020	160	23	we	we	PRON
ejpam-3020	160	24	have	have	VERB
ejpam-3020	160	25	eē	eē	NOUN
ejpam-3020	160	26	=	=	SYM
ejpam-3020	160	27	e′	e′	PROPN
ejpam-3020	160	28	and	and	CCONJ
ejpam-3020	160	29	e¯̄e	e¯̄e	SYM
ejpam-3020	160	30	=	=	PUNCT
ejpam-3020	160	31	e′.	e′.	PROPN
ejpam-3020	160	32	since	since	SCONJ
ejpam-3020	160	33	eē	eē	PROPN
ejpam-3020	160	34	=	=	SYM
ejpam-3020	160	35	e¯̄e	e¯̄e	PROPN
ejpam-3020	160	36	implies	imply	VERB
ejpam-3020	160	37	that	that	SCONJ
ejpam-3020	160	38	ē	ē	ADV
ejpam-3020	160	39	=	=	SYM
ejpam-3020	160	40	¯̄e	¯̄e	PROPN
ejpam-3020	160	41	,	,	PUNCT
ejpam-3020	160	42	e	e	PROPN
ejpam-3020	160	43	is	be	AUX
ejpam-3020	160	44	left	leave	VERB
ejpam-3020	160	45	cancellable	cancellable	ADJ
ejpam-3020	160	46	.	.	PUNCT
ejpam-3020	161	1	therefore	therefore	ADV
ejpam-3020	161	2	e	e	PROPN
ejpam-3020	161	3	is	be	AUX
ejpam-3020	161	4	monic	monic	ADJ
ejpam-3020	161	5	.	.	PUNCT
ejpam-3020	162	1	�	�	PROPN
ejpam-3020	162	2	theorem	theorem	VERB
ejpam-3020	162	3	7	7	PROPN
ejpam-3020	162	4	.	.	X
ejpam-3020	162	5	sfun	sfun	NOUN
ejpam-3020	162	6	has	have	VERB
ejpam-3020	162	7	coequalizers	coequalizer	NOUN
ejpam-3020	162	8	.	.	PUNCT
ejpam-3020	163	1	(	(	PUNCT
ejpam-3020	163	2	f	f	X
ejpam-3020	163	3	,	,	PUNCT
ejpam-3020	163	4	a	a	PRON
ejpam-3020	163	5	)	)	PUNCT
ejpam-3020	163	6	fs	fs	ADP
ejpam-3020	163	7	//	//	PROPN
ejpam-3020	163	8	gs	gs	PROPN
ejpam-3020	163	9	//	//	X
ejpam-3020	163	10	(	(	PUNCT
ejpam-3020	163	11	g	g	PROPN
ejpam-3020	163	12	,	,	PUNCT
ejpam-3020	163	13	b	b	NOUN
ejpam-3020	163	14	)	)	PUNCT
ejpam-3020	163	15	e	e	NOUN
ejpam-3020	163	16	//	//	X
ejpam-3020	163	17	e′	e′	X
ejpam-3020	163	18	#	#	SYM
ejpam-3020	163	19	#	#	NOUN
ejpam-3020	163	20	(	(	PUNCT
ejpam-3020	163	21	h	h	NOUN
ejpam-3020	163	22	,	,	PUNCT
ejpam-3020	163	23	c	c	NOUN
ejpam-3020	163	24	)	)	PUNCT
ejpam-3020	163	25	ē	ē	ADP
ejpam-3020	163	26	�	�	PROPN
ejpam-3020	163	27	�	�	PROPN
ejpam-3020	163	28	(	(	PUNCT
ejpam-3020	163	29	h	h	NOUN
ejpam-3020	163	30	′	′	PROPN
ejpam-3020	163	31	,	,	PUNCT
ejpam-3020	163	32	c	c	NOUN
ejpam-3020	163	33	′	′	NOUN
ejpam-3020	163	34	)	)	PUNCT
ejpam-3020	163	35	proof	proof	NOUN
ejpam-3020	163	36	.	.	PUNCT
ejpam-3020	164	1	define	define	VERB
ejpam-3020	164	2	the	the	DET
ejpam-3020	164	3	set	set	NOUN
ejpam-3020	164	4	c	c	NOUN
ejpam-3020	164	5	=	=	SYM
ejpam-3020	164	6	{	{	PUNCT
ejpam-3020	164	7	b	b	PROPN
ejpam-3020	164	8	∈	∈	PROPN
ejpam-3020	164	9	b	b	NOUN
ejpam-3020	164	10	:	:	PUNCT
ejpam-3020	164	11	fs(b	fs(b	X
ejpam-3020	164	12	)	)	PUNCT
ejpam-3020	164	13	=	=	SYM
ejpam-3020	164	14	gs(b	gs(b	NOUN
ejpam-3020	164	15	)	)	PUNCT
ejpam-3020	164	16	}	}	PUNCT
ejpam-3020	164	17	,	,	PUNCT
ejpam-3020	164	18	the	the	DET
ejpam-3020	164	19	embedding	embed	VERB
ejpam-3020	164	20	map	map	NOUN
ejpam-3020	164	21	e	e	NOUN
ejpam-3020	164	22	:	:	PUNCT
ejpam-3020	164	23	b	b	X
ejpam-3020	164	24	→	→	SYM
ejpam-3020	164	25	c	c	PROPN
ejpam-3020	164	26	and	and	CCONJ
ejpam-3020	164	27	g	g	PROPN
ejpam-3020	164	28	=	=	NOUN
ejpam-3020	164	29	h	h	PROPN
ejpam-3020	164	30	◦	◦	PROPN
ejpam-3020	164	31	e.	e.	PROPN
ejpam-3020	164	32	from	from	ADP
ejpam-3020	164	33	the	the	DET
ejpam-3020	164	34	diagram	diagram	NOUN
ejpam-3020	164	35	e	e	NOUN
ejpam-3020	164	36	◦	◦	NOUN
ejpam-3020	164	37	fs	fs	ADP
ejpam-3020	164	38	=	=	SYM
ejpam-3020	164	39	e	e	PROPN
ejpam-3020	164	40	◦	◦	NOUN
ejpam-3020	164	41	gs	gs	NOUN
ejpam-3020	164	42	and	and	CCONJ
ejpam-3020	164	43	g(b	g(b	PROPN
ejpam-3020	164	44	)	)	PUNCT
ejpam-3020	165	1	=	=	PUNCT
ejpam-3020	165	2	(	(	PUNCT
ejpam-3020	165	3	h	h	NOUN
ejpam-3020	165	4	◦	◦	NOUN
ejpam-3020	165	5	e)(b	e)(b	PROPN
ejpam-3020	165	6	)	)	PUNCT
ejpam-3020	165	7	for	for	ADP
ejpam-3020	165	8	every	every	DET
ejpam-3020	165	9	b	b	PROPN
ejpam-3020	165	10	∈	∈	PROPN
ejpam-3020	165	11	b.	b.	NOUN
ejpam-3020	165	12	thus	thus	ADV
ejpam-3020	165	13	e	e	X
ejpam-3020	165	14	is	be	AUX
ejpam-3020	165	15	a	a	DET
ejpam-3020	165	16	sfun−morphism	sfun−morphism	NOUN
ejpam-3020	165	17	.	.	PUNCT
ejpam-3020	166	1	now	now	ADV
ejpam-3020	166	2	show	show	VERB
ejpam-3020	166	3	that	that	SCONJ
ejpam-3020	166	4	(	(	PUNCT
ejpam-3020	166	5	(	(	PUNCT
ejpam-3020	166	6	g	g	NOUN
ejpam-3020	166	7	,	,	PUNCT
ejpam-3020	166	8	b	b	NOUN
ejpam-3020	166	9	)	)	PUNCT
ejpam-3020	166	10	,	,	PUNCT
ejpam-3020	166	11	e	e	X
ejpam-3020	166	12	)	)	PUNCT
ejpam-3020	166	13	is	be	AUX
ejpam-3020	166	14	coequalizer	coequalizer	NOUN
ejpam-3020	166	15	of	of	ADP
ejpam-3020	166	16	fs	f	NOUN
ejpam-3020	166	17	and	and	CCONJ
ejpam-3020	166	18	gs	gs	INTJ
ejpam-3020	166	19	.	.	PUNCT
ejpam-3020	167	1	let	let	AUX
ejpam-3020	167	2	(	(	PUNCT
ejpam-3020	167	3	h	h	NOUN
ejpam-3020	167	4	,	,	PUNCT
ejpam-3020	167	5	c	c	NOUN
ejpam-3020	167	6	)	)	PUNCT
ejpam-3020	167	7	is	be	AUX
ejpam-3020	167	8	a	a	DET
ejpam-3020	167	9	sfun−object	sfun−object	NOUN
ejpam-3020	167	10	and	and	CCONJ
ejpam-3020	167	11	be	be	AUX
ejpam-3020	167	12	a	a	DET
ejpam-3020	167	13	morphism	morphism	NOUN
ejpam-3020	167	14	of	of	ADP
ejpam-3020	167	15	(	(	PUNCT
ejpam-3020	167	16	g	g	PROPN
ejpam-3020	167	17	,	,	PUNCT
ejpam-3020	167	18	b	b	NOUN
ejpam-3020	167	19	)	)	PUNCT
ejpam-3020	167	20	into	into	ADP
ejpam-3020	167	21	(	(	PUNCT
ejpam-3020	167	22	h	h	NOUN
ejpam-3020	167	23	,	,	PUNCT
ejpam-3020	167	24	c	c	NOUN
ejpam-3020	167	25	)	)	PUNCT
ejpam-3020	167	26	satisfying	satisfy	VERB
ejpam-3020	167	27	e′	e′	X
ejpam-3020	167	28	◦	◦	NOUN
ejpam-3020	167	29	fs	fs	ADP
ejpam-3020	167	30	=	=	SYM
ejpam-3020	167	31	e′	e′	PROPN
ejpam-3020	167	32	◦	◦	NOUN
ejpam-3020	168	1	gs	gs	AUX
ejpam-3020	168	2	.	.	PUNCT
ejpam-3020	168	3	define	define	VERB
ejpam-3020	168	4	the	the	DET
ejpam-3020	168	5	map	map	NOUN
ejpam-3020	168	6	ē	ē	ADV
ejpam-3020	168	7	:	:	PUNCT
ejpam-3020	168	8	(	(	PUNCT
ejpam-3020	168	9	h	h	NOUN
ejpam-3020	168	10	,	,	PUNCT
ejpam-3020	168	11	c	c	NOUN
ejpam-3020	168	12	)	)	PUNCT
ejpam-3020	168	13	→	→	SYM
ejpam-3020	168	14	(	(	PUNCT
ejpam-3020	168	15	h	h	NOUN
ejpam-3020	168	16	′	′	NOUN
ejpam-3020	168	17	,	,	PUNCT
ejpam-3020	168	18	c	c	NOUN
ejpam-3020	168	19	′	′	NOUN
ejpam-3020	168	20	)	)	PUNCT
ejpam-3020	168	21	such	such	ADJ
ejpam-3020	168	22	that	that	SCONJ
ejpam-3020	168	23	ē	ē	ADV
ejpam-3020	168	24	=	=	SYM
ejpam-3020	168	25	e′.	e′.	ADJ
ejpam-3020	168	26	we	we	PRON
ejpam-3020	168	27	obtain	obtain	VERB
ejpam-3020	168	28	that	that	PRON
ejpam-3020	168	29	e′	e′	PUNCT
ejpam-3020	168	30	=	=	X
ejpam-3020	168	31	ē	ē	ADP
ejpam-3020	168	32	◦	◦	NOUN
ejpam-3020	168	33	e	e	NOUN
ejpam-3020	168	34	from	from	ADP
ejpam-3020	168	35	the	the	DET
ejpam-3020	168	36	above	above	ADJ
ejpam-3020	168	37	diagram	diagram	NOUN
ejpam-3020	168	38	.	.	PUNCT
ejpam-3020	169	1	s.	s.	PROPN
ejpam-3020	169	2	öztunç	öztunç	PROPN
ejpam-3020	169	3	,	,	PUNCT
ejpam-3020	169	4	a.	a.	PROPN
ejpam-3020	169	5	mutlu	mutlu	PROPN
ejpam-3020	169	6	,	,	PUNCT
ejpam-3020	169	7	a.	a.	NOUN
ejpam-3020	169	8	erdoğan	erdoğan	NOUN
ejpam-3020	169	9	sert	sert	PROPN
ejpam-3020	169	10	/	/	SYM
ejpam-3020	169	11	eur	eur	PROPN
ejpam-3020	169	12	.	.	PUNCT
ejpam-3020	170	1	j.	j.	PROPN
ejpam-3020	170	2	pure	pure	PROPN
ejpam-3020	170	3	appl	appl	PROPN
ejpam-3020	170	4	.	.	PROPN
ejpam-3020	170	5	math	math	PROPN
ejpam-3020	170	6	,	,	PUNCT
ejpam-3020	170	7	10	10	NUM
ejpam-3020	170	8	(	(	PUNCT
ejpam-3020	170	9	4	4	NUM
ejpam-3020	170	10	)	)	PUNCT
ejpam-3020	170	11	(	(	PUNCT
ejpam-3020	170	12	2017	2017	NUM
ejpam-3020	170	13	)	)	PUNCT
ejpam-3020	170	14	,	,	PUNCT
ejpam-3020	170	15	850	850	NUM
ejpam-3020	170	16	-	-	SYM
ejpam-3020	170	17	857	857	NUM
ejpam-3020	170	18	856	856	NUM
ejpam-3020	170	19	since	since	SCONJ
ejpam-3020	170	20	e′	e′	X
ejpam-3020	170	21	◦	◦	VERB
ejpam-3020	170	22	fs	fs	ADP
ejpam-3020	170	23	=	=	SYM
ejpam-3020	170	24	e′	e′	PROPN
ejpam-3020	170	25	◦	◦	NOUN
ejpam-3020	170	26	gs	gs	NOUN
ejpam-3020	170	27	,	,	PUNCT
ejpam-3020	170	28	we	we	PRON
ejpam-3020	170	29	have	have	VERB
ejpam-3020	170	30	e′(fs(c	e′(fs(c	ADJ
ejpam-3020	170	31	)	)	PUNCT
ejpam-3020	170	32	)	)	PUNCT
ejpam-3020	171	1	=	=	SYM
ejpam-3020	171	2	e′(gs(c	e′(gs(c	NOUN
ejpam-3020	171	3	)	)	PUNCT
ejpam-3020	171	4	)	)	PUNCT
ejpam-3020	172	1	for	for	ADP
ejpam-3020	172	2	every	every	DET
ejpam-3020	172	3	c	c	PROPN
ejpam-3020	172	4	∈	∈	PROPN
ejpam-3020	172	5	c.	c.	NOUN
ejpam-3020	172	6	hence	hence	ADV
ejpam-3020	172	7	gs(c	gs(c	VERB
ejpam-3020	172	8	)	)	PUNCT
ejpam-3020	172	9	∈	∈	PROPN
ejpam-3020	172	10	c	c	NOUN
ejpam-3020	172	11	and	and	CCONJ
ejpam-3020	172	12	ē	ē	ADV
ejpam-3020	172	13	◦	◦	NOUN
ejpam-3020	172	14	e′	e′	ADJ
ejpam-3020	172	15	is	be	AUX
ejpam-3020	172	16	well	well	ADV
ejpam-3020	172	17	defined	define	VERB
ejpam-3020	172	18	.	.	PUNCT
ejpam-3020	173	1	since	since	SCONJ
ejpam-3020	173	2	g	g	NOUN
ejpam-3020	173	3	=	=	NOUN
ejpam-3020	173	4	h	h	NOUN
ejpam-3020	173	5	◦	◦	NOUN
ejpam-3020	173	6	e	e	NOUN
ejpam-3020	173	7	,	,	PUNCT
ejpam-3020	173	8	ē	ē	ADV
ejpam-3020	173	9	=	=	SYM
ejpam-3020	173	10	e′	e′	PROPN
ejpam-3020	173	11	and	and	CCONJ
ejpam-3020	173	12	e′	e′	PROPN
ejpam-3020	173	13	is	be	AUX
ejpam-3020	173	14	a	a	DET
ejpam-3020	173	15	sfun−	sfun−	NOUN
ejpam-3020	173	16	morphism	morphism	NOUN
ejpam-3020	173	17	we	we	PRON
ejpam-3020	173	18	have	have	VERB
ejpam-3020	173	19	the	the	DET
ejpam-3020	173	20	following	follow	VERB
ejpam-3020	173	21	inclusion	inclusion	NOUN
ejpam-3020	173	22	:	:	PUNCT
ejpam-3020	173	23	g(b	g(b	X
ejpam-3020	173	24	)	)	PUNCT
ejpam-3020	173	25	⊆	⊆	NUM
ejpam-3020	173	26	(	(	PUNCT
ejpam-3020	173	27	h	h	NOUN
ejpam-3020	173	28	◦	◦	NOUN
ejpam-3020	173	29	ē)(b	ē)(b	ADJ
ejpam-3020	173	30	)	)	PUNCT
ejpam-3020	174	1	=	=	SYM
ejpam-3020	174	2	(	(	PUNCT
ejpam-3020	174	3	h	h	NOUN
ejpam-3020	174	4	◦	◦	NOUN
ejpam-3020	174	5	e′)(b	e′)(b	NUM
ejpam-3020	174	6	)	)	PUNCT
ejpam-3020	174	7	=	=	SYM
ejpam-3020	174	8	h(ē(e(b	h(ē(e(b	ADJ
ejpam-3020	174	9	)	)	PUNCT
ejpam-3020	174	10	)	)	PUNCT
ejpam-3020	174	11	)	)	PUNCT
ejpam-3020	175	1	=	=	PRON
ejpam-3020	175	2	(	(	PUNCT
ejpam-3020	175	3	h	h	NOUN
ejpam-3020	175	4	◦	◦	NOUN
ejpam-3020	175	5	ē)(e(b	ē)(e(b	NUM
ejpam-3020	175	6	)	)	PUNCT
ejpam-3020	175	7	)	)	PUNCT
ejpam-3020	176	1	=	=	PUNCT
ejpam-3020	176	2	(	(	PUNCT
ejpam-3020	176	3	h	h	NOUN
ejpam-3020	176	4	◦	◦	NOUN
ejpam-3020	176	5	e)(b	e)(b	PROPN
ejpam-3020	176	6	)	)	PUNCT
ejpam-3020	176	7	=	=	SYM
ejpam-3020	177	1	g(b	g(b	X
ejpam-3020	177	2	)	)	PUNCT
ejpam-3020	177	3	.	.	PUNCT
ejpam-3020	178	1	hence	hence	ADV
ejpam-3020	178	2	ē	ē	ADV
ejpam-3020	178	3	is	be	AUX
ejpam-3020	178	4	a	a	DET
ejpam-3020	178	5	sfun−	sfun−	NOUN
ejpam-3020	178	6	morphism	morphism	NOUN
ejpam-3020	178	7	.	.	PUNCT
ejpam-3020	179	1	since	since	SCONJ
ejpam-3020	179	2	e′	e′	X
ejpam-3020	179	3	=	=	X
ejpam-3020	179	4	ē	ē	ADP
ejpam-3020	179	5	◦	◦	NOUN
ejpam-3020	179	6	e	e	NOUN
ejpam-3020	179	7	and	and	CCONJ
ejpam-3020	179	8	ē	ē	ADV
ejpam-3020	179	9	is	be	AUX
ejpam-3020	179	10	unique	unique	ADJ
ejpam-3020	179	11	,	,	PUNCT
ejpam-3020	179	12	we	we	PRON
ejpam-3020	179	13	conclude	conclude	VERB
ejpam-3020	179	14	that	that	PRON
ejpam-3020	179	15	(	(	PUNCT
ejpam-3020	179	16	(	(	PUNCT
ejpam-3020	179	17	g	g	NOUN
ejpam-3020	179	18	,	,	PUNCT
ejpam-3020	179	19	b	b	NOUN
ejpam-3020	179	20	)	)	PUNCT
ejpam-3020	179	21	,	,	PUNCT
ejpam-3020	179	22	e	e	X
ejpam-3020	179	23	)	)	PUNCT
ejpam-3020	179	24	is	be	AUX
ejpam-3020	179	25	a	a	DET
ejpam-3020	179	26	coequalizer	coequalizer	NOUN
ejpam-3020	179	27	of	of	ADP
ejpam-3020	179	28	fs	f	NOUN
ejpam-3020	179	29	and	and	CCONJ
ejpam-3020	179	30	gs	gs	PROPN
ejpam-3020	179	31	.	.	PROPN
ejpam-3020	179	32	�	�	PROPN
ejpam-3020	179	33	theorem	theorem	VERB
ejpam-3020	179	34	8	8	NUM
ejpam-3020	179	35	.	.	PUNCT
ejpam-3020	180	1	if	if	SCONJ
ejpam-3020	180	2	(	(	PUNCT
ejpam-3020	180	3	(	(	PUNCT
ejpam-3020	180	4	g	g	NOUN
ejpam-3020	180	5	,	,	PUNCT
ejpam-3020	180	6	b	b	NOUN
ejpam-3020	180	7	)	)	PUNCT
ejpam-3020	180	8	,	,	PUNCT
ejpam-3020	180	9	e	e	X
ejpam-3020	180	10	)	)	PUNCT
ejpam-3020	180	11	is	be	AUX
ejpam-3020	180	12	a	a	DET
ejpam-3020	180	13	coequalizer	coequalizer	NOUN
ejpam-3020	180	14	of	of	ADP
ejpam-3020	180	15	a	a	DET
ejpam-3020	180	16	morphism	morphism	NOUN
ejpam-3020	180	17	pair	pair	NOUN
ejpam-3020	180	18	in	in	ADP
ejpam-3020	180	19	sfun	sfun	ADJ
ejpam-3020	180	20	category	category	NOUN
ejpam-3020	180	21	,	,	PUNCT
ejpam-3020	180	22	then	then	ADV
ejpam-3020	180	23	(	(	PUNCT
ejpam-3020	180	24	(	(	PUNCT
ejpam-3020	180	25	g	g	NOUN
ejpam-3020	180	26	,	,	PUNCT
ejpam-3020	180	27	b	b	NOUN
ejpam-3020	180	28	)	)	PUNCT
ejpam-3020	180	29	,	,	PUNCT
ejpam-3020	180	30	e	e	X
ejpam-3020	180	31	)	)	PUNCT
ejpam-3020	180	32	is	be	AUX
ejpam-3020	180	33	epic	epic	ADJ
ejpam-3020	180	34	.	.	PUNCT
ejpam-3020	181	1	proof	proof	NOUN
ejpam-3020	181	2	.	.	PUNCT
ejpam-3020	182	1	(	(	PUNCT
ejpam-3020	182	2	f	f	X
ejpam-3020	182	3	,	,	PUNCT
ejpam-3020	182	4	a	a	PRON
ejpam-3020	182	5	)	)	PUNCT
ejpam-3020	182	6	fs	fs	ADP
ejpam-3020	182	7	//	//	PROPN
ejpam-3020	182	8	gs	gs	PROPN
ejpam-3020	182	9	//	//	X
ejpam-3020	182	10	(	(	PUNCT
ejpam-3020	182	11	g	g	PROPN
ejpam-3020	182	12	,	,	PUNCT
ejpam-3020	182	13	b	b	NOUN
ejpam-3020	182	14	)	)	PUNCT
ejpam-3020	182	15	e	e	NOUN
ejpam-3020	182	16	//	//	X
ejpam-3020	182	17	e′	e′	X
ejpam-3020	182	18	#	#	SYM
ejpam-3020	182	19	#	#	NOUN
ejpam-3020	182	20	(	(	PUNCT
ejpam-3020	182	21	h	h	NOUN
ejpam-3020	182	22	,	,	PUNCT
ejpam-3020	182	23	c	c	NOUN
ejpam-3020	182	24	)	)	PUNCT
ejpam-3020	182	25	¯̄e	¯̄e	PROPN
ejpam-3020	182	26	�	�	PROPN
ejpam-3020	182	27	�	�	PROPN
ejpam-3020	182	28	ē	ē	PART
ejpam-3020	182	29	�	�	PROPN
ejpam-3020	182	30	�	�	PROPN
ejpam-3020	182	31	(	(	PUNCT
ejpam-3020	182	32	h	h	NOUN
ejpam-3020	182	33	′	′	PROPN
ejpam-3020	182	34	,	,	PUNCT
ejpam-3020	182	35	c	c	PROPN
ejpam-3020	182	36	′	′	NUM
ejpam-3020	182	37	)	)	PUNCT
ejpam-3020	182	38	suppose	suppose	VERB
ejpam-3020	182	39	that	that	SCONJ
ejpam-3020	182	40	(	(	PUNCT
ejpam-3020	182	41	(	(	PUNCT
ejpam-3020	182	42	g	g	NOUN
ejpam-3020	182	43	,	,	PUNCT
ejpam-3020	182	44	b	b	NOUN
ejpam-3020	182	45	)	)	PUNCT
ejpam-3020	182	46	,	,	PUNCT
ejpam-3020	182	47	e	e	X
ejpam-3020	182	48	)	)	PUNCT
ejpam-3020	182	49	is	be	AUX
ejpam-3020	182	50	coequalizer	coequalizer	NOUN
ejpam-3020	182	51	of	of	ADP
ejpam-3020	182	52	fs	f	NOUN
ejpam-3020	182	53	and	and	CCONJ
ejpam-3020	182	54	gs	gs	INTJ
ejpam-3020	182	55	.	.	PUNCT
ejpam-3020	183	1	let	let	VERB
ejpam-3020	183	2	ē	ē	ADV
ejpam-3020	183	3	and	and	CCONJ
ejpam-3020	183	4	¯̄e	¯̄e	VERB
ejpam-3020	183	5	be	be	AUX
ejpam-3020	183	6	two	two	NUM
ejpam-3020	183	7	sfun−	sfun−	NOUN
ejpam-3020	183	8	morphisms	morphism	NOUN
ejpam-3020	183	9	as	as	SCONJ
ejpam-3020	183	10	illustrated	illustrate	VERB
ejpam-3020	183	11	above	above	ADP
ejpam-3020	183	12	diagram	diagram	NOUN
ejpam-3020	183	13	.	.	PUNCT
ejpam-3020	184	1	we	we	PRON
ejpam-3020	184	2	have	have	VERB
ejpam-3020	184	3	g(b	g(b	NOUN
ejpam-3020	184	4	)	)	PUNCT
ejpam-3020	184	5	⊆	⊆	NUM
ejpam-3020	184	6	(	(	PUNCT
ejpam-3020	184	7	h	h	NOUN
ejpam-3020	184	8	′	′	NUM
ejpam-3020	184	9	◦	◦	NOUN
ejpam-3020	184	10	e′)(b	e′)(b	ADJ
ejpam-3020	184	11	)	)	PUNCT
ejpam-3020	184	12	since	since	SCONJ
ejpam-3020	184	13	e′	e′	PROPN
ejpam-3020	184	14	:	:	PUNCT
ejpam-3020	184	15	(	(	PUNCT
ejpam-3020	184	16	g	g	NOUN
ejpam-3020	184	17	,	,	PUNCT
ejpam-3020	184	18	b)→	b)→	PROPN
ejpam-3020	184	19	(	(	PUNCT
ejpam-3020	184	20	h	h	NOUN
ejpam-3020	184	21	′	′	PROPN
ejpam-3020	184	22	,	,	PUNCT
ejpam-3020	184	23	c	c	NOUN
ejpam-3020	184	24	′	′	NOUN
ejpam-3020	184	25	)	)	PUNCT
ejpam-3020	184	26	is	be	AUX
ejpam-3020	184	27	a	a	DET
ejpam-3020	184	28	sfun−	sfun−	NOUN
ejpam-3020	184	29	morphism	morphism	NOUN
ejpam-3020	184	30	,	,	PUNCT
ejpam-3020	184	31	h(c	h(c	PROPN
ejpam-3020	184	32	)	)	PUNCT
ejpam-3020	184	33	⊆	⊆	NUM
ejpam-3020	184	34	(	(	PUNCT
ejpam-3020	184	35	h	h	NOUN
ejpam-3020	184	36	′	′	NUM
ejpam-3020	184	37	◦	◦	NOUN
ejpam-3020	184	38	ē)(c	ē)(c	PROPN
ejpam-3020	184	39	)	)	PUNCT
ejpam-3020	184	40	since	since	SCONJ
ejpam-3020	184	41	ē	ē	ADV
ejpam-3020	184	42	:	:	PUNCT
ejpam-3020	184	43	(	(	PUNCT
ejpam-3020	184	44	h	h	NOUN
ejpam-3020	184	45	,	,	PUNCT
ejpam-3020	184	46	c	c	NOUN
ejpam-3020	184	47	)	)	PUNCT
ejpam-3020	184	48	→	→	SYM
ejpam-3020	184	49	(	(	PUNCT
ejpam-3020	184	50	h	h	NOUN
ejpam-3020	184	51	′	′	NOUN
ejpam-3020	184	52	,	,	PUNCT
ejpam-3020	184	53	c	c	NOUN
ejpam-3020	184	54	′	′	NOUN
ejpam-3020	184	55	)	)	PUNCT
ejpam-3020	184	56	is	be	AUX
ejpam-3020	184	57	a	a	DET
ejpam-3020	184	58	sfun−morphism	sfun−morphism	NOUN
ejpam-3020	184	59	and	and	CCONJ
ejpam-3020	184	60	h(c	h(c	PROPN
ejpam-3020	184	61	)	)	PUNCT
ejpam-3020	184	62	⊆	⊆	NUM
ejpam-3020	184	63	(	(	PUNCT
ejpam-3020	184	64	h	h	NOUN
ejpam-3020	184	65	′	′	NUM
ejpam-3020	185	1	◦	◦	VERB
ejpam-3020	185	2	¯̄e)(c	¯̄e)(c	ADJ
ejpam-3020	185	3	)	)	PUNCT
ejpam-3020	185	4	since	since	SCONJ
ejpam-3020	185	5	¯̄e	¯̄e	PROPN
ejpam-3020	185	6	:	:	PUNCT
ejpam-3020	185	7	(	(	PUNCT
ejpam-3020	185	8	h	h	NOUN
ejpam-3020	185	9	,	,	PUNCT
ejpam-3020	185	10	c)→	c)→	PROPN
ejpam-3020	185	11	(	(	PUNCT
ejpam-3020	185	12	h	h	NOUN
ejpam-3020	185	13	′	′	PROPN
ejpam-3020	185	14	,	,	PUNCT
ejpam-3020	185	15	c	c	NOUN
ejpam-3020	185	16	′	′	NOUN
ejpam-3020	185	17	)	)	PUNCT
ejpam-3020	185	18	is	be	AUX
ejpam-3020	185	19	a	a	DET
ejpam-3020	185	20	sfun−	sfun−	NOUN
ejpam-3020	185	21	morphism	morphism	NOUN
ejpam-3020	185	22	.	.	PUNCT
ejpam-3020	186	1	from	from	ADP
ejpam-3020	186	2	the	the	DET
ejpam-3020	186	3	above	above	ADJ
ejpam-3020	186	4	diagram	diagram	NOUN
ejpam-3020	186	5	g(b	g(b	PROPN
ejpam-3020	186	6	)	)	PUNCT
ejpam-3020	186	7	⊆	⊆	NUM
ejpam-3020	186	8	(	(	PUNCT
ejpam-3020	186	9	h	h	NOUN
ejpam-3020	186	10	′	′	NUM
ejpam-3020	186	11	◦	◦	NOUN
ejpam-3020	186	12	e′)(b	e′)(b	ADJ
ejpam-3020	186	13	)	)	PUNCT
ejpam-3020	187	1	=	=	SYM
ejpam-3020	187	2	h	h	NOUN
ejpam-3020	187	3	′(e′)(b	′(e′)(b	ADJ
ejpam-3020	187	4	)	)	PUNCT
ejpam-3020	188	1	=	=	SYM
ejpam-3020	188	2	h	h	NOUN
ejpam-3020	188	3	′(ē	′(ē	PROPN
ejpam-3020	188	4	◦	◦	PROPN
ejpam-3020	188	5	e)(b	e)(b	PROPN
ejpam-3020	188	6	)	)	PUNCT
ejpam-3020	189	1	=	=	SYM
ejpam-3020	189	2	h	h	NOUN
ejpam-3020	189	3	′(¯̄e	′(¯̄e	PROPN
ejpam-3020	189	4	◦	◦	NOUN
ejpam-3020	189	5	e)(b	e)(b	PROPN
ejpam-3020	189	6	)	)	PUNCT
ejpam-3020	189	7	.	.	PUNCT
ejpam-3020	190	1	next	next	ADV
ejpam-3020	190	2	suppose	suppose	VERB
ejpam-3020	190	3	that	that	SCONJ
ejpam-3020	190	4	ēe	ēe	PROPN
ejpam-3020	190	5	=	=	SYM
ejpam-3020	190	6	¯̄ee	¯̄ee	PROPN
ejpam-3020	190	7	.	.	PUNCT
ejpam-3020	191	1	we	we	PRON
ejpam-3020	191	2	want	want	VERB
ejpam-3020	191	3	to	to	PART
ejpam-3020	191	4	show	show	VERB
ejpam-3020	191	5	that	that	SCONJ
ejpam-3020	191	6	ē	ē	ADV
ejpam-3020	191	7	=	=	SYM
ejpam-3020	192	1	e¯̄e	e¯̄e	PROPN
ejpam-3020	192	2	.	.	PUNCT
ejpam-3020	193	1	put	put	VERB
ejpam-3020	193	2	e′	e′	X
ejpam-3020	193	3	=	=	SYM
ejpam-3020	193	4	ēe	ēe	PROPN
ejpam-3020	193	5	=	=	SYM
ejpam-3020	193	6	¯̄ee	¯̄ee	PROPN
ejpam-3020	193	7	.	.	PUNCT
ejpam-3020	194	1	then	then	ADV
ejpam-3020	194	2	e′fs	e′fs	X
ejpam-3020	194	3	=	=	SYM
ejpam-3020	194	4	ēefs	ēefs	PROPN
ejpam-3020	194	5	=	=	SYM
ejpam-3020	194	6	¯̄eefs	¯̄eef	NOUN
ejpam-3020	194	7	e′fs	e′fs	X
ejpam-3020	194	8	=	=	PUNCT
ejpam-3020	194	9	ēefs	ēef	NOUN
ejpam-3020	194	10	=	=	SYM
ejpam-3020	194	11	ēegs	ēeg	NOUN
ejpam-3020	194	12	=	=	SYM
ejpam-3020	194	13	e′gs	e′gs	ADJ
ejpam-3020	194	14	.	.	PUNCT
ejpam-3020	195	1	by	by	ADP
ejpam-3020	195	2	using	use	VERB
ejpam-3020	195	3	universal	universal	ADJ
ejpam-3020	195	4	mapping	mapping	NOUN
ejpam-3020	195	5	property	property	NOUN
ejpam-3020	195	6	,	,	PUNCT
ejpam-3020	195	7	there	there	PRON
ejpam-3020	195	8	is	be	VERB
ejpam-3020	195	9	unique	unique	ADJ
ejpam-3020	195	10	u	u	NOUN
ejpam-3020	195	11	:	:	PUNCT
ejpam-3020	195	12	(	(	PUNCT
ejpam-3020	195	13	h	h	NOUN
ejpam-3020	195	14	,	,	PUNCT
ejpam-3020	195	15	c	c	NOUN
ejpam-3020	195	16	)	)	PUNCT
ejpam-3020	195	17	→	→	SYM
ejpam-3020	195	18	(	(	PUNCT
ejpam-3020	195	19	h	h	NOUN
ejpam-3020	195	20	′	′	NOUN
ejpam-3020	195	21	,	,	PUNCT
ejpam-3020	195	22	c	c	NOUN
ejpam-3020	195	23	′	′	NOUN
ejpam-3020	195	24	)	)	PUNCT
ejpam-3020	196	1	such	such	ADJ
ejpam-3020	196	2	that	that	SCONJ
ejpam-3020	196	3	ue	ue	PROPN
ejpam-3020	196	4	=	=	NOUN
ejpam-3020	196	5	e′.	e′.	NOUN
ejpam-3020	196	6	hence	hence	ADV
ejpam-3020	196	7	we	we	PRON
ejpam-3020	196	8	obtain	obtain	VERB
ejpam-3020	196	9	ē	ē	ADV
ejpam-3020	196	10	=	=	SYM
ejpam-3020	196	11	u	u	NOUN
ejpam-3020	196	12	=	=	PUNCT
ejpam-3020	196	13	¯̄e	¯̄e	ADV
ejpam-3020	196	14	from	from	ADP
ejpam-3020	196	15	ēe	ēe	NOUN
ejpam-3020	196	16	=	=	SYM
ejpam-3020	196	17	e′	e′	NOUN
ejpam-3020	196	18	and	and	CCONJ
ejpam-3020	196	19	¯̄ee	¯̄ee	PROPN
ejpam-3020	196	20	=	=	PUNCT
ejpam-3020	196	21	e′.	e′.	NOUN
ejpam-3020	196	22	since	since	SCONJ
ejpam-3020	196	23	ēe	ēe	PROPN
ejpam-3020	196	24	=	=	SYM
ejpam-3020	196	25	¯̄ee	¯̄ee	PROPN
ejpam-3020	196	26	implies	imply	VERB
ejpam-3020	196	27	that	that	SCONJ
ejpam-3020	196	28	ē	ē	ADV
ejpam-3020	196	29	=	=	SYM
ejpam-3020	196	30	¯̄e	¯̄e	PROPN
ejpam-3020	196	31	,	,	PUNCT
ejpam-3020	196	32	e	e	X
ejpam-3020	196	33	is	be	AUX
ejpam-3020	196	34	right	right	ADV
ejpam-3020	196	35	cancellable	cancellable	ADJ
ejpam-3020	196	36	.	.	PUNCT
ejpam-3020	197	1	therefore	therefore	ADV
ejpam-3020	197	2	e	e	PROPN
ejpam-3020	197	3	is	be	AUX
ejpam-3020	197	4	epic	epic	ADJ
ejpam-3020	197	5	.	.	PUNCT
ejpam-3020	198	1	�	�	PROPN
ejpam-3020	198	2	4	4	NUM
ejpam-3020	198	3	.	.	PUNCT
ejpam-3020	198	4	conclusion	conclusion	NOUN
ejpam-3020	198	5	we	we	PRON
ejpam-3020	198	6	have	have	AUX
ejpam-3020	198	7	worked	work	VERB
ejpam-3020	198	8	on	on	ADP
ejpam-3020	198	9	some	some	DET
ejpam-3020	198	10	monomorphism	monomorphism	NOUN
ejpam-3020	198	11	and	and	CCONJ
ejpam-3020	198	12	epimorphism	epimorphism	NOUN
ejpam-3020	198	13	properties	property	NOUN
ejpam-3020	198	14	of	of	ADP
ejpam-3020	198	15	sfun	sfun	ADJ
ejpam-3020	198	16	category	category	NOUN
ejpam-3020	198	17	.	.	PUNCT
ejpam-3020	199	1	we	we	PRON
ejpam-3020	199	2	conclude	conclude	VERB
ejpam-3020	199	3	that	that	PRON
ejpam-3020	199	4	sfun	sfun	NOUN
ejpam-3020	199	5	has	have	VERB
ejpam-3020	199	6	coequalizers	coequalizer	NOUN
ejpam-3020	199	7	,	,	PUNCT
ejpam-3020	199	8	equalizers	equalizer	NOUN
ejpam-3020	199	9	in	in	ADP
ejpam-3020	199	10	sfun	sfun	ADJ
ejpam-3020	199	11	category	category	NOUN
ejpam-3020	199	12	are	be	AUX
ejpam-3020	199	13	monic	monic	ADJ
ejpam-3020	199	14	and	and	CCONJ
ejpam-3020	199	15	coequalizers	coequalizer	NOUN
ejpam-3020	199	16	in	in	ADP
ejpam-3020	199	17	sfun	sfun	ADJ
ejpam-3020	199	18	category	category	NOUN
ejpam-3020	199	19	are	be	AUX
ejpam-3020	199	20	epic	epic	ADJ
ejpam-3020	199	21	.	.	PUNCT
ejpam-3020	200	1	references	reference	NOUN
ejpam-3020	200	2	857	857	NUM
ejpam-3020	200	3	references	reference	NOUN
ejpam-3020	200	4	[	[	X
ejpam-3020	200	5	1	1	NUM
ejpam-3020	200	6	]	]	SYM
ejpam-3020	200	7	ç.g.aras	ç.g.ara	NOUN
ejpam-3020	200	8	,	,	PUNCT
ejpam-3020	200	9	a.	a.	NOUN
ejpam-3020	200	10	sönmez	sönmez	NOUN
ejpam-3020	200	11	,	,	PUNCT
ejpam-3020	200	12	h.	h.	PROPN
ejpam-3020	200	13	çakallı	çakallı	PROPN
ejpam-3020	200	14	.	.	PUNCT
ejpam-3020	201	1	on	on	ADP
ejpam-3020	201	2	soft	soft	ADJ
ejpam-3020	201	3	mappings	mapping	NOUN
ejpam-3020	201	4	,	,	PUNCT
ejpam-3020	201	5	arxiv	arxiv	NOUN
ejpam-3020	201	6	,	,	PUNCT
ejpam-3020	201	7	computers	computer	NOUN
ejpam-3020	201	8	&	&	CCONJ
ejpam-3020	201	9	mathematics	mathematics	PROPN
ejpam-3020	201	10	with	with	ADP
ejpam-3020	201	11	applications	application	NOUN
ejpam-3020	201	12	,	,	PUNCT
ejpam-3020	201	13	05/2013	05/2013	NUM
ejpam-3020	201	14	,	,	PUNCT
ejpam-3020	201	15	60(9	60(9	NUM
ejpam-3020	201	16	)	)	PUNCT
ejpam-3020	201	17	,	,	PUNCT
ejpam-3020	201	18	2013	2013	NUM
ejpam-3020	201	19	.	.	PUNCT
ejpam-3020	202	1	[	[	X
ejpam-3020	202	2	2	2	NUM
ejpam-3020	202	3	]	]	SYM
ejpam-3020	202	4	ç.g.aras	ç.g.ara	NOUN
ejpam-3020	202	5	,	,	PUNCT
ejpam-3020	202	6	h.	h.	PROPN
ejpam-3020	202	7	poşul	poşul	PROPN
ejpam-3020	202	8	.	.	PUNCT
ejpam-3020	203	1	on	on	ADP
ejpam-3020	203	2	some	some	DET
ejpam-3020	203	3	new	new	ADJ
ejpam-3020	203	4	operations	operation	NOUN
ejpam-3020	203	5	in	in	ADP
ejpam-3020	203	6	probabilistic	probabilistic	ADJ
ejpam-3020	203	7	soft	soft	ADJ
ejpam-3020	203	8	set	set	NOUN
ejpam-3020	203	9	theory	theory	NOUN
ejpam-3020	203	10	,	,	PUNCT
ejpam-3020	203	11	european	european	PROPN
ejpam-3020	203	12	journal	journal	PROPN
ejpam-3020	203	13	of	of	ADP
ejpam-3020	203	14	pure	pure	ADJ
ejpam-3020	203	15	and	and	CCONJ
ejpam-3020	203	16	applied	applied	ADJ
ejpam-3020	203	17	mathematics	mathematic	NOUN
ejpam-3020	203	18	,	,	PUNCT
ejpam-3020	203	19	9(3	9(3	NUM
ejpam-3020	203	20	)	)	PUNCT
ejpam-3020	203	21	,	,	PUNCT
ejpam-3020	203	22	333–339	333–339	NUM
ejpam-3020	203	23	,	,	PUNCT
ejpam-3020	203	24	2016	2016	NUM
ejpam-3020	203	25	.	.	PUNCT
ejpam-3020	204	1	[	[	X
ejpam-3020	204	2	3	3	X
ejpam-3020	204	3	]	]	PUNCT
ejpam-3020	204	4	s.	s.	PROPN
ejpam-3020	204	5	awoday	awoday	PROPN
ejpam-3020	204	6	.	.	PUNCT
ejpam-3020	205	1	category	category	PROPN
ejpam-3020	205	2	theory	theory	NOUN
ejpam-3020	205	3	,	,	PUNCT
ejpam-3020	205	4	oxford	oxford	PROPN
ejpam-3020	205	5	science	science	NOUN
ejpam-3020	205	6	publication	publication	NOUN
ejpam-3020	205	7	,	,	PUNCT
ejpam-3020	205	8	2010	2010	NUM
ejpam-3020	205	9	.	.	PUNCT
ejpam-3020	206	1	[	[	X
ejpam-3020	206	2	4	4	NUM
ejpam-3020	206	3	]	]	X
ejpam-3020	206	4	t.s	t.s	PROPN
ejpam-3020	206	5	.	.	PROPN
ejpam-3020	206	6	blyth	blyth	PROPN
ejpam-3020	206	7	.	.	PUNCT
ejpam-3020	207	1	categories	category	NOUN
ejpam-3020	207	2	,	,	PUNCT
ejpam-3020	207	3	longman	longman	NOUN
ejpam-3020	207	4	1986	1986	NUM
ejpam-3020	207	5	.	.	PUNCT
ejpam-3020	208	1	[	[	X
ejpam-3020	208	2	5	5	X
ejpam-3020	208	3	]	]	PUNCT
ejpam-3020	208	4	p.	p.	NOUN
ejpam-3020	208	5	k	k	PROPN
ejpam-3020	208	6	maji	maji	PROPN
ejpam-3020	208	7	,	,	PUNCT
ejpam-3020	208	8	r.	r.	PROPN
ejpam-3020	208	9	biswas	biswas	PROPN
ejpam-3020	208	10	and	and	CCONJ
ejpam-3020	208	11	a.	a.	PROPN
ejpam-3020	208	12	r.	r.	PROPN
ejpam-3020	208	13	roy	roy	PROPN
ejpam-3020	208	14	.	.	PROPN
ejpam-3020	208	15	soft	soft	ADJ
ejpam-3020	208	16	set	set	PROPN
ejpam-3020	208	17	theory	theory	NOUN
ejpam-3020	208	18	,	,	PUNCT
ejpam-3020	208	19	comput	comput	NOUN
ejpam-3020	208	20	.	.	PUNCT
ejpam-3020	209	1	math	math	NOUN
ejpam-3020	209	2	.	.	PUNCT
ejpam-3020	210	1	appl	appl	PROPN
ejpam-3020	210	2	.	.	PROPN
ejpam-3020	210	3	,	,	PUNCT
ejpam-3020	210	4	45	45	NUM
ejpam-3020	210	5	,	,	PUNCT
ejpam-3020	210	6	555–562	555–562	NUM
ejpam-3020	210	7	,	,	PUNCT
ejpam-3020	210	8	2003	2003	NUM
ejpam-3020	210	9	.	.	PUNCT
ejpam-3020	211	1	[	[	X
ejpam-3020	211	2	6	6	NUM
ejpam-3020	211	3	]	]	PUNCT
ejpam-3020	211	4	d.	d.	PROPN
ejpam-3020	211	5	molodtsov	molodtsov	PROPN
ejpam-3020	211	6	.	.	PUNCT
ejpam-3020	212	1	soft	soft	ADJ
ejpam-3020	212	2	set	set	NOUN
ejpam-3020	212	3	theory	theory	NOUN
ejpam-3020	212	4	-	-	PUNCT
ejpam-3020	212	5	first	first	ADJ
ejpam-3020	212	6	result	result	NOUN
ejpam-3020	212	7	,	,	PUNCT
ejpam-3020	212	8	comput	comput	NOUN
ejpam-3020	212	9	.	.	PUNCT
ejpam-3020	213	1	math	math	NOUN
ejpam-3020	213	2	,	,	PUNCT
ejpam-3020	213	3	appl	appl	PROPN
ejpam-3020	213	4	.	.	PROPN
ejpam-3020	213	5	,	,	PUNCT
ejpam-3020	213	6	37	37	NUM
ejpam-3020	213	7	,	,	PUNCT
ejpam-3020	213	8	19–31	19–31	NUM
ejpam-3020	213	9	,	,	PUNCT
ejpam-3020	213	10	1999	1999	NUM
ejpam-3020	213	11	.	.	PUNCT
ejpam-3020	214	1	[	[	X
ejpam-3020	214	2	7	7	X
ejpam-3020	214	3	]	]	X
ejpam-3020	214	4	s.	s.	PROPN
ejpam-3020	214	5	öztunç.	öztunç.	VERB
ejpam-3020	214	6	some	some	DET
ejpam-3020	214	7	properties	property	NOUN
ejpam-3020	214	8	of	of	ADP
ejpam-3020	214	9	soft	soft	ADJ
ejpam-3020	214	10	categories	category	NOUN
ejpam-3020	214	11	,	,	PUNCT
ejpam-3020	214	12	international	international	ADJ
ejpam-3020	214	13	journal	journal	NOUN
ejpam-3020	214	14	of	of	ADP
ejpam-3020	214	15	modeling	modeling	NOUN
ejpam-3020	214	16	and	and	CCONJ
ejpam-3020	214	17	optimization	optimization	NOUN
ejpam-3020	214	18	,	,	PUNCT
ejpam-3020	214	19	6(2	6(2	NUM
ejpam-3020	214	20	)	)	PUNCT
ejpam-3020	214	21	,	,	PUNCT
ejpam-3020	214	22	91–95	91–95	NUM
ejpam-3020	214	23	,	,	PUNCT
ejpam-3020	214	24	2016	2016	NUM
ejpam-3020	214	25	.	.	PUNCT
ejpam-3020	215	1	[	[	X
ejpam-3020	215	2	8	8	X
ejpam-3020	215	3	]	]	PUNCT
ejpam-3020	215	4	s.	s.	PROPN
ejpam-3020	215	5	k.	k.	PROPN
ejpam-3020	215	6	sardar	sardar	PROPN
ejpam-3020	215	7	and	and	CCONJ
ejpam-3020	215	8	s.	s.	PROPN
ejpam-3020	215	9	gupta	gupta	PROPN
ejpam-3020	215	10	.	.	PUNCT
ejpam-3020	215	11	soft	soft	ADJ
ejpam-3020	215	12	category	category	NOUN
ejpam-3020	215	13	theory	theory	NOUN
ejpam-3020	215	14	-	-	PUNCT
ejpam-3020	215	15	an	an	DET
ejpam-3020	215	16	ntroduction	ntroduction	NOUN
ejpam-3020	215	17	,	,	PUNCT
ejpam-3020	215	18	journal	journal	NOUN
ejpam-3020	215	19	of	of	ADP
ejpam-3020	215	20	hyperstructures	hyperstructure	NOUN
ejpam-3020	215	21	,	,	PUNCT
ejpam-3020	215	22	2(2	2(2	NUM
ejpam-3020	215	23	)	)	PUNCT
ejpam-3020	215	24	,	,	PUNCT
ejpam-3020	215	25	118–135	118–135	NUM
ejpam-3020	215	26	,	,	PUNCT
ejpam-3020	215	27	2013	2013	NUM
ejpam-3020	215	28	.	.	PUNCT
ejpam-3020	216	1	[	[	X
ejpam-3020	216	2	9	9	X
ejpam-3020	216	3	]	]	X
ejpam-3020	216	4	muhammad	muhammad	PROPN
ejpam-3020	216	5	shabir	shabir	PROPN
ejpam-3020	216	6	,	,	PUNCT
ejpam-3020	216	7	munazza	munazza	PROPN
ejpam-3020	216	8	naz	naz	PROPN
ejpam-3020	216	9	.	.	PUNCT
ejpam-3020	217	1	on	on	ADP
ejpam-3020	217	2	soft	soft	ADJ
ejpam-3020	217	3	topological	topological	ADJ
ejpam-3020	217	4	spaces	space	NOUN
ejpam-3020	217	5	,	,	PUNCT
ejpam-3020	217	6	computers	computer	NOUN
ejpam-3020	217	7	&	&	CCONJ
ejpam-3020	217	8	mathematics	mathematic	NOUN
ejpam-3020	217	9	with	with	ADP
ejpam-3020	217	10	applications	application	NOUN
ejpam-3020	217	11	61(7	61(7	PROPN
ejpam-3020	217	12	)	)	PUNCT
ejpam-3020	217	13	,	,	PUNCT
ejpam-3020	217	14	1786–1799	1786–1799	NUM
ejpam-3020	217	15	,	,	PUNCT
ejpam-3020	217	16	2011	2011	NUM
ejpam-3020	217	17	.	.	PUNCT
ejpam-3020	217	18	)	)	PUNCT
ejpam-3020	218	1	[	[	X
ejpam-3020	218	2	10	10	NUM
ejpam-3020	218	3	]	]	PUNCT
ejpam-3020	218	4	m.	m.	NOUN
ejpam-3020	218	5	zhou	zhou	PROPN
ejpam-3020	218	6	,	,	PUNCT
ejpam-3020	218	7	s.	s.	PROPN
ejpam-3020	218	8	li	li	PROPN
ejpam-3020	218	9	,	,	PUNCT
ejpam-3020	218	10	m.	m.	PROPN
ejpam-3020	218	11	akram	akram	PROPN
ejpam-3020	218	12	.	.	PUNCT
ejpam-3020	219	1	categorical	categorical	ADJ
ejpam-3020	219	2	properties	property	NOUN
ejpam-3020	219	3	of	of	ADP
ejpam-3020	219	4	soft	soft	ADJ
ejpam-3020	219	5	set	set	NOUN
ejpam-3020	219	6	,	,	PUNCT
ejpam-3020	219	7	the	the	DET
ejpam-3020	219	8	scientific	scientific	ADJ
ejpam-3020	219	9	world	world	NOUN
ejpam-3020	219	10	journal	journal	NOUN
ejpam-3020	219	11	,	,	PUNCT
ejpam-3020	219	12	article	article	NOUN
ejpam-3020	219	13	i	i	PROPN
ejpam-3020	219	14	d	d	PROPN
ejpam-3020	219	15	:	:	PUNCT
ejpam-3020	219	16	783056	783056	NUM
ejpam-3020	219	17	,	,	PUNCT
ejpam-3020	219	18	2014	2014	NUM
ejpam-3020	219	19	.	.	PUNCT
ejpam-3020	220	1	[	[	X
ejpam-3020	220	2	11	11	NUM
ejpam-3020	220	3	]	]	SYM
ejpam-3020	220	4	i̇.	i̇.	NOUN
ejpam-3020	220	5	zorlutuna	zorlutuna	PROPN
ejpam-3020	220	6	and	and	CCONJ
ejpam-3020	220	7	h.	h.	PROPN
ejpam-3020	220	8	çakır	çakır	PROPN
ejpam-3020	220	9	.	.	PUNCT
ejpam-3020	221	1	on	on	ADP
ejpam-3020	221	2	continuity	continuity	NOUN
ejpam-3020	221	3	of	of	ADP
ejpam-3020	221	4	soft	soft	ADJ
ejpam-3020	221	5	mappings	mapping	NOUN
ejpam-3020	221	6	,	,	PUNCT
ejpam-3020	221	7	appl	appl	PROPN
ejpam-3020	221	8	.	.	PROPN
ejpam-3020	221	9	math	math	PROPN
ejpam-3020	221	10	.	.	PUNCT
ejpam-3020	222	1	inf	inf	PROPN
ejpam-3020	222	2	.	.	PUNCT
ejpam-3020	223	1	sci	sci	PROPN
ejpam-3020	223	2	.	.	PROPN
ejpam-3020	223	3	9(1	9(1	NUM
ejpam-3020	223	4	)	)	PUNCT
ejpam-3020	223	5	,	,	PUNCT
ejpam-3020	223	6	403–409	403–409	NUM
ejpam-3020	223	7	,	,	PUNCT
ejpam-3020	223	8	2015	2015	NUM
ejpam-3020	223	9	.	.	PUNCT