product functor, abstractly
2012-01-21 18:56 UTC (3+ messages)
[PVS] IIP 2012: Call for Papers
2012-01-20 8:00 UTC
MFPS 28 Second Call for Papers
2012-01-19 18:42 UTC
MFPS 28 Second Call for Papers
2012-01-19 18:42 UTC
Turing Centenary Conference (CiE 2012) - Final submission arrangements
2012-01-19 11:29 UTC
ETAPS 2012 call for participation, early reg deadline 29 Jan. 2012
2012-01-19 9:20 UTC
ETAPS 2012 call for participation, early reg deadline 29 Jan. 2012
2012-01-19 9:20 UTC
two books on bisimulation and coinduction
2012-01-17 12:35 UTC
Milner Symposium, Edinburgh, 16-18 April 2012 - Call for Participation
2012-01-17 10:35 UTC
Description of the image of a faithful functor
2012-01-16 23:18 UTC
What about biproducts?
2012-01-16 19:52 UTC (3+ messages)
"Semi-additive" seems to be it
2012-01-16 9:41 UTC (8+ messages)
` What about biproducts?
FMCS 2012: June 14-17, Halifax (minor correction)
2012-01-11 20:49 UTC
FMCS 2012: June 14-17, Halifax
2012-01-11 17:52 UTC
PSSL93 second announcement
2012-01-11 13:59 UTC
SFM-12:MDE in Bertinoro -- first call for participation
2012-01-10 18:01 UTC
"Semi-additive" seems to be it
2012-01-08 21:14 UTC (3+ messages)
Name for not-quite-additive categories
2012-01-07 11:29 UTC (5+ messages)
Deadline Extension RTA 2012
2012-01-06 7:30 UTC
Preprint
2012-01-02 11:51 UTC
Dito Pataraia
2011-12-23 0:44 UTC
Wraith's "Algebraic Theories" Scan
2011-12-20 16:41 UTC
CT 2011 Proceedings
2011-12-18 19:46 UTC
CT 2011 Proceedings
2011-12-18 19:46 UTC
NASSLLI 2012 is Open for Registration!
2011-12-18 1:02 UTC
[PT] MSFP 2012 deadline extension
2011-12-17 19:06 UTC
MSFP 2012 deadline extension
2011-12-17 19:06 UTC
Postdoc position in Mathematical Logic at Stockholm University
2011-12-16 18:04 UTC
connected sites etc
2011-12-16 10:55 UTC
__?__
2011-12-16 8:56 UTC (4+ messages)
open position at Universite Libre de Bruxelles
2011-12-15 20:27 UTC
Looking for results on preservation of 2-coproducts
2011-12-15 17:00 UTC
change of address
2011-12-15 16:15 UTC
Mathematics of Program Construction: Second Call for Papers
2011-12-15 14:45 UTC
CMCS 2012: Final Call for Papers
2011-12-15 9:25 UTC
Preprint: Distributive laws for Lawvere theories
2011-12-15 8:30 UTC
Looking for results on preservation of 2-coproducts
2011-12-14 20:44 UTC
When does a Grothendieck topology induce a homotopy equivalence?
2011-12-12 20:19 UTC
2nd CfP ACCAT Workshop 2012
2011-12-12 10:26 UTC
New Editors for TAC
2011-12-09 13:35 UTC
permanent position at Onera
2011-12-08 8:25 UTC
Dualities arising via pairs of schizophrenic objects
2011-12-07 17:58 UTC (11+ messages)
skew-monoidal category?
2011-12-07 17:30 UTC
Dualities arising via pairs of schizophrenic objects
2011-12-07 13:39 UTC
skew-monoidal category?
2011-12-06 9:30 UTC (3+ messages)
Dualities arising via pairs of schizophrenic objects
2011-12-04 14:25 UTC (2+ messages)
Some papers
2011-12-03 10:22 UTC (2+ messages)
The category of categories as a 3-limit
2011-12-02 2:17 UTC (3+ messages)
FICS 2012, 2nd Call for papers
2011-12-01 15:24 UTC
MFPS 28 Call for Papers
2011-12-01 6:14 UTC (2+ messages)
` Interactive demonstrations of categorical constructions
'Directed Algebraic Topology', free online version
2011-11-29 10:10 UTC
Dualities arising via pairs of schizophrenic objects
2011-11-28 17:04 UTC (3+ messages)
Ph.D. scholarship in Liverpool: motives and stable model categories
2011-11-28 15:00 UTC
Dualities arising via pairs of schizophrenic objects
2011-11-28 14:00 UTC (2+ messages)
Lectureship in Foundations at Oxford
2011-11-27 23:13 UTC
monads on model categories
2011-11-27 19:45 UTC
Dualities arising via pairs of schizophrenic objects
2011-11-27 15:43 UTC (2+ messages)
monads on model categories
2011-11-27 15:16 UTC (2+ messages)
New ftp address
2011-11-21 1:24 UTC
Creation of weighted limits
2011-11-19 1:10 UTC (2+ messages)
*** Research Fellowship in Sydney ***
2011-11-18 2:41 UTC
The boringness of the dual of exponential
2011-11-16 18:06 UTC (20+ messages)
MSFP 2012: Second Call for Papers
2011-11-16 9:17 UTC
75th Anniversary of Lambda Calculus Workshop
2011-11-15 21:40 UTC
Strictification of lax 2-functors and Gray tensor product
2011-11-14 20:57 UTC
Lawvere and Leibniz
2011-11-14 15:00 UTC (2+ messages)
5th Scottish Category Theory Seminar: Programme
2011-11-11 15:17 UTC
Symmetric models of ZF and GSet for large G
2011-11-11 14:52 UTC (2+ messages)
Partial functor
2011-11-11 0:10 UTC (3+ messages)
The boringness of the dual of exponential
2011-11-09 18:58 UTC
pictures of CT 2011 and of CT 2010
2011-11-09 11:08 UTC
The boringness of the dual of exponential
2011-11-09 9:19 UTC
Workshop on Category Theory - First announcement
2011-11-03 12:09 UTC
Research positions at DFKI SKS, Bremen
2011-11-01 11:42 UTC
Dualizing comma categories
2011-11-01 4:05 UTC (3+ messages)
when does preservation of monos imply left exactness?
2011-10-31 10:45 UTC (10+ messages)
` Correcting a misprint in my previous message
` Re: when does preservation of monos imply left exactness?
Empty algebras
2011-10-30 16:44 UTC (20+ messages)
Simplicial versus (cubical) with connections)
2011-10-29 1:08 UTC
CMCS 2012: second call for papers
2011-10-28 21:48 UTC
Postdoc and Graduate School programmes of the FSMP
2011-10-27 13:28 UTC
Postdoc and Graduate School programmes of the FSMP
2011-10-27 10:41 UTC
Simplicial versus (cubical with connections)
2011-10-26 21:27 UTC (2+ messages)
Natural Functorial Categorical Intuition
2011-10-26 0:42 UTC
The tricategory of bicategories
2011-10-24 23:13 UTC (3+ messages)
PhD-student position in Mathematical Logic
2011-10-24 14:00 UTC
FICS 2012 call for papers
2011-10-24 6:36 UTC
Paper: Measuring diversity
2011-10-24 0:07 UTC
ICFP 2012: Call for workshops and co-located events
2011-10-21 9:49 UTC
Milner Symposium, Edinburgh, 16-18 April 2012 - first announcement
2011-10-21 8:32 UTC
Simplicial versus (cubical with connections)
2011-10-20 22:08 UTC
Simplicial versus (cubical with connections)
2011-10-20 10:39 UTC (5+ messages)
A new paper
2011-10-20 7:32 UTC
Natural Functorial Categorical Intuition
2011-10-17 11:46 UTC (3+ messages)
CfP ACCAT Workshop 2012
2011-10-17 7:47 UTC
Octoberfest 2011-Final Announcement and Schedule
2011-10-13 18:00 UTC
What else do simplicial sets classify?
2011-10-12 21:53 UTC (6+ messages)
` diagrams in computer algebra
Extended Homotopy Session at Joint Meetings
2011-10-12 19:16 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).