magma

1,146 reputation

412

bio	website	wildcatsformma.wordpress.com
	location	Somewhere over the rainbow
	age
visits	member for	1 year, 6 months
	seen	17 hours ago
stats	profile views	142

My scientific interests:

Mathematics: Category Theory, Algebra, Logic (Model-Theory, ATP), Control Systems
Physics: General Relativity, QFT
Amateur Astronomer and Astrophotographer
Mathematica programming

My Website:WildCats
Premiere Mathematica package for category theory

Visit the newly launched Mathematica.SE!

My non-scientific interests:

Skiing, Sailing, Windsurfing
Argentine Tango dancer

More or less fluent in (random order):

Italian, English, German, French, Spanish, Dutch and struggling with Russian

	1,146 reputation	bio	website	wildcatsformma.wordpress.com	visits	member for	1 year, 6 months
412 badges		location	Somewhere over the rainbow		seen	17 hours ago

summary answers questions tags badges favorites bounties reputation activity

71 Revisions

suggestions reviews revisions comments badges posts accepts all

May 5	revised	How to define topology in terms of subobjects? edited small typos
May 5	revised	Thin categories: up to isomorphism Vs up to equivalance edited catlab -> ncatlab
May 5	revised	Left adjoint in a functor category corrected grammar
Mar 27	revised	Definition of limit in category theory - is $X$ a single object of $J$ or a subset of $J$? Edited some small typos
Mar 26	revised	Distinguishing equality and isomorphism as relations Edited some small typos
Mar 25	revised	Distinguishing equality and isomorphism as relations Edited some small typos
Mar 8	revised	If we have an equivalence relation on a class, is it possible to define what it means for the collection of equivalence “to be a set”? edited antecedent formula
Mar 6	revised	If $C'$ is a subcategory of $C$, why can $\mathrm{Hom}_C(X, Y)$ and $\mathrm{Hom}_{C'}(X, Y)$ be different? edited subset formula
Feb 17	revised	In what sense is the forgetful functor $Ab \to Grp$ forgetful? edited text
Feb 10	revised	Reference request - being rigorous about a common abuse of notation. edited small typos
Jan 21	revised	Fixed points in category theory Changed mapsto to to
Jan 9	revised	Product in a preorder edited supremum -> infimum
Jan 5	revised	Show that the powerset partial order is a cartesian closed category. edited title
Dec 14	revised	Universal arrows' definition edited text
Dec 13	revised	Universal arrows' definition edited small typos
Dec 11	revised	How to characterize categories which their only isomorphisms are identities? edited title
Dec 7	revised	The importance of parallel arrows in a commutative square added last paragraph
Dec 4	revised	Equivalence of categories and subcategories changed "transforms" to "isomorphisms"
Dec 4	revised	Equivalence of categories and subcategories Edited some small typos
Dec 4	revised	Equivalence of categories and subcategories added paragraph