# Tagged Questions

For requesting, clarifying, and comparing definitions of mathematical terms.

59 views

63 views

### Is the Identity Type an Identity Function?

Definition 1. Given a set $S$, the identity function on $S$ is the function $id_S:S \to S$ that maps any element $x \in S$ to itself. Proposition. Given a type $S$, the identity type for $S$ is the ...
43 views

### What is the intuition behind covering spaces?

I've come to study this definition and become interested on the intuition behind it mainly because of the study of spinors, motivated by Quantum Mechanics. The definition of covering space is as ...
39 views

43 views

### How to describe a polynomial relation on $\mathbb{P}(\bigwedge^k V)$, and if the Zariski topology is canonical

I am working with the space $\mathbb{P}(\bigwedge^k V)$, where $V$ is some $n$ dimensional vector space over some field K. In here I want to define a variety, ie a solution to a set of polynomials. ...
24 views

111 views

### Can these definitions of the words “problem” and “solution” be formalized, and if so, has this been done? If so, where can I learn more about it?

I had a thought. Define that: Vague Definition 0. A problem consists of: a set $X$ a set $Y$ a function $f : X \rightarrow Y$ a way $\overline{X}$ of representing the elements of $X$ ...
24 views

13 views

### What are those weighed graphs called?

Let $G = (V, E)$ be a directed graph, and define the weight function $f : V \sqcup E \to \mathbb{R}^+$ as follows: sum of weights of vertices is 1, if a vertex has edges coming out of it, their ...
41 views

### What definition of Reed-Solomon code is correct?

In the discuss with @Evinda we have the contradiction with the definition of Reed-Solomon Codes (not generalized case) over the finite field $\mathbb{F}_q$. We have two papers and http://kom.aau....