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 |
Questions of the kind "What's the name for a X that satisfies property Y?"
8
votes
Accepted
Name for a categorical adjunction that is a "semi-equivalence"
An adjunction for which the unit is a natural isomorphism is called a coreflective adjunction. An adjunction for which the counit is a natural isomorphism is called a reflective adjunction.
7
votes
What are "nearly initial" objects really called?
Assuming uniqueness of the automorphism, an earlier reference than Garner–Hirschowitz's paper is Tholen's MacNeille completion of concrete categories with local properties (1979), in which these objec …
13
votes
Accepted
Overloading of the word "local" in category theory
The terminology situation is certainly unfortunate. …