magma

1,170 reputation

412

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

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:

More or less fluent in (random order):

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

	1,170 reputation	bio	website	wildcatsformma.wordpress.com	visits	member for	1 year, 6 months
412 badges		location	Somewhere over the rainbow		seen	yesterday

37 Answers

votes activity newest

7	Symbolic predicate logic for “for all elements in a set except this one…”
5	Is there a computer program that does diagram chases?
4	Why isn't every coproduct a product (and vice-versa)?
3	Distinguishing equality and isomorphism as relations
3	Isn't every Endofunctor an identity Functor?

+25	Does every category have a functor?
+10	Thin categories: up to isomorphism Vs up to equivalance
+2	How to define topology in terms of subobjects?
+2	Thin categories: up to isomorphism Vs up to equivalance

votes activity newest

4	Adjoint pairs, triplets and quadruplets
3	Being a monomorphism described as a universal property
0	Existence of non-identity natural transformations $\tau:F \to F $