Proving enough injectives for modules over a Grothendieck topos
2010-11-26 0:52 UTC (4+ messages)
Bilimit question
2010-11-23 13:04 UTC (2+ messages)
Leo Esakia
2010-11-22 14:10 UTC
Union College Conference
2010-11-19 19:23 UTC
free access to Logica Universalis until 30 Nov
2010-11-18 13:25 UTC
In support of Gabor Lukacs
2010-11-17 20:22 UTC (2+ messages)
Hilton"s death
2010-11-17 6:44 UTC (2+ messages)
CT2011 - Vancouver
2010-11-15 23:43 UTC
Preprint: Differential Restriction Categories
2010-11-15 21:51 UTC
IMLA11 Call for Papers
2010-11-14 14:24 UTC
Chaire de la Vall=E9e Poussin 2011
2010-11-14 11:07 UTC
Categories in Physics at PSA
2010-11-12 14:46 UTC
Call for papers: PCA's in Realizability and Computability
2010-11-11 1:34 UTC
Terminological question, and more
2010-11-10 1:23 UTC
DEADLINE EXTENSION: call for papers
2010-11-07 21:54 UTC
Communes paper, schismatic objects
2010-11-07 20:05 UTC
Subframes
2010-11-07 18:31 UTC
Communes paper, schismatic objects
2010-11-06 14:12 UTC (5+ messages)
Terminological question, and more
2010-11-05 23:12 UTC
Terminological question, and more
2010-11-05 12:51 UTC (4+ messages)
Colloquium in Bordeaux Nov 12-13 Logic, Categories, Semantics
2010-11-05 10:43 UTC
B. Mandelbrot
2010-11-05 2:02 UTC
schizophrenic / amphimorphic
2010-11-03 17:10 UTC
"schizophrenic" reference
2010-11-03 16:24 UTC (3+ messages)
Galois Theory of Algorithms
2010-11-03 16:15 UTC
ScotCat 3 - Second Announcement
2010-11-03 14:50 UTC
CT2010 Proceedings: Deadline approaching/extension
2010-11-03 13:31 UTC (2+ messages)
` concept & truth-value
Internal Diagrams in Category Theory
2010-11-03 0:41 UTC
The higher order chain rule (categorically)
2010-11-02 16:27 UTC
Fwd: Petition: Boole's House at Grenville Place]
2010-11-02 14:47 UTC
Wessex Theory Seminar, Imperial College, Thu Nov 4
2010-11-01 21:08 UTC
Communes paper, schismatic objects
2010-11-01 17:44 UTC
"schizophrenic" reference
2010-10-31 10:40 UTC (4+ messages)
"schizophrenic" reference
2010-10-28 9:13 UTC (2+ messages)
CT and Physics at PSA in Montreal
2010-10-26 2:14 UTC
The omega-functor omega-category
2010-10-25 19:30 UTC (33+ messages)
` "
` property_vs_structure
` errata
` FW: property_vs_structure
Christmas 1972
2010-10-22 4:18 UTC
terminology for simplicial sets
2010-10-22 1:43 UTC (4+ messages)
terminology for simplicial sets
2010-10-21 11:18 UTC
Octoberfest schedule
2010-10-18 12:21 UTC
Website now available again
2010-10-18 7:43 UTC
new preprint: Towards a homotopy theory of higher dimensional transition systems
2010-10-15 16:19 UTC
Reflection in Category Theory
2010-10-15 15:43 UTC
job announcement (TU Darmstadt)
2010-10-15 12:29 UTC
CT Advisory Committee
2010-10-15 11:20 UTC
Third Scottish Category Theory Seminar
2010-10-14 0:31 UTC
Sad news: Steve Bloom
2010-10-13 9:06 UTC
Cat as a '2-fibration' over Set
2010-10-13 9:01 UTC
a preprint: A symmetric cubical category associated to a directed space
2010-10-12 15:07 UTC
Cat as a '2-fibration' over Set
2010-10-09 6:12 UTC (2+ messages)
list requirements
2010-10-08 12:33 UTC (2+ messages)
` identities
CFP: Special issue on DEPENDENTLY TYPED PROGRAMMING 2010
2010-10-07 21:55 UTC
PhD place at the FP lab, Nottingham
2010-10-07 12:53 UTC
do weakly localic maps of toposes compose? (correction)
2010-10-07 10:57 UTC
RTA CFP 2011
2010-10-07 8:58 UTC
do weakly localic maps of toposes compose?
2010-10-06 20:52 UTC
potential names
2010-10-05 22:18 UTC
The omega-functor omega-category
2010-10-05 14:13 UTC (2+ messages)
finishing this thread
2010-10-05 10:42 UTC
reverting religious terminology
2010-10-04 21:25 UTC (4+ messages)
horizontal composition in a 2-category
2010-10-04 12:42 UTC
EVIL terminology
2010-10-04 7:20 UTC (6+ messages)
` potential names
reply blocked
2010-10-04 2:23 UTC
subculture
2010-10-03 22:10 UTC (20+ messages)
` RE : categories: subculture
` Not invariant but good
` RE : categories: "
` RE : "
` no joke
Post-Doc at CMU
2010-10-02 13:01 UTC
Post-Doc at CMU
2010-10-02 13:01 UTC
Not invariant but good
2010-10-01 12:36 UTC
Grothendieck downloads
2010-09-30 14:54 UTC
Haskell Arrows and internal categories
2010-09-30 13:39 UTC (5+ messages)
quotients and finitary functors
2010-09-29 5:41 UTC (3+ messages)
terminology
2010-09-29 2:03 UTC
Not invariant but good
2010-09-28 23:11 UTC (2+ messages)
first in a series of lectures on monadic design patterns for the web
2010-09-28 18:05 UTC
terminology
2010-09-28 4:38 UTC
Octoberfest update
2010-09-27 13:14 UTC
subculture
2010-09-27 3:06 UTC
internal hom of the omega-category of omega-my own attempt
2010-09-26 14:11 UTC
Freyd Categories
2010-09-25 21:48 UTC (3+ messages)
are fibrations evil?
2010-09-25 16:18 UTC (12+ messages)
` Is equality evil?
` Re: are fibrations evil?
Is equality evil?
2010-09-25 0:16 UTC
are fibrations evil?
2010-09-24 23:43 UTC
PSSL91 Second--announcement
2010-09-24 16:56 UTC
Postdoc in category theory/quantum foundations in Oxford/Singapore
2010-09-24 15:49 UTC
Postdoc in category theory/quantum foundations in Oxford/Singapore
2010-09-24 15:49 UTC
Is equality evil?
2010-09-24 15:30 UTC
Postdoc vacancies in OUCL Information Systems Group
2010-09-24 9:58 UTC
"logic, categories, semantics" Bordeaux November 12-13
2010-09-23 21:12 UTC
"logic, categories, semantics" Bordeaux November 12-13
2010-09-23 21:12 UTC
are fibrations evil?
2010-09-22 21:06 UTC (9+ messages)
Illusion and Forthrightness in Wikipedia
2010-09-19 23:38 UTC
Illusion and Forthrightness in Wikipedia
2010-09-19 22:07 UTC (2+ messages)
RDP 2011 -- Call For Workshop Proposals
2010-09-19 17:04 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).