We’re brought up to say that the dual concept of injection is surjection, and of course there’s a perfectly good reason for this. The monics in the category of sets are the injections, the epics are ...

Example Let A be the category (0 → 1) consisting of a single nontrivial map. Then an object of SetobA is a pair (P0, P1) of sets, and an object of SetA is a function X0 f → X1 between a pair of ...

Jan 16, 2025 19:51 Ah, now that’s a very interesting point. Someone who’s fluent in dagger categories would probably have further thoughts about that.

Jan 13, 2025 01:49 Also, it seems that you didn’t explicitly show that the existence of identity functions for every set, while in the ...

Hello [email protected]. So nice of you to stop by. I'm a member of the Theory Group here at UT. I've been at UT since September 1994. Before coming here, I was an Assistant Professor in the theory ...

Dec 21, 2024 01:27 Thanks! That survey on random matrices over finite fields is just what I want.

Jun 2, 2014 Summarizes the approach to coherence theorems expressed as a rectification for pseudoalgebras for a 2-monad using codescent objects, following Steve Lack.

This is the homepage for the UT Geometry and Quantum Field Theory Seminar. At the organizational meeting we will flesh out the details of our plans for the semester. Below are some suggestions to get ...

Aug 20, 2012 A survey article on the formalization of aspects of quantum gauge field theory in the formal language of cohesive homotopy type theory.