Reference for monoidal bicategory of spans?
2011-01-10 23:18 UTC
A cryptic remark in Street--Walters, 'Yoneda structures on 2-categories'
2011-01-10 20:35 UTC (2+ messages)
request
2011-01-10 18:11 UTC (2+ messages)
GaLoP VI Call for Submissions
2011-01-10 17:28 UTC
SFM-11:CONNECT school in Bertinoro -- 1st call for participation
2011-01-10 11:22 UTC
TACL 2011, first call for papers
2011-01-08 20:24 UTC
CSL 2011 Call for Papers and Workshops
2011-01-06 21:15 UTC
source, sinks, and ?
2011-01-05 4:30 UTC (3+ messages)
source, sinks, and ?
2011-01-04 8:41 UTC (3+ messages)
` "
Four papers
2011-01-04 2:06 UTC
European Workshop on Computational Effects
2011-01-03 11:43 UTC
Kan's Ex functor for the contravariant homotopy structure
2011-01-03 4:19 UTC
source, sinks, and ?
2011-01-03 0:40 UTC
Re; Does this topology have a name?
2011-01-02 18:30 UTC
LU Special Issue on Categorical Logic: deadline reminder & extension
2011-01-02 16:20 UTC
Does this topology have a name?
2011-01-01 22:15 UTC (3+ messages)
fibrations_in_2-Cat
2010-12-26 17:47 UTC (3+ messages)
Fibred categories as foundations
2010-12-23 14:42 UTC
TLCA 2011 --- Last Call for Papers
2010-12-22 16:58 UTC
list interruption
2010-12-18 14:36 UTC
CALCO 2011: Second Call for Papers
2010-12-17 13:47 UTC
Higher Gauge Theory, TQFT and Quantum Gravity, Lisbon, 7-13/2/2011
2010-12-16 18:47 UTC
Cartesian bicategories and realizability
2010-12-15 17:28 UTC (3+ messages)
Sigma and Products
2010-12-14 22:40 UTC (2+ messages)
5th IMLA: deadline extension
2010-12-14 9:00 UTC
CfP: Refinement Workshop 2011 Limerick 20 Jun, submissions 21 Mar
2010-12-13 23:02 UTC
Cartesian bicategories and realizability
2010-12-10 17:12 UTC
Monads in the 'hood
2010-12-10 12:45 UTC
Terminology of locally small categories without replacement
2010-12-09 23:53 UTC (8+ messages)
PhD opportunities in Computer Science at Bath
2010-12-09 11:46 UTC
double 2-categories
2010-12-09 9:36 UTC (6+ messages)
Pseudomonadicity and 2-stack completions
2010-12-05 16:37 UTC
Severe Strict Monoidal Category Naivete
2010-12-04 23:44 UTC
Severe Strict Monoidal Category Naivete
2010-12-04 14:00 UTC (4+ messages)
Locally small categories without replacement, or anything
2010-12-03 8:07 UTC
Is "braided monoidal" a conservative extension of "lax braided monoidal"?
2010-11-30 23:43 UTC (2+ messages)
16th Estonian Winter School in Computer Science, Call for Partic
2010-11-27 17:52 UTC
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 (27+ 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 (5+ messages)
` potential names
reply blocked
2010-10-04 2:23 UTC
subculture
2010-10-03 22:10 UTC (11+ messages)
` RE : Re: Not invariant but good
` no joke
` RE : categories: Re: Not invariant but good
` "
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 (4+ messages)
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).