Skip to main content
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
Search options questions only not deleted user 2191

Questions of the kind "What's the name for a X that satisfies property Y?"

3 votes
0 answers
42 views

How would you call morphisms of varieties that induce isomorphisms on etale cohomology in lo...

In our text we have several statements of the following sort: for a certain morphism $f:X\to Y$ of varieties over an (algebraically closed) field of characteristic $p$ and some $c>0$ the corresponding …
Mikhail Bondarko's user avatar
3 votes
1 answer
406 views

Groups with no homomorphisms onto $\mathbb{Z}/p\mathbb{Z}$

Does there exist any term for finite groups with no non-trivial homomorphisms into $\mathbb{Z}/p\mathbb{Z}$ for a fixed prime $p$, or any term related to this property (so that I could write "finite …
Mikhail Bondarko's user avatar
6 votes
0 answers
71 views

How would you say that transformations are isomorphic in the arrow category?

For functors $E,F,E',F':X\to Y$ I would like to say that transformations $\tau:E\to F$ and $\tau':E'\to F'$ are isomorphic if they are isomorpic in the arrow category of functors $X\to Y$, that is, t …
Mikhail Bondarko's user avatar
1 vote
0 answers
86 views

Terminology: are there any names for "quotients" of cellular towers in stable categories?

A cellular tower in SH or in a "more general stable homotopy category" is a chain of morphisms $\dots X^{(n)}\stackrel{g^n}{\to} X^{(n+1)}\to \dots$ along with some more data and conditions; one of th …
Mikhail Bondarko's user avatar
2 votes
0 answers
252 views

Which fields and schemes "have enough finite residue fields"?

Are these properties of fields and schemes related to any existing terminology? …
Mikhail Bondarko's user avatar
3 votes
1 answer
821 views

Which complexes of coherent sheaves are dual to perfect ones?

Let $X$ be a Noetherian scheme that is not Gorenstein but possesses a dualizing complex $D$ of coherent sheaves. Then (if I understand these matters and the answer to the question Characterization of …
Mikhail Bondarko's user avatar
9 votes
1 answer
649 views

Objects of which Grothendieck abelian categories have elements?

The Freyd-Mitchell embedding theorem is a very useful tool for dealing with small abelian categories. However, it does not allow to use "elements" of objects of an abelian category $A$ in those statem …
Mikhail Bondarko's user avatar
5 votes
2 answers
789 views

How should one call and use categories that are not locally small?

So I wonder which terminology can I use and which "precautions" should be taken so that my simple arguments concerning functor categories will be mathematically correct. … Do you know any text that introduces "the most conventional" terminology for these matters? I would not like to mention universes, and I don't like terms like "small set". …
Mikhail Bondarko's user avatar
3 votes
2 answers
294 views

Is the "inverse" (i.e., the "cohomological") numeration for singular (i.e., $H\mathbb{Z}$-)h... [closed]

I have recently realized that in one of my (published) papers I have used the "inverse" numeration for the $H\mathbb{Z}$-homology of the objects of the stable homotopy category (so, if we consider th …
Mikhail Bondarko's user avatar
4 votes
1 answer
498 views

Does the (singular)cohomology of any acyclic spectrum vanish?

I am interested in those objects in the ("topological") stable homotopy category $SH$(I call them spectra) whose homology (with integral coefficients; should I call it singular or stable, or $H\mathbb …
Mikhail Bondarko's user avatar
1 vote
0 answers
87 views

Reduced products of (abelian and triangulated) categories: references?

For a filter $U$ on a set $X$ and for a family of categories $C_x$ indexed by $X$ I would like to consider the (corresponding categorical version of) reduced product of $C_x$ (for $x\in X$) with respe …
Mikhail Bondarko's user avatar
1 vote
0 answers
105 views

How would you call a variety that is locally a complete intersection up to defect c?

Let $X$ be an equidimensional variety of dimension $n$ over a field that can be covered by open subvarieties of certain intersections of $N-n$ hypersurfaces in $P^N$ (for a large enough $N$; we consid …
Mikhail Bondarko's user avatar
0 votes
0 answers
256 views

How would you call a subscheme of a smooth $S$-scheme?

In my preprint I propose to call $X/S$ quasi-smooth if $X$ can be embedded into a smooth $X'/S$. Does this sound fine? Upd. So, smoothly embeddable is better? Is it ok to call a morphism smoothly emb …
Mikhail Bondarko's user avatar
3 votes
3 answers
2k views

Homology or cohomology?

How do people call an additive functor from a triangulated category $C$ to an abelian one that converts distinguished triangles into long exact sequences. Does one usually call a covariant functor o …
Mikhail Bondarko's user avatar