The humility topos
2010-07-02 8:02 UTC (3+ messages)
Lecture Series by John Power
2010-06-30 20:51 UTC
Lecture Series by John Power
2010-06-30 20:51 UTC
latex code for connections in double groupoids
2010-06-30 16:31 UTC
The humility topos
2010-06-30 14:05 UTC (2+ messages)
(unknown)
2010-06-29 7:29 UTC
The humility topos
2010-06-29 4:33 UTC
The humility topos
2010-06-29 2:06 UTC
Call for Participation: ESSLLI 2010
2010-06-22 12:29 UTC
Paper on \Delta-sets
2010-06-21 14:25 UTC
Category Theory Octoberfest 2010
2010-06-19 21:04 UTC
list interruption
2010-06-18 10:45 UTC
research positions
2010-06-17 18:58 UTC
Fully-funded PhD in programming languages at Oxford
2010-06-17 15:53 UTC
pullback of locally presentable categories
2010-06-17 5:38 UTC
pullback of locally presentable categories
2010-06-16 14:35 UTC (4+ messages)
co-algebra literature suggestion
2010-06-15 11:33 UTC (2+ messages)
FICS 2010 : submission deadline extension (June 20)
2010-06-14 16:07 UTC
Two preprints on Second-Order Algebraic Structure
2010-06-14 13:49 UTC
Traces of higher categories
2010-06-09 12:25 UTC
covering spaces and groupoids
2010-06-09 10:35 UTC
Isomorphisms of categories
2010-06-08 21:18 UTC (15+ messages)
` covering spaces and groupoids
BOUNCE categories@mta.ca: Approval required: Non-member submission from ["Fred E.J. Linton" <fejlinton@usa.net>] (fwd)
2010-06-08 12:38 UTC
Fredericton CMS Talk URL
2010-06-05 0:49 UTC
Scott in Scotland: Tuesday 29th June, Edinburgh
2010-06-04 13:48 UTC
Cfp: Software Verification and Testing at ACM SAC 2011
2010-06-03 16:11 UTC
isomorphisms
2010-06-02 9:34 UTC (6+ messages)
` Equality and fibration
Fwd: New appointment
2010-06-02 1:38 UTC
Re terminology:
2010-06-01 18:22 UTC (34+ messages)
` terminology
` equivalence terminology
` we do meet isomorphisms of categories
` Equality again
` Re: terminology
Deadline Approaching - SBMF 2010 - 13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS
2010-06-01 13:13 UTC
CT 2010 - Preliminary Program and Last Call for Registration
2010-06-01 10:40 UTC
filtered monads? [resent]
2010-06-01 1:11 UTC (6+ messages)
` filtered monads?
Types Meeting 2010
2010-05-31 14:02 UTC
GAMES 2010 - Second call for Papers
2010-05-30 14:33 UTC
Announcement: Florence category Day - June 16. 2010
2010-05-29 10:06 UTC
Straw man terminology
2010-05-27 22:30 UTC (4+ messages)
` "
terminology
2010-05-27 18:31 UTC
Preprint: Local fibered right adjoints are polynomial
2010-05-27 11:53 UTC
Straw man terminology
2010-05-27 8:44 UTC
Straw man terminology
2010-05-27 3:31 UTC
filtered monads?
2010-05-27 3:06 UTC
FICS 2010, last call for contributions
2010-05-26 21:41 UTC
Straw man terminology
2010-05-26 13:48 UTC (3+ messages)
presentable vs. locally presentable
2010-05-25 18:15 UTC
presentable vs. locally presentable
2010-05-25 18:10 UTC (2+ messages)
algebraic models of homotopy types, crossed modules and the free loop space
2010-05-25 13:48 UTC
lax V-functors
2010-05-24 18:09 UTC (2+ messages)
Associahedra and weak monoidal structures on categories
2010-05-24 11:20 UTC
"injective" terminology
2010-05-22 20:50 UTC
"injective" terminology
2010-05-22 17:08 UTC (8+ messages)
Call for Participation: 20th WADT, July 1-4, 2010
2010-05-21 12:30 UTC
"injective" terminology
2010-05-19 7:44 UTC
The stabilisation theorem
2010-05-18 3:27 UTC (3+ messages)
Call for participation: VTSA 2010 Summer School on Verification Technology, Systems & Applications
2010-05-17 9:23 UTC
bilax monoidal functors
2010-05-16 23:57 UTC (3+ messages)
` bilax_monoidal_functors?=
terminology
2010-05-16 12:44 UTC
autonomous terminology
2010-05-16 6:19 UTC (3+ messages)
` Words, sets, categories, and graphs
RE : bilax monoidal functors
2010-05-15 19:52 UTC (28+ messages)
` autonomous terminology: WAS: "
` bilax_monoidal_functors?=
` bilax_monoidal_functors
` terminology (was: bilax_monoidal_functors)
` terminology
` bilax monoidal functors
` calculus, homotopy theory and more
` calculus, homotopy theory and more (corrected)
` bilax_monoidal_functors?
bilax_monoidal_functors
2010-05-15 16:23 UTC
Re: bilax_monoidal_functors
2010-05-15 4:44 UTC
"compact", "rigid", or "autonomous"?
2010-05-14 15:34 UTC (2+ messages)
terminology (was: bilax_monoidal_functors)
2010-05-14 14:43 UTC
EPEW 2010 -- last call for papers (deadlines May 27-31)
2010-05-13 17:41 UTC
calculus, homotopy theory and more
2010-05-13 17:29 UTC
hexagon axioms, stabilization
2010-05-13 14:43 UTC
Q. about monoidal functors
2010-05-13 1:46 UTC (5+ messages)
` Q about_monoidal_functors?
` wrong axioms
Where can i find the Grothendiecks function-sheaf dictionary?
2010-05-13 1:21 UTC
ICALP 2010 - CALL FOR PARTICIPATION
2010-05-12 15:43 UTC
autonomous terminology: WAS: bilax monoidal functors
2010-05-11 22:04 UTC
bilax_monoidal_functors
2010-05-11 1:04 UTC
bilax monoidal functors
2010-05-10 16:12 UTC (7+ messages)
Call for Papers - BRAZILIAN SYMPOSIUM ON FORMAL METHODS (SBMF 2010)
2010-05-07 21:27 UTC
LFMTP 2010 at FLoC: Call for participation
2010-05-07 16:50 UTC
Four problems
2010-05-07 15:21 UTC (3+ messages)
` Four problems(corrected2)
` Re=3A_Four_problems=28corrected2=29?=
Q. about monoidal functors
2010-05-07 14:59 UTC (3+ messages)
` bilax "
call for participation GandALF 2010
2010-05-07 12:05 UTC
Remembrances of times past
2010-05-07 0:33 UTC
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).