2,223 reputation
618
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 2 years, 10 months
seen 12 hours ago

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


Apr
17
awarded  Vox Populi
Apr
17
awarded  Suffrage
Apr
17
answered Showing hom-sets are disjoint in a morphism category
Apr
17
comment Is every arrow from an object $X$ to a product a pair of arrows from $X$ to the components?
@MaliceVidrine in CWM 2nd ed. page 69 it is called "arrow with components...". More generally this is an example of a cone morphism (nlab.mathforge.org/nlab/show/cone+morphism) connecting a generic cone to the terminal cone
Apr
17
comment Is every set a pointed set?
user 42912: this example is in Awodey too. You will find it soon.
Apr
17
comment $\mathbf{Cat}$ the category of the categories is a category
If Awodey wrote "the category of all categories", then he is imprecise. The collection of all categories and functors is NOT a category. It can be called "metacategory" or "quasicategory" or a "category-in-a-larger-universe". In any case it should be distinguished from its constituent categories, otherwise it would belong to itself. This collection is better called CAT, while Cat is normally the "category of all small categories". All this stuff has been explained by me and others over and over on math.SE. Just search for CAT or Cat.
Apr
17
revised Algebraic topology and homotopy in category theory
More detailed title
Apr
17
suggested suggested edit on Algebraic topology and homotopy in category theory
Apr
17
revised Is there a category of categories?
edited title
Apr
17
suggested suggested edit on Is there a category of categories?
Apr
16
comment how many empty sets are there?
@AsafKaragila could you please give a reference (possibly on the web) where I can see the axioms of one of these theories you mention?
Apr
16
comment how many empty sets are there?
I concur with Lano. @AsafKaragila: how do you distinguish two different yet isomorphic empty sets from each other? What's the difference? They are both boringly empty! Anyway I would like to see the axioms of this theory you mention, so that I can verify that it allows more than one empty set
Apr
16
comment Which constructions on a category are still interesting for a groupoid?
Ah, sehr gut, danke :-)
Apr
16
comment Which constructions on a category are still interesting for a groupoid?
what is your preferred Mathematical Logic book?
Apr
16
revised Query on a simple exercise involving representations of functors.
edited small typo in formula
Apr
16
revised Conglomerate in mathematical literature.
added category theory tag
Apr
16
suggested suggested edit on Conglomerate in mathematical literature.
Apr
15
suggested suggested edit on Query on a simple exercise involving representations of functors.
Apr
15
comment Properties Shared by Equivalent Categories
@NajibIdrissi the 3rd iso (F preserves a product) is justified by the fact that F is a right adjoint too (being part of an equivalence). Is this correct?
Apr
15
answered Is there a category of categories?