Communities

The Great Outdoors

Photography & Video

Scientific Speculation

Electrical Engineering

Languages & Linguistics

Software Development

Community Proposals

tag:snake search within a tag

answers:0 unanswered questions

user:xxxx search by author id

score:0.5 posts with 0.5+ score

"snake oil" exact phrase

votes:4 posts with 4+ votes

created:<1w created < 1 week ago

post_type:xxxx type of post

Search help

Notifications

Mark all as read See all your notifications »

Q&A Meta

Profile Activity Votes Network

Hernán Ibarra Mejia‭

A quiet enigma. We don't know anything about Hernán Ibarra Mejia‭ yet.

Posts

75%

+4 −0

Q&A Prove that if $X^X$ is a terminal object then $X \to \mathbf{1}$ is a monomorphism

2 answers · posted 6mo ago by Hernán Ibarra Mejia‭ · last activity 6mo ago by clemens‭

Question category-theory

71%

+3 −0

Q&A When is proof of provability a proof?

1 answer · posted 5mo ago by Hernán Ibarra Mejia‭ · last activity 4mo ago by clemens‭

Question set-theory logic

Reputation		76
Top-level posts		2
Answers		0
Received votes (up minus down)		14
Edits made		2

Earned Abilities

Statistics

Posts
Total		2
Questions		2
Answers		0
Articles		0

Votes cast
Total		5

Flags raised
Total		0