The picture to draw here is a triangle: we have three vertices $x$, $y$, and $z$, and three edges $f$, $g$, and $\tau(g, f)$, where $f$ goes from $x$ to $y$, $g$ goes from $y$ to $z$, and $\tau(g, f)$ goes from $x$ to $z$.
@Jordan Hey, just keep doing. That was quite right and good. Only the last part wasn't correct. Take a look at it now and tell me if you can find where was the mistake.
Of course, traditionally $C_0$ is called the set of "objects", $C_1$ is called the set of "morphisms", $s$ is normally called $\textrm{dom}$, $t$ is normally called $\textrm{codom}$, $\rho(x)$ is normally written $\textrm{id}_x$, and $\tau(g, f)$ is normally written $g \circ f$... but I find this tends to put certain, uh, preconceptions in people's minds.
Conversely, every directed graph $\Gamma$ generates a "free" category, whose "morphisms" are just finite head-to-tail strings of directed edges of $\Gamma$.
The "identity morphism" is the empty string (for each vertex separately).
But if you have a strongly connected directed graph (with a unique loop on each vertex), then that's already a category.
No, wait, sorry. Don't ignore my previous comment: $s$ and $t$ give us the start and end point (respectively) of an edge in $C_1$. So why are they maps $C_0 \to C_1$ instead of $C_1 \to C_0$?
@PeterTamaroff Then afterwards, you were not second choice for the single voter who put checkmath first (who didn'r provide any alternative vote, by the way), nor third choice for any of the two voters who voted 1-Bill, 2-checkmath (their third votes went to Eric and Benjamin).
This seems pretty simple to me but I can't get it.
$$\int \sin^2 x \cos^2 x dx$$
$$\int (1-\cos^2 x) \cos^2 x dx$$
I know there is a rule in my book (with little explanation) that tells me when I had an odd and an even degree on two trig functions I should split the odd and convert it to an id...
@Gigili Thank you for the help, I just wish I didn't have to waste 3 hours on it in the first place. A normal person would have just spent 10-20 minutes on it
@PeterTamaroff Because I do not recognize the complex transformations they did to the identities to make them math. It isn't something I would see on a test. I would try something more simple first, and hten if that fails another simple method I am comfortable with. I would likely never start to experiment with wacky transformations of poorly understood identities
I have gathered about 37 proofs i hope to have memorised by monday, i know most of them but I am just so very sick of looking over them again and again
@Jordan I hate to give hope to others, but you were trying to find out what you're doing wrong which is the most right thing to do. Since you might make same mistakes over and over.
This seems pretty simple to me but I can't get it.
$$\int \sin^2 x \cos^2 x dx$$
$$\int (1-\cos^2 x) \cos^2 x dx$$
I know there is a rule in my book (with little explanation) that tells me when I had an odd and an even degree on two trig functions I should split the odd and convert it to an id...
