Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with terminology
Search options answers only
not deleted
user 2926
Questions of the kind "What's the name for a X that satisfies property Y?"
5
votes
Using Function Terminology for Functors?
I'd like to add to it and give some accepted terminology.
As he was saying, the naive image doesn't work. …
- 53.3k
5
votes
Simple adjective for "of the size of a proper class"?
The word that immediately comes to mind is "large". "Large category", etc.
Edit: Carl Mummert suggested this one, which I should have remembered myself and which is definitely widely used: "unbounde …
- 53.3k
3
votes
German mathematical terms like "Nullstellensatz"
The Hegelian term Aufhebung has been appropriated by Lawvere to refer to relations between essential subtoposes of a cohesive topos, with a view to doing abstract homotopy theory. See the nLab for mor …
17
votes
Accepted
What is the term for combining functions $f_1,f_2,\dots,f_n$ into a tuple $(f_1,\dots,f_n)$?
I was encouraged to make my comment an answer:
In the case $n = 2$, I would call it the pairing. Similarly, one has "tripling", "quadrupling", and so in general one might call it the ($n$-)tupling o …
- 53.3k
4
votes
Name of an operation on graphs
If you are disallowing multiple edges between vertices, then such graphs are the same things as binary relations $R$ on the vertex set (where $x R y$ iff there is an edge from $x$ to $y$. Then $M$ wou …
- 53.3k
13
votes
Accepted
Name for an Isomorphism in a Monoidal Category that Satisfies the Braid Relation
This terminology is given in the seminal paper on the subject, Braided Tensor Categories by Joyal and Street (Adv. Math. 102, pp. 20-78, 1993). … Edit: Another reference for this terminology:
André Joyal and Ross Street, Tortile Yang-Baxter operators in a tensor category, J. Pure Appl. Alg. 71 (1991), 43-51. …
- 53.3k
18
votes
What does the term "yoga" mean in mathematics?
I sometimes have used the word myself, without ever having sat down and asked myself what do I mean by that exactly. I've used it roughly to mean a coherent body of techniques; I'm not sure if I can a …
14
votes
A generalized diagonal?
It's called the kernel or kernel pair of $f$. It is used all over the place in category theory, for example to describe the useful notion of regular category where one sets up Galois connections which …
- 53.3k
5
votes
What is "Data" involved in a mathematical construction?
The word "data" (singular datum) comes from the Latin and means "thing(s) given". In mathematics, a notion is typically introduced by saying something like, "an operad consists of the following data.. …
- 53.3k
4
votes
Problem Understanding Euclid Book 10 Proposition 1
I'm reading in David Joyce's transcription. All that follows is what I think he's driving at, but expressed in somewhat more modern terms.
So in the first place, Euclid means suppose that $n$ times …
- 53.3k
1
vote
Hopf algebroids without antipode
Converting Dimitri Chikhladze's comment to an answer:
A "cocategory of object in $\mathsf{CAlg}_R$" is the "commutative case of bialgebroid" (as in the linked nlab page). In more recent literatur …