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 not deleted user 152679

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.
varkor's user avatar
  • 10.7k
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 …
varkor's user avatar
  • 10.7k
13 votes
Accepted

Overloading of the word "local" in category theory

The terminology situation is certainly unfortunate. …
varkor's user avatar
  • 10.7k